TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Index
KASH3 Index
IntroductionReference ManualIndex
other A B C D E F G H I J K L M N O P Q R S T U V W X Z
search    

F

FaceFunction ( newtface ) -> elt-alg^pol
Faces ( newtgon ) -> seq()
FacesContaining ( newtgon, tup() ) -> seq()
FactorBasis ( fld^num, elt-ord^rat ) -> seq()
FactorBasis ( grp^abl ) -> seq()
FactorBasis ( ord^num ) -> seq(), elt-ord^rat
FactorBasis ( ord^num, elt-ord^rat ) -> seq()
FactorBasisCreate ( ord^num, elt-ord^rat ) -> seq()
FactorBasisVerify ( ord^num, elt-ord^rat, elt-ord^rat )
FactoredEulerPhi ( elt-ord^rat ) -> seq()
FactoredEulerPhi ( seq(tup()) ) -> seq()
FactoredIndex ( grp^abl, grp^abl ) -> seq()
FactoredModulus ( res^rat ) -> seq()
FactoredOrder ( elt-fld^fin ) -> seq()
FactoredOrder ( grp^abl ) -> seq()
Factorial ( elt-ord^rat ) -> elt-ord^rat
Factorisation ( elt-alg^pol ) -> seq(), elt-rng
Factorisation ( elt-ids^fra/ord^num ) -> seq()
Factorisation ( elt-ids^int/ord^fun ) -> seq()
Factorisation ( elt-ord^rat ) -> seq(), elt-ord^rat, seq()
FactorisationOverSplittingField ( elt-alg^pol ) -> seq(), fld^fin
Factorization ( elt-alg^pol ) -> seq(), elt-rng
Factorization ( elt-alg^pol/any^pad ) -> list
Factorization ( elt-ids^fra/ord^num ) -> seq()
Factorization ( elt-ids^int/ord^fun ) -> seq()
Factorization ( elt-ord^rat ) -> seq(), elt-ord^rat, seq()
FactorizationOverSplittingField ( elt-alg^pol ) -> seq(), fld^fin
FAILURE -> state
FALSE -> elt-alg^boo
Fibonacci ( elt-ord^rat ) -> elt-ord^rat
Field ( mdl ) -> rng
Field ( mdl^mat ) -> rng
Field ( mdl^vec ) -> rng
FieldOfFractions ( ord^fun ) -> fld^fra
FieldOfFractions ( ord^num ) -> fld^fra
FieldOfFractions ( ord^pad ) -> fld^pad
FieldOfFractions ( ord^pow ) -> fld^pow
FieldOfFractions ( ord^rat ) -> fld^rat
FieldOfFractions ( res^pow ) -> fld^pow
FieldOfFractions ( rng ) -> rng
file
FilePosition ( file ) -> elt-ord^rat
FilePosition ( file, elt-ord^rat )
Files
Filter ( func ) -> func
Filtered ( func, list ) -> list
Filtered ( list, func ) -> list
fin
Finite and Infinite Maximal Orders
FiniteField ( elt-ord^rat ) -> fld^fin
FiniteField ( elt-ord^rat, elt-ord^rat ) -> fld^fin
First ( func ) -> func
First ( func, list ) -> any
First ( func, seq() ) -> any
First ( func, string ) -> char
First ( list ) -> any
First ( list, func ) -> any
First ( seq(), func ) -> any
First ( string, func ) -> char
First Steps
Flat ( list ) -> list
fld
FLDin -> ord^num
FLDin ( file ) -> ord^num
FLDin ( string ) -> ord^num
FLDout ( ord^num )
FLDout ( ord^num, file )
FLDout ( ord^num, string )
fld^com
fld^fin
fld^fra
fld^fun
fld^num
fld^pad
fld^pol
fld^pow
fld^pui
fld^rat
fld^rea
fld^ser
Floor ( elt-fld^rat ) -> elt-ord^rat
Floor ( elt-fld^rea ) -> elt-ord^rat
Floor ( elt-ord^inf ) -> elt-ord^inf
for
ForAll ( func ) -> func
ForAll ( func, list ) -> elt-alg^boo
ForAll ( func, seq() ) -> elt-alg^boo
ForAll ( list, func ) -> elt-alg^boo
ForAll ( seq(), func ) -> elt-alg^boo
ForAny ( func ) -> func
ForAny ( func, list ) -> elt-alg^boo
ForAny ( func, seq() ) -> elt-alg^boo
ForAny ( list, func ) -> elt-alg^boo
ForAny ( seq(), func ) -> elt-alg^boo
fra
FreeAbelianGroup ( elt-ord^rat ) -> grp^abl
FreeAbelianQuotient ( grp^abl ) -> grp^abl, map()
FrobeniusImage ( elt-alg^mat/fld^fin, elt-ord^rat ) -> elt-alg^mat
fun
function
Function ( alist ) -> func
Functionality
FunctionField ( dif/fld^fun ) -> fld^fun
FunctionField ( dvs/fld^fun ) -> fld^fun
FunctionField ( elt-alg^pol ) -> fld^fun
FunctionField ( elt-dif/fld^fun ) -> fld^fun
FunctionField ( elt-dvs/fld^fun ) -> fld^fun
FunctionField ( elt-pls/fld^fun ) -> fld^fun
FunctionField ( pls/fld^fun ) -> fld^fun
FunctionField ( rng ) -> fld^pol
FunctionField ( rng, elt-ord^rat ) -> fld^pol
FunctionField ( seq(elt-alg^pol) ) -> fld^fun
Function Fields
FundamentalDiscriminant ( elt-ord^rat ) -> elt-ord^rat
Built: Mon Nov 14 21:15:56 UTC 2005 on mack
The KANT Group