TU-Berlin
→
Inst. f. Mathematik
→
Algebra und Zahlentheorie
→
KASH
→
Documentation
→
Index
KASH
3
Index
Introduction
Reference Manual
Index
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
C
C -> fld^com
Camelcase ( string ) -> string
CanChangeUniverse ( seq(), any ) -> elt-alg^boo, seq()
CanonicalDivisor ( fld^fun ) -> elt-dvs/fld^fun
CarmichaelLambda ( elt-ord^rat ) -> elt-ord^rat
CarmichaelLambda ( seq(tup()) ) -> elt-ord^rat
Cartesian ( list, list ) -> list
CartesianPower ( any, elt-ord^rat ) -> str
CartesianProduct ( any, any ) -> str
CartesianProduct ( seq(any) ) -> str
CartesianProduct ( tup() ) -> str
Cartier ( elt-dif/fld^fun ) -> elt-dif/fld^fun
Cartier ( elt-dif/fld^fun, elt-ord^rat ) -> elt-dif/fld^fun
CartierRepresentation ( fld^fun ) -> elt-alg^mat, seq()
CartierRepresentation ( fld^fun, elt-ord^rat ) -> elt-alg^mat, seq()
Catalan ( elt-ord^rat ) -> elt-ord^rat
Catalan ( fld^com ) -> elt-fld^com
Catalan ( fld^rea ) -> elt-fld^rea
Ceiling ( elt-fld^rat ) -> elt-ord^rat
Ceiling ( elt-fld^rea ) -> elt-ord^rat
Ceiling ( elt-ord^inf ) -> elt-ord^inf
Center ( alg^mat ) -> alg^mat
Center ( grp^abl ) -> grp^abl
Center ( rng ) -> rng
Centre ( alg^mat ) -> alg^mat
Centre ( grp^abl ) -> grp^abl
Centre ( rng ) -> rng
ChangePrecision ( elt-alg^pol, elt-ord^rat ) -> elt-alg^pol
ChangePrecision ( elt-fld^pad, elt-ord^rat ) -> elt-fld^pad
ChangePrecision ( elt-ord^pad, elt-ord^rat ) -> elt-ord^pad
ChangePrecision ( elt-rng^ser, elt-ord^rat ) -> elt-rng^ser
ChangePrecision ( fld^pad, any ) -> fld^pad
ChangePrecision ( ord^pad, any ) -> ord^pad
ChangePrecision ( ord^pow, elt-ord^rat ) -> ord^pow
ChangePrecision ( res^pad, elt-ord^rat ) -> res^pad
ChangePrecision ( res^pow, elt-ord^rat ) -> res^pow
ChangePrecision_ ( elt-alg^pol, elt-ord^rat )
ChangePrecision_ ( elt-fld^pad, elt-ord^rat )
ChangePrecision_ ( elt-ord^pad, elt-ord^rat )
ChangePrecision_ ( elt-rng^ser, elt-ord^rat )
ChangePrecision_ ( fld^pad, any )
ChangePrecision_ ( ord^pad, any )
ChangePrecision_ ( res^pad, elt-ord^rat )
ChangeRing ( alg^pol, rng ) -> alg^pol, map()
ChangeRing ( alg^pol, rng, map() ) -> alg^pol, map()
ChangeRing ( elt-alg^mat, rng ) -> elt-alg^mat
ChangeRing ( mdl, rng ) -> mdl, map()
ChangeRing ( mdl, rng, map() ) -> mdl, map()
ChangeRing ( mdl^mat, rng ) -> mdl^mat, map()
ChangeRing ( mdl^mat, rng, map() ) -> mdl^mat, map()
ChangeRing ( mdl^vec, rng ) -> mdl^vec, map()
ChangeRing ( mdl^vec, rng, map() ) -> mdl^vec, map()
ChangeRing ( rng^ser, rng ) -> rng^ser
ChangeUniverse ( seq(), any ) -> seq()
ChangeUniverse_ ( seq(), any )
Char ( elt-ord^rat ) -> char
Characteristic ( rng ) -> elt-ord^rat
CharacteristicPolynomial ( elt-fld^fin ) -> elt-alg^pol
CharacteristicPolynomial ( elt-fld^fin, fld^fin ) -> elt-alg^pol
CharacteristicPolynomial ( elt-fld^fra ) -> elt-alg^pol
CharacteristicPolynomial ( elt-fld^fra, rng ) -> elt-alg^pol
CharacteristicPolynomial ( elt-fld^fun ) -> elt-alg^pol
CharacteristicPolynomial ( elt-fld^fun, rng ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^fun ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^fun, rng ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^num ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^num, rng ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^pad ) -> elt-alg^pol
CharacteristicPolynomial ( elt-ord^pad, ord^pad ) -> elt-alg^pol
CharacteristicPolynomial ( elt-res^pad ) -> elt-alg^pol
CharacteristicPolynomial ( elt-res^pad, res^pad ) -> elt-alg^pol
CharacteristicPolynomial ( elt-res^pol ) -> elt-alg^pol
CharacteristicPolynomial ( seq() ) -> elt-alg^pol, elt-ord^rat
CharacteristicVector ( mdl, seq(elt-ord^rat) ) -> elt-mdl
CharacteristicVector ( mdl^vec, seq(elt-ord^rat) ) -> elt-mdl^vec
CheckArgs ( list, list, list )
CheckDocumentation ( record )
ChineseRemainderTheorem ( elt-ids^int/ord^fun, elt-ids^int/ord^fun, elt-ord^fun, elt-ord^fun ) -> elt-ord^fun
ChineseRemainderTheorem ( elt-ids^int/ord^num, elt-ids^int/ord^num, elt-ord^num, elt-ord^num ) -> elt-ord^num
ChineseRemainderTheorem ( elt-ids^int/ord^num, seq(), elt-ord^num, seq() ) -> elt-ord^num
ChineseRemainderTheorem ( seq(elt-ord^rat), seq(elt-ord^rat) ) -> elt-ord^rat
Cholesky ( elt-alg^mat ) -> elt-alg^mat
Cholesky ( elt-alg^mat, rng ) -> elt-alg^mat
CipherDecrypt ( string, string, string ) -> string
CipherEncrypt ( string, string, string ) -> string
CipherKey ( string, string, string ) -> string, string
Classes ( grp^abl ) -> seq()
ClassGroup ( fld^num ) -> grp^abl, map()
ClassGroup ( fld^rat ) -> grp^abl, map()
ClassGroup ( ord^num ) -> grp^abl, map()
ClassGroup ( ord^rat ) -> grp^abl, map()
ClassGroupCyclicFactorGenerators ( ord^num ) -> seq()
ClassGroupGenerationBound ( elt-ord^rat, elt-ord^rat ) -> elt-ord^rat
ClassGroupGenerationBound ( fld^fun ) -> elt-ord^rat
ClassGroupPRank ( fld^fun ) -> elt-ord^rat
Class Groups
ClassNumber ( fld^num ) -> elt-ord^rat
ClassNumber ( ord^num ) -> elt-ord^rat
ClassNumberApproximation ( fld^fun, elt-fld^rea ) -> elt-fld^rea
ClassNumberApproximationBound ( elt-ord^rat, elt-ord^rat, elt-fld^rea ) -> elt-ord^rat
ClassRepresentative ( elt-ids^fra/ord^num ) -> elt-ids^fra/ord^num
ClassRepresentative ( grp^abl, elt-grp^abl ) -> elt-grp^abl
ClearPrevious
ClockCycles -> elt-ord^rat
Close ( file ) -> elt-alg^boo
CodeToString ( elt-ord^rat ) -> string
Codomain ( elt-mdl^mat ) -> mdl^vec
Codomain ( map() ) -> any
Codomain ( mdl^mat ) -> mdl^vec
Coefficient ( elt-alg^pol, elt-ord^rat ) -> elt-rng
Coefficient ( elt-alg^pol/ord^pow, elt-ord^rat ) -> elt-ord^pow
Coefficient ( elt-alg^pol/res^pow, elt-ord^rat ) -> elt-res^pow
Coefficient ( elt-fld^pad, elt-ord^rat ) -> elt-fld^pad
Coefficient ( elt-ord^pad, elt-ord^rat ) -> elt-ord^pad
Coefficient ( elt-res^pad, elt-ord^rat ) -> elt-res^pad
Coefficient ( elt-res^pol, elt-ord^rat ) -> elt-rng
Coefficient ( elt-rng^ser, elt-rng ) -> elt-rng
CoefficientField ( fld^abl ) -> fld
CoefficientField ( fld^fra ) -> fld
CoefficientField ( fld^fun ) -> rng
CoefficientField ( fld^pad ) -> rng
CoefficientField ( mdl/fld ) -> rng
CoefficientHeight ( elt-fld^fra ) -> elt-ord^rat
CoefficientHeight ( elt-fld^fun ) -> elt-ord^rat
CoefficientHeight ( elt-ids^fra/ord^num ) -> elt-ord^rat
CoefficientHeight ( elt-ids^int/ord^fun ) -> elt-ord^rat
CoefficientHeight ( elt-ids^int/ord^num ) -> elt-ord^rat
CoefficientHeight ( elt-ord^fun ) -> elt-ord^rat
CoefficientHeight ( elt-ord^num ) -> elt-ord^rat
CoefficientLength ( elt-fld^fra ) -> elt-ord^rat
CoefficientLength ( elt-fld^fun ) -> elt-ord^rat
CoefficientLength ( elt-ids^fra/ord^num ) -> elt-ord^rat
CoefficientLength ( elt-ids^int/ord^fun ) -> elt-ord^rat
CoefficientLength ( elt-ids^int/ord^num ) -> elt-ord^rat
CoefficientLength ( elt-ord^fun ) -> elt-ord^rat
CoefficientLength ( elt-ord^num ) -> elt-ord^rat
CoefficientRing ( alg^pol ) -> rng
CoefficientRing ( alg^pol/ord^pow ) -> ord^pow
CoefficientRing ( alg^pol/res^pow ) -> res^pow
CoefficientRing ( elt-alg^mat ) -> rng
CoefficientRing ( fld^abl ) -> rng
CoefficientRing ( fld^fun ) -> rng
CoefficientRing ( fld^pol ) -> rng
CoefficientRing ( mdl ) -> rng
CoefficientRing ( mdl^ded ) -> rng
CoefficientRing ( mdl^mat ) -> rng
CoefficientRing ( mdl^vec ) -> rng
CoefficientRing ( ord^fun ) -> rng
CoefficientRing ( ord^num ) -> rng
CoefficientRing ( ord^pad ) -> rng
CoefficientRing ( res^pad ) -> rng
CoefficientRing ( res^pol ) -> rng
CoefficientRing ( rng^ser ) -> rng
Coefficients ( elt-alg^pol ) -> seq()
Coefficients ( elt-fld^pad ) -> seq()
Coefficients ( elt-ord^pad ) -> seq()
Coefficients ( elt-res^pad ) -> seq()
Coefficients ( elt-res^pol ) -> seq()
Coefficients ( elt-rng^ser ) -> seq(), elt-ord^rat, elt-ord^rat
Coerce ( alg^pol/fld^fin, elt-alg^pol/ord^pow ) -> elt-alg^pol
Coerce ( alg^pol/fld^fin, elt-alg^pol/res^pow ) -> elt-alg^pol
Coerce ( alg^pol/fld^fin, elt-ord^ser/fld^fin ) -> elt-alg^pol/fld^fin
Coerce ( alg^pol/ord^pow, any ) -> elt-alg^pol/ord^pow
Coerce ( alg^pol/ord^ser, elt-alg^pol/ord^pow ) -> elt-alg^pol
Coerce ( alg^pol/res^pow, any ) -> elt-alg^pol/res^pow
Coerce ( any, any ) -> any
Coerce ( ord^pow, any ) -> elt-ord^pow
Coerce ( ord^rat, elt-ord^pow ) -> elt-ord^rat
Coerce ( res^pow, any ) -> elt-res^pow
CoerceIdeal ( fld^fra, elt-ids^fra/ord^num ) -> elt-ids^fra/ord^num
CoerceIdeal ( ord^fun, elt-ids^int/ord^fun ) -> elt-ids^int/ord^fun
CoerceIdeal ( ord^num, elt-ids^fra/ord^num ) -> elt-ids^int/ord^num
Collected ( list ) -> list
ColonIdeal ( elt-ids^fra/ord^num, elt-ids^fra/ord^num ) -> elt-ids^fra/ord^num
ColonIdeal ( elt-ids^int/ord^fun, elt-ids^int/ord^fun ) -> elt-ids^int/ord^fun
ColumnSubmatrix ( elt-alg^mat, elt-ord^rat ) -> elt-alg^mat
ColumnSubmatrix ( elt-alg^mat, elt-ord^rat, elt-ord^rat ) -> elt-alg^mat
ColumnSubmatrixRange ( elt-alg^mat, elt-ord^rat, elt-ord^rat ) -> elt-alg^mat
com
Comm ( elt-grp, elt-grp ) -> elt-grp
Comm ( elt-grp^per, elt-grp^per ) -> elt-alg^boo
Command Line Options
Comment
CompanionMatrix ( elt-alg^pol ) -> elt-alg^mat
Complement ( mdl/fld, mdl/fld ) -> mdl/fld
Complement ( mdl^mat/fld, mdl^mat/fld ) -> mdl^mat/fld
Complement ( mdl^vec/fld, mdl^vec/fld ) -> mdl^vec/fld
ComplementaryDivisor ( elt-dvs/fld^fun ) -> elt-dvs/fld^fun
Complements ( mdl, mdl ) -> seq()
CompleteClassGroup ( ord^num )
Completion ( fld^fun, elt-pls/fld^fun ) -> fld^ser, map()
Completion ( ord^fun, elt-pls/fld^fun ) -> ord^ser, map()
Completion ( string, elt-ord^rat )
ComplexConjugate ( elt-fld^com ) -> elt-fld^com
ComplexConjugate ( elt-fld^rat ) -> elt-fld^rat
ComplexConjugate ( elt-fld^rea ) -> elt-fld^rea
ComplexConjugate ( elt-ord^rat ) -> elt-ord^rat
ComplexField -> fld^com
ComplexField ( elt-ord^rat ) -> fld^com
ComplexField ( fld^rea ) -> fld^com
ComplexToPolar ( elt-fld^com ) -> elt-fld^rea, elt-fld^rea
Component ( str, elt-ord^rat ) -> any
Components ( map() ) -> seq()
CompositeFields ( fld^fra, fld^fra ) -> seq()
Composition ( elt-rng^ser, elt-rng^ser ) -> elt-rng^ser
Composition ( map(), map() ) -> map()
Concatenation ( list, list ) -> list
Concatenation ( seq(), seq() ) -> seq()
Concatenation ( seq(seq()) ) -> seq()
Concatenation ( seq(string) ) -> string
Concatenation ( string, string ) -> string
ConditionalClassGroup ( fld^num ) -> grp^abl, map()
ConditionalClassGroup ( ord^num ) -> grp^abl, map()
Conductor ( fld^abl ) -> elt-ids^int/ord^num, seq()
Conductor ( fld^rat ) -> elt-ord^rat
ConjugacyClasses ( grp^abl ) -> seq()
Conjugate ( elt-fld^com ) -> elt-fld^com
Conjugate ( elt-fld^fra, elt-ord^rat ) -> elt-fld^com
Conjugate ( elt-fld^rat ) -> elt-fld^rat
Conjugate ( elt-ord^num, elt-ord^rat ) -> elt-fld^com
Conjugate ( elt-ord^rat ) -> elt-ord^rat
Conjugate ( grp^abl, elt-grp^abl ) -> grp^abl
Conjugates ( elt-fld^fra ) -> seq()
Conjugates ( elt-ord^num ) -> seq()
Conjugates ( grp^abl, elt-grp^abl ) -> seq()
ConstantField ( fld^fun ) -> rng
ConstantFieldExtension ( fld^fun, rng ) -> fld^fun, map()
Constants
Content ( elt-alg^pol ) -> elt-ord^rat
Content ( elt-ids^fra/ord^num ) -> elt-ord^rat
ContentAndPrimitivePart ( elt-alg^pol ) -> elt-ord^rat, elt-alg^pol
Contpp ( elt-alg^pol ) -> elt-ord^rat, elt-alg^pol
Convergents ( seq(elt-alg^pol) ) -> elt-alg^mat
Convergents ( seq(elt-ord^rat) ) -> elt-mdl^mat
Converting GAP groups/objects to KASH3
Convolution ( elt-rng^ser, elt-rng^ser ) -> elt-rng^ser
ConwayPolynomial ( elt-ord^rat, elt-ord^rat ) -> elt-alg^pol
Coordinates ( mdl, elt-mdl ) -> seq()
Coordinates ( mdl^mat, elt-mdl^mat ) -> seq()
Coordinates ( mdl^vec, elt-mdl^vec ) -> seq()
CoprimeRepresentative ( elt-ids^int/ord^num, elt-ids^int/ord^num ) -> elt-fld^fra
Copy ( any ) -> any
Copyright
Cos ( elt-fld^rea ) -> elt-fld^rea
Cos ( elt-rng^ser ) -> elt-rng^ser
Cosec ( elt-fld^rea ) -> elt-fld^rea
Cosec ( elt-rng^ser ) -> elt-rng^ser
Cosech ( elt-fld^rea ) -> elt-fld^rea
Cosh ( elt-fld^com ) -> elt-fld^com
Cosh ( elt-fld^rea ) -> elt-fld^rea
Cosh ( elt-rng^ser ) -> elt-rng^ser
Cot ( elt-fld^rea ) -> elt-fld^rea
Cot ( elt-rng^ser ) -> elt-rng^ser
Coth ( elt-fld^rea ) -> elt-fld^rea
CoveringStructure ( any, any ) -> any
Creating GAP groups/objects
CRT ( elt-ids^int/ord^fun, elt-ids^int/ord^fun, elt-ord^fun, elt-ord^fun ) -> elt-ord^fun
CRT ( elt-ids^int/ord^num, elt-ids^int/ord^num, elt-ord^num, elt-ord^num ) -> elt-ord^num
CRT ( elt-ids^int/ord^num, seq(), elt-ord^num, seq() ) -> elt-ord^num
CRT ( seq(elt-ord^rat), seq(elt-ord^rat) ) -> elt-ord^rat
CycleCount ( string ) -> elt-ord^rat
CycleLengthPermInt ( elt-grp^per, elt-ord^rat ) -> elt-ord^rat
CyclePermInt ( elt-grp^per, elt-ord^rat ) -> list
CyclotomicOrder ( fld^rat ) -> elt-ord^rat
CyclotomicPolynomial ( elt-ord^rat ) -> elt-alg^pol
CyclotomicUnramifiedExtension ( fld^pad, elt-ord^rat ) -> fld^pad
CyclotomicUnramifiedExtension ( ord^pad, elt-ord^rat ) -> ord^pad
CyclotomicUnramifiedExtension ( res^pad, elt-ord^rat ) -> res^pad
Built: Mon Nov 14 21:15:56 UTC 2005 on mack
The KANT Group