- Attribute
- AddAttribute(C, F) : Cat, MonStgElt -> ;
- 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 ->
- HasAttribute(L, "c") : AlgKac, MonStgElt -> BoolElt, AlgKacElt
- HasAttribute(GrpMat, "FirstBasicOrbitBound") : Cat, MonStgElt -> BoolElt, RngIntElt
- HasAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
- HasAttribute(F, "PowerPrinting") : FldFin, MonStgElt -> BoolElt, BoolElt
- HasAttribute(A, s) : GrpAuto, MonStgElt -> BoolElt, .
- HasAttribute(A, "GenWeights") : GrpAuto, MonStgElt -> BoolElt, [ RngIntElt ]
- HasAttribute(A, "WeightSubgroupOrders") : GrpAuto, MonStgElt -> BoolElt, [ RngIntElt ]
- HasAttribute(G, "IsVerified") : GrpMat, MonStgElt -> BoolElt
- HasAttribute(G, "Base") : GrpMat, MonStgElt -> BoolElt, Tup
- HasAttribute(G, "Order") : GrpMat, MonStgElt -> RngIntElt
- HasAttribute(S, "DefaultPrecision") : RngSer, MonStgElt -> BoolElt, RngIntElt
- SetPowerPrinting(F, l) : FldFin, BoolElt ->
- attribute
- attribute-functions
- Attributes
- attributes
- attributes-example
- Augment
- Augmentation
- AugmentationIdeal
- AugmentationMap
- AugmentCode
- Aut
V2.28, 13 July 2023