- BasicStabiliser
- BasicStabiliserChain
- BasicStabilizer
- BasicStabilizerChain
- BasicWorker
- Basis
- L / r : Lat NF, LatNF -> LatNF
- BasisScaling(L, r) : LatNF, RngElt -> LatNF
- r * L : RngElt, LatNF -> LatNF
- L . i : TorLat,RngIntElt -> TorLatElt
- AbsoluteBasis(K) : FldAlg -> [FldAlgElt]
- AbsoluteBasis(K) : FldNum -> [FldNumElt]
- AbsoluteBasis(M) : ModDed -> SeqEnum
- Basis(O) : AlgAssVOrd -> SeqEnum
- Basis(I) : AlgAssVOrdIdl -> SeqEnum
- Basis(B) : AlgBas -> SeqEnum
- Basis(R) : AlgChtr -> SeqEnum
- Basis(I) : AlgFr -> [ AlgFrElt ]
- Basis(A) : AlgGen -> [ AlgGenElt ]
- Basis(A) : AlgLie -> [ AlgLieElt ]
- Basis(L) : AlgLieExtr -> SeqEnum[AlgFPLieElt], SeqEnum[UserProgram]
- Basis(R) : AlgMatV -> [ AlgMatElt ]
- Basis(A) : AlgQuat -> SeqEnum
- Basis(C) : Code -> [ ModTupRngElt ]
- Basis(C) : Code -> [ ModTupRngElt ]
- Basis(C) : Code -> [ ModTupRngElt ]
- Basis(D) : DivCrvElt -> SeqEnum
- Basis(F) : FldFunG -> SeqEnum[FldFunElt]
- Basis(F) : FldNum -> [ FldNumElt ]
- Basis(Q) : FldRat -> [FldRatElt]
- Basis(H) : HomModAbVar -> SeqEnum
- Basis(L) : Lat -> [ FldReElt ]
- Basis(L) : LatNF -> [ModTupFldElt]
- Basis(M): ModAlg -> SeqEnum
- Basis(M) : ModBrdt -> SeqEnum
- Basis(M) : ModDed -> SeqEnum
- Basis(M) : ModFrm -> SeqEnum
- Basis(M, prec) : ModFrm, RngIntElt -> [RngSerPowElt]
- Basis(M) : ModMPol -> RngMPolElt
- Basis(M) : ModSS -> SeqEnum
- Basis(M) : ModSym -> SeqEnum
- Basis(V) : ModTupFld -> [ModTupFldElt]
- Basis(M) : ModTupRng -> [ModTupRngElt]
- Basis(D) : OMDiv -> SeqEnum
- Basis(I) : OMIdl -> SeqEnum
- Basis(I) : OMIdl -> SeqEnum
- Basis(D : parameters) : DivFunElt -> [ FldFunElt ]
- Basis(P) : PMat -> SeqEnum
- Basis(I) : RngFunOrdIdl -> [FldFunElt]
- Basis(I) : RngMPol -> [ RngMPolElt ]
- Basis(I) : RngMPolLoc -> [ RngMPolLocElt ]
- Basis(O) : RngOrd -> [ FldOrdElt ]
- Basis(I) : RngOrdIdl -> [RngOrdElt]
- Basis(S, r, disc) : SeqEnum, RngIntElt, RngIntElt -> SeqEnum
- Basis (S) : SpSpc -> SeqEnum
- Basis(T) : TenSpc -> SeqEnum
- Basis(L) : TorLat -> TorLatElt
- Basis(S) : [ PtEll ] -> [ PtEll ], ModMatAlgElt
- BasisChange(R,v) : RootStr, Any -> SeqEnum
- BasisDenominator(L) : Lat -> RngIntElt
- BasisElement(C, S) : AlgClff, SetEnum -> AlgClffElt
- BasisElement(I, i) : AlgFr, RngIntElt -> AlgFrElt
- BasisElement(A, i) : AlgGen, RngIntElt -> AlgGenElt
- BasisElement(A, i) : AlgLie, RngIntElt -> AlgLieElt
- BasisElement(R, i) : AlgMatV, RngIntElt -> AlgMatElt
- BasisElement(M, i) : ModMPol, RngIntElt -> RngMPolElt
- BasisElement(V, i) : ModTupFld, RngIntElt -> ModTupFldElt
- BasisElement(I, i) : RngMPol, RngIntElt -> RngMPolElt
- BasisElement(I, i) : RngMPolLoc, RngIntElt -> RngMPolLocElt
- BasisMatrix(I) : AlgAssVOrdIdl -> AlgMatElt
- BasisMatrix(S) : AlgGrpSub -> ModMatRngElt
- BasisMatrix(S) : AlgQuatOrd -> AlgMatElt
- BasisMatrix(L) : Lat -> ModMatRngElt
- BasisMatrix(M) : ModMPol -> ModMatRngElt
- BasisMatrix(V) : ModTupFld -> ModMatElt
- BasisMatrix(O) : RngFunOrd -> AlgMatElt
- BasisMatrix(I) : RngFunOrdIdl -> AlgMatElt
- BasisMatrix(O) : RngOrd -> AlgMatElt
- BasisMatrix(I) : RngOrdFracIdl -> MtrxSpcElt
- BasisMatrix (S) : SpSpc -> SpMat
- BasisMatrix(e) : SubModLatElt -> Mtrx
- BasisOfDegree0CoxMonomials(X) : TorVar -> SeqEnum
- BasisOfDifferentialsFirstKind(C) : Crv -> [DiffCrvElt]
- BasisOfDifferentialsFirstKind(F) : FldFunG -> SeqEnum[DiffFunElt]
- BasisOfHolomorphicTwoForms(S) : Srfc -> SeqEnum[RngMPolElt], RngMPolElt, SeqEnum, List
- BasisOfRationalFunctionField(X) : TorVar -> SeqEnum
- BasisProduct(C, i, j) : AlgClff, RngIntElt, RngIntElt -> AlgGenElt
- BasisProduct(C, L) : AlgClff, SeqEnum -> AlgGenElt
- BasisProduct(A, i, j) : AlgGen, RngIntElt, RngIntElt -> AlgGenElt
- BasisProduct(L, i, j) : AlgLie, RngIntElt, RngIntElt -> AlgLieElt
- BasisProducts(A) : AlgGen -> SeqEnum
- BasisProducts(L) : AlgLie -> SeqEnum
- BasisReduction(L) : Lat -> Lat, AlgMatElt
- BasisReduction(X) : ModMatRngElt -> ModMatRngElt, AlgMatElt, RngIntElt
- CanonicalBasis(V) : ModAlg -> SeqEnum
- ChangeBasis(A, B) : AlgAss, [AlgAssElt] -> AlgAss
- ChangeBasis(A, B) : AlgGen, [AlgGenElt] -> AlgGen
- ChangeBasis(L, B) : AlgLie, [AlgLieElt] -> AlgLie
- ChangeBasis(v) : TorLatElt -> Map
- ChangeOfBasisMatrix(G, S) : GrpMat, ModGrp -> AlgMatElt
- ChevalleyBasis(L) : AlgLie -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- ChevalleyBasis(L, H, R) : AlgLie, AlgLie, RootDtm -> [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ]
- ClassicalChangeOfBasis(G): GrpMat[FldFin] -> GrpMatElt[FldFin]
- ComplementBasis(G) : GrpPC -> [GrpPC]
- CoprimeBasis(S) : [ RngIntElt ] -> [ RngIntElt ]
- CoprimeBasis(L) : [RngOrdFracIdl] -> RngOrdIdl
- CoprimeBasisInsert(~L, I) : [RngOrdIdl], RngOrdFracIdl ->
- DifferentialBasis(D) : DivCrvElt -> SeqEnum
- DifferentialBasis(D) : DivCrvElt -> [DiffCrvElt]
- DifferentialBasis(D) : DivFunElt -> [DiffFunElt]
- DifferentialBasis(D) : DivFunElt -> [DiffFunElt]
- DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
- DualBasisLattice(L) : Lat -> Lat
- EasyBasis(I) : RngMPol -> [ RngMPolElt ]
- ExpandBasis(M) : Mtrx -> Mtrx
- ExtendBasis(S, A) : AlgGen, AlgGen -> [ AlgElt ]
- ExtendBasis(S, L) : AlgLie, AlgLie -> [ AlgElt ]
- ExtendBasis(U, V) : ModTupFld, ModTupFld -> [ModTupFldElt]
- ExtendBasis(Q, U) : [ModTupFldElt], ModTupFld -> [ModTupFldElt]
- ExtraSpecialBasis(G) : GrpMat -> GrpMatElt
- FactorBasis(K, B) : FldNum, RngIntElt -> [ RngOrdIdl ]
- FactorBasis(O) : RngOrd -> [ RngOrdIdl ], Integer
- FactorBasisVerify(O, a, b) : RngOrd, RngIntElt, RngIntElt ->
- GeneratorMatrix(C) : Code -> ModMatFldElt
- GeneratorMatrix(C) : Code -> ModMatFldElt
- GenericTracelessSubspaceBasis(A) : AlgGen -> Any
- GoodBasisOfNormGenerators(L, p) : LatNF, RngOrdIdl -> SeqEnum, SeqEnum
- GroebnerBasis(I: parameters) : AlgFr -> AlgFrElt
- GroebnerBasis(I: parameters) : RngMPol -> [ RngMPolElt ], [ RngIntElt ]
- GroebnerBasis(S, d: parameters) : [ AlgFr ], RngInt -> AlgFrElt
- GroebnerBasis(S: parameters) : [ AlgFrElt ] -> [ AlgFrElt ]
- GroebnerBasis(S, d: parameters) : [ RngMPol ], RngInt -> RngMPolElt
- GroebnerBasis(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ], [ RngIntElt ], []
- GroebnerBasis(S, d : parameters) : [ RngMPolElt ], RngInt -> RngMPolElt
- GroebnerBasis(X) : Sch -> SeqEnum
- GroebnerBasisUnreduced(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
- HasGroebnerBasis(I) : RngMPol -> BoolElt
- HasGroebnerBasis(X) : Sch -> BoolElt
- HasHomogeneousBasis(A): AlgSym -> BoolElt
- HasSchurBasis(A): AlgSym -> BoolElt
- HilbertBasis(C) : TorCon -> SeqEnum
- HilbertGroebnerBasis(S, H) : [ RngMPolElt ], FldFunRatUElt -> BoolElt, [ RngMPolElt ]
- HomogeneousModuleTestBasis(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
- HomologyBasis(A) : AnHcJac -> SeqEnum, SeqEnum, Mtrx
- HomologyBasis(X) : RieSrf -> SeqEnum[SeqEnum[RngIntElt]], Mtrx, Mtrx
- HomologyBasis(L) : SeqEnum[GrpPermElt] -> SeqEnum[SeqEnum[RngIntElt]], Mtrx, Mtrx
- HyperbolicBasis(U, B, W) : ModTupFld, SeqEnum, ModTupFld -> SeqEnum
- IdealWithFixedBasis(B) : [ RngMPolElt ] -> RngMPol
- IdealWithFixedBasis(B) : [ RngMPolLocElt ] -> RngMPolLoc
- ImageBasis(f) : TorLatMap -> SeqEnum
- ImageWithBasis(X, M) : ModMatRngElt, ModRng -> ModRng
- ImprimitiveBasis(G) : GrpMat -> SeqEnum
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
- IntegralBasis(F) : FldAlg -> [ FldAlgElt ]
- IntegralBasis(F) : FldNum -> [ FldNumElt ]
- IntegralBasis(Q) : FldRat -> [ FldRatElt ]
- IntegralBasis(M) : ModSym -> SeqEnum
- IntegralBasis(L) : RngLocA -> SeqEnum
- IntegralBasisLattice(L) : Lat -> Lat, RngIntElt
- IsChevalleyBasis(L, R, x, y, h) : AlgLie, RootDtm, [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ] -> BoolElt, [ Tup ]
- KMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
- KernelBasis(f) : TorLatMap -> SeqEnum
- LatticeBasisInCone(C) : TorCon -> [TorLatElt]
- LatticeWithBasis(G, B) : GrpMat, ModMatRngElt -> Lat
- LatticeWithBasis(G, B, M) : GrpMat, ModMatRngElt, AlgMatElt -> Lat
- LatticeWithBasis(B) : ModMatRngElt -> Lat
- LatticeWithBasis(B, M) : ModMatRngElt, AlgMatElt -> Lat
- LocalBasis(O, p) : AlgAssVOrd, RngOrdIdl -> [AlgAssElt]
- LocalBasis(I, p) : AlgAssVOrdIdl, RngOrdIdl -> [AlgAssElt]
- LocalBasis(L, p) : LatNF, RngOrdIdl -> [ModTupFldElt]
- MinimalBasis(M) : ModMPol -> [ ModMPolElt ]
- MinimalBasis(X) : Sch -> [ RngMPolElt ]
- MinimalBasis(S) : [ ModMPolElt ] -> [ ModMPolElt ]
- ModuleWithBasis(Q): SeqEnum -> ModAlg
- MonomialBasis(Q) : RngMPolRes -> [ RngMPolResElt ]
- PluriCanonicalBasis(S,m) : Srfc, RngIntElt -> SeqEnum
- PrimaryAbelianBasis(A) : GrpAb -> [ GrpAbElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpFin -> [ GrpFinElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpMat -> [ GrpMatElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPC -> [ GrpPCElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPerm -> [ GrpPermElt ], [ RngIntElt ]
- PrimeBasis(n) : RngIntElt -> [RngIntElt]
- PrimeBasis(n) : RngIntElt -> [RngIntElt]
- PseudoBasis(I) : AlgAssVOrdIdl[RngOrd] -> SeqEnum
- PseudoBasis(I, R) : AlgAssVOrdIdl[RngOrd], Str -> SeqEnum
- PseudoBasis(O) : AlgAssVOrd[RngOrd] -> SeqEnum
- PseudoBasis(L) : LatNF -> [ModTupFldElt]
- PseudoBasis(M) : ModDed -> SeqEnum
- QuantumBasisElement(F) : FldFin -> FldFinElt
- RMatrixSpaceWithBasis(Q) : [ ModMatRngElt ] -> ModMatRng
- RMatrixSpaceWithBasis(Q) : [ModTupRngElt] -> ModMatRng
- RModuleWithBasis(Q) : [ModFldElt] -> ModFld
- ReconstructLatticeBasis(S, B) : ModMatRngElt, ModMatRngElt -> ModMatRngEltLat
- ReduceGroebnerBasis(S) : [ RngMPolElt ] -> [ RngMPolElt ]
- ReducedBasis(O) : AlgAssVOrd[RngOrd] -> [AlgAssVElt]
- ReducedBasis(S) : AlgQuatOrd[RngInt] -> SeqEnum
- ReducedBasis(D) : OMDiv -> SeqEnum
- ReducedBasis(S: Precision) : [JacHypPt] -> SeqEnum, AlgMatElt, SeqEnum
- ReducedBasis(S) : [ PtEll ] -> [ PtEll ]
- ReducedGramMatrix(S) : AlgQuatOrd[RngUPol] -> AlgMatElt, SeqEnum
- RiemannRochBasis(D) : DivSchElt -> SeqEnum
- RiemannRochBasis(D) : DivTorElt -> [RngElt]
- SIntegralBasis(I, S) : OMIdl, SeqEnum -> SeqEnum
- SIntegralBasis(I, S) : OMIdl, SeqEnum -> SeqEnum
- SemiOrthogonalBasis(V) : ModTupFld -> SeqEnum
- SemiReducedBasis(D) : OMDiv -> SeqEnum
- SetRationalBasis(M) : ModFrmHil ->
- ShortBasis(D) : DivCrvElt -> SeqEnum
- ShortBasis(D : parameters) : DivFunElt -> [RngElt], [RngIntElt]
- SmallBasis(I) : RngMPol -> [ RngMPolElt ]
- SmallerFieldBasis(G) : GrpMat -> GrpMatElt
- StandardBasis(I) : RngMPolLoc -> RngMPolLocElt
- StandardBasis(S) : [ RngMPolLocElt ] -> [ RngMPolLocElt ]
- SubalgebraFromBasis(A, V) : AlgBas, SeqEnum -> AlgBas, Map
- SylowBasis(G) : GrpPC -> [GrpPC]
- SymplecticBasis(V,U,W) : ModTupFld, ModTupFld, ModTupFld -> [ModTupFldElt]
- TensorBasis(G) : GrpMat -> GrpMatElt
- TensorInducedBasis(G) : GrpMat -> GrpMatElt
- TwistedBasis(L, H, R) : AlgLie, AlgLie, RootDtm -> AlgLie, AlgLie, Rec, AlgMatElt
- VectorSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
- pIntegralBasis(I, p) : OMIdl, RngElt -> SeqEnum
- pIntegralBasis(I, p) : OMIdl, RngElt -> SeqEnum
- qExpansionBasis(M, prec) : ModBrdt, RngIntElt -> SeqEnum
- qExpansionBasis(M, prec : parameters) : ModSym, RngIntElt -> SeqEnum
- qIntegralBasis(M) : ModSym -> SeqEnum
- ModFld_Basis (Example H29E13)
V2.28, 13 July 2023