[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: arithmetic-diff-op-ring-elts .. Assert
Arithmetic (DIFFERENTIAL RINGS)
Arithmetic (DIFFERENTIAL RINGS)
Arithmetic Functions (RING OF INTEGERS)
The Arithmetic Progression Constructors (SEQUENCES)
The Arithmetic Progression Constructors (SETS)
Arithmetic of Points (HYPERELLIPTIC CURVES)
IsArithmeticallyCohenMacaulay(S) : ShfCoh -> BoolElt
IsCohenMacaulay(X) : Sch -> BoolElt
Arithmetic Fuchsian Groups (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ArithmeticGenus(C) : Crv -> RngIntElt
ArithmeticGenus(X) : Sch -> RngIntElt
ArithmeticGenus(S) : Srfc -> RngIntElt
ArithmeticGenusOfDesingularization(S) : Srfc -> RngIntElt
AGM(x, y) : FldReElt, FldReElt -> FldReElt
ArithmeticGeometricMean(x, y) : FldReElt, FldReElt -> FldReElt
ArithmeticGeometricMean(x, y) : RngSerElt, RngSerElt -> RngSerElt
ArithmeticTriangleGroup(p,q,r) : RngIntElt, RngIntElt, RngIntElt -> GrpPSL2, Rng
ArithmeticVolume(G) : GrpPSL2 -> FldRatElt
ArithmeticVolume(P) : [SpcHydElt] -> FldReElt
Lseries_armitage (Example H127E4)
AssociativeArray(): -> Assoc
AssociativeArray(I): Str -> Assoc
EnumerationCostArray(L) : Lat -> ModTupFldElt
GammaArray(H) : HypGeomData -> SeqEnum
IntersectionArray(G) : GrphUnd -> [RngIntElt]
Arrows(s) : GrphRes -> SeqEnum
ArtinMap(A) : FldAb -> Map
ArtinRepresentation(ch) : GrpDrchElt -> ArtRep
ArtinRepresentation(H, t) : HypGeomData, FldRatElt -> ArtRep
ArtinRepresentations(K) : FldNum -> SeqEnum
ArtinSchreierExtension(c,a,b) : FldFin, FldFin, FldFin -> FldFun
ArtinSchreierImage(e) : RngWittElt -> RngWittElt
ArtinSchreierMap(W) : RngWitt -> Map
ArtinTateFormula(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
IsInArtinSchreierRepresentation(K) : FldFun -> BoolElt, FldFunElt
ArtRep_artin-arith1 (Example H44E5)
ArtRep_artin-arith2 (Example H44E6)
ArtRep_artin-const (Example H44E1)
ArtRep_artin-invariants (Example H44E3)
ArtRep_artin-minimize (Example H44E2)
ArtinMap(A) : FldAb -> Map
ArtinRepresentation(ch) : GrpDrchElt -> ArtRep
ArtinRepresentation(H, t) : HypGeomData, FldRatElt -> ArtRep
ArtinRepresentations(K) : FldNum -> SeqEnum
ArtinSchreierExtension(c,a,b) : FldFin, FldFin, FldFin -> FldFun
ArtinSchreierImage(e) : RngWittElt -> RngWittElt
ArtinSchreierMap(W) : RngWitt -> Map
ArtinTateFormula(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
ARTIN REPRESENTATIONS
AsExtensionOf(O1, O2) : RngFunOrd, RngFunOrd -> RngFunOrd
AsExtensionOf(O, P) : RngOrd, RngOrd -> RngOrd
GroupAlgebraAsStarAlgebra(R, G) : Rng, Grp -> AlgGrp
IsSplitAsIdealAt(I, l) : RngOrdFracIdl, UserProgram -> BoolElt, UserProgram, [RngOrdIdl]
RationalsAsNumberField() : FldRat -> FldNum
RationalsAsNumberField() : FldRat -> FldNum
UnitGroupAsSubgroup(O) : RngOrd -> GrpAb
Aschbacher Reduction (MATRIX GROUPS OVER FINITE FIELDS)
Introduction (MATRIX GROUPS OVER FINITE FIELDS)
Aschbacher Reduction (MATRIX GROUPS OVER FINITE FIELDS)
AsExtensionOf(O1, O2) : RngFunOrd, RngFunOrd -> RngFunOrd
AsExtensionOf(O, P) : RngOrd, RngOrd -> RngOrd
ASigmaL(arguments)
AffineSigmaLinearGroup(arguments)
ASigmaL(arguments)
AffineSigmaLinearGroup(arguments)
ASL(arguments)
AffineSpecialLinearGroup(arguments)
AffineSpecialLinearGroup(GrpMat, n, q) : Cat, RngIntElt, RngIntElt -> GrpMat
AssertAttribute(x, "IsCharacter", b) : AlgChtrElt, MonStgElt, BoolElt ->
AssertAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
AssertAttribute(GrpMat, "FirstBasicOrbitBound", n) : Cat, MonStgElt, RngIntElt ->
AssertAttribute(RngInt, "CunninghamStorageLimit", l) : Cat, MonStgElt, RngIntElt ->
AssertAttribute(G, "IsVerified", b) : GrpMat, MonStgElt, BoolElt ->
AssertAttribute(G, "Order", n) : GrpMat, MonStgElt, RngIntElt ->
AssertAttribute(G, "Classes", Q) : GrpMat, MonStgElt, SeqEnum ->
AssertAttribute(G, "Base", B) : GrpMat, MonStgElt, Tup ->
[Future release] AssertAttribute(G, "BSGS", S) : GrpPerm, MonStgElt, GrpPermBSGS ->
AssertAttribute(G, "Order", n) : GrpPerm, MonStgElt, RngIntElt ->
AssertAttribute(G, "Classes", Q) : GrpPerm, MonStgElt, SeqEnum ->
AssertAttribute(G, "Order", Q) : GrpPerm, MonStgElt, [<RngIntElt, RngIntElt>] ->
AssertAttribute(S, "DefaultPrecision", n) : RngSer, MonStgElt, RngIntElt ->
AssertEmbedding(~A, phi) : ModAbVar, MapModAbVar ->
SetPowerPrinting(F, l) : FldFin, BoolElt ->
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012