- AHom
- AInfinity
- AInfinityRecord
- aInvariants
- Al
- Alarm
- alffdb-basic1
- alffo
- alffo-quotient-ring
- alffoq
- alffoq-elts
- Alg
- alg
- alg-hom
- alg-mod
- alg-oper
- alg-ops
- alg_ass_ord
- alg_grp
- Alg_Invariants
- alg_non_ass
- alg_quat
- alg_sym
- AlgComb
- Algebra
- AbelianLieAlgebra(R, n) : Rng, RngIntElt -> AlgLie
- AbsoluteAffineAlgebra(A) : FldAC -> RngUPolRes
- AbsoluteAlgebra(A) : RngUPolRes -> SetCart, Map
- AdjointAlgebra(S : parameters) : SeqEnum -> AlgMat
- AdjointAlgebra(B) : TenSpcElt -> AlgMat
- AffineAlgebra< R, X | L > : Fld, List, List -> RngMPolRes
- AffineAlgebra(A) : FldAC -> RngMPolRes
- AffineAlgebraMapKernel(phi) : Map -> MPol
- AffineLieAlgebra(C, F) : AlgMatElt, Fld -> AlgKac
- AffineLieAlgebra(N, F) : MonStgElt, Fld -> AlgKac
- Algebra(O) : AlgAssVOrd -> AlgAssV
- Algebra(I) : AlgAssVOrdIdl -> AlgAssV
- Algebra(I) : AlgEtQIdl -> AlgEtQ
- Algebra(S) : AlgEtQOrd -> AlgEtQ
- Algebra(A) : AlgFP -> AlgAss, Map
- Algebra(A) : AlgGrp -> AlgAss, Map
- Algebra(A) : AlgGrp -> AlgAss, Map
- Algebra(M) : AlgMatLie -> AlgLie, Map
- Algebra(R) : AlgMatV -> AlgGen, Map
- Algebra(S) : AlgQuatOrd -> AlgQuat
- Algebra(U) : AlgUE -> AlgLie
- Algebra(K, J) : FldAlg, Fld -> AlgAss, Map
- Algebra(F, E) : FldFin, FldFin -> AlgAss, Map;
- Algebra(K, J) : FldNum, Fld -> AlgAss, Map
- Algebra(Q, Q) : FldRat, Fld -> AlgAss, Map
- Algebra(M): ModAlg -> Alg
- Algebra(M) : ModAlg -> AlgBas
- Algebra(C) : ModCpx -> AlgBas
- Algebra< R, n | Q : parameters > : Rng, RngIntElt, SeqEnum -> AlgGen
- Algebra< R, n | T : parameters > : Rng, RngIntElt, SeqEnum -> AlgGen
- Algebra< R, n | Q > : Rng, RngIntElt, SeqEnum -> AlgGen
- Algebra(R) : RngInvar -> RngMPol, [ RngMPolElt ]
- AlgebraGenerators(A) : AlgMat -> Rec
- AlgebraMap(f) : MapSch -> Map
- AlgebraOverCenter(A) : Alg -> AlgAss, Map;
- AlgebraStructure(A) : AlgMat -> Rec
- AssociatedGradedAlgebra(A) : AlgBas -> AlgBas
- AssociativeAlgebra(A) : AlgGen -> AlgAss
- AssociativeAlgebra< R, n | Q : parameters > : Rng, RngIntElt, SeqEnum -> AlgAss
- AssociativeAlgebra< R, n | T : parameters > : Rng, RngIntElt, SeqEnum -> AlgAss
- AssociativeAlgebra< R, n | Q > : Rng, RngIntElt, SeqEnum -> AlgAss
- BasicAlgebra(F,R) : AlgFr, SeqEnum -> AlgBas
- BasicAlgebra(F,R,s,P): AlgFr, SeqEnum, RngIntElt, SeqEnum -> AlgBas
- BasicAlgebra(A): AlgMat -> AlgBas
- BasicAlgebra(G, k) : GrpPerm, FldFin -> AlgBas
- BasicAlgebra(S) : SeqEnum -> AlgBas
- BasicAlgebra(Q) : SeqEnum[Tup] -> AlgBas
- BasicAlgebraFromGroup(A, p, b) : MonStgElt, RngIntElt, RngIntElt -> AlgBas
- BasicAlgebraFromSchur(n, r, p) : RngIntElt, RngIntElt, RngIntElt -> AlgBas
- BasicAlgebraGroupNames() : -> SetIndx
- BasicAlgebraOfBlockAlgebra(S) : SeqEnum -> AlgBas
- BasicAlgebraOfEndomorphismAlgebra(M): ModRng -> AlgBas
- BasicAlgebraOfExtAlgebra(A) : AlgBas -> AlgBas
- BasicAlgebraOfExtAlgebra(A): AlgBas -> AlgBas
- BasicAlgebraOfExtAlgebra(A, n): AlgBas, RngIntElt -> AlgBas
- BasicAlgebraOfExtAlgebra(A, n) : AlgBas, RngIntElt -> AlgBas
- BasicAlgebraOfExtAlgebra(A) : Rec -> AlgBas
- BasicAlgebraOfExtAlgebra(ext) : Rec -> AlgBas
- BasicAlgebraOfGroupAlgebra(G,F): GrpPerm, FldFin -> AlgBas
- BasicAlgebraOfHeckeAlgebra(G, H, F): GrpPerm, GrpPerm, FldFin) -> AlgBas
- BasicAlgebraOfPrincipalBlock(G,k) : GrpPerm, FldFin -> AlgBas
- BasicAlgebraOfSchurAlgebra(n, r, F): RngIntElt, RngIntElt, FldFin -> AlgBas
- CentreOfEndomorphismRing(G) : GrpMat -> AlgMat
- ChangeAlgebra(M, B, xi) : ModAlgBas , AlgBas, Map -> ModAlgBas
- CliffordAlgebra(Q) : AlgMatElt -> AlgClff, ModTupFld, Map
- CliffordAlgebra(V) : ModTupFld -> AlgClff, Map
- CompositionAlgebra(K, a) : Fld, [FldElt] -> AlgGen
- CondensedAlgebra(A) : AlgMat -> AlgMat
- ContactLieAlgebra(F, m, n) : Fld, RngIntElt, SeqEnum[RngIntElt] -> AlgLie, AlgLie
- CoverAlgebra(A) : AlgBas -> AlgBas, ModMatFldElt
- CoxeterGroup(GrpPermCox, W) : Cat, RootSys -> GrpPermCox
- DerivationAlgebra(A) : Alg -> AlgMatLie
- DerivationAlgebra(J) : AlgMatElt -> AlgLie
- DerivationAlgebra(T) : TenSpcElt -> AlgMatLie
- DiscriminantOfHeckeAlgebra(M : Bound) : ModSym -> RngIntElt
- EndomorphismAlgebra(M) : ModRng -> AlgMat
- EndomorphismAlgebra(M) : ModTupRng -> AlgMat
- EndomorphismRing(G) : GrpMat -> AlgMat
- EtaleAlgebra(f) : RngUPolElt[RngInt] -> AlgEtQ
- EtaleAlgebra(seq) : SeqEnum[FldNum] -> AlgEtQ
- ExtAlgebra(A, n): AlgBas,RngIntElt -> Rec
- ExteriorAlgebra(M) : CombFreeMod -> CombFreeMod, CombFreeModHom
- ExteriorAlgebra(K, n) : Fld, RngIntElt -> AlgExt
- ExtremalLieAlgebra(K, G) : Rng, GrphUnd -> AlgLieExtr
- ExtremalLieAlgebra(K, n) : Rng, RngIntElt -> AlgLieExtr
- FiniteLieAlgebra(L) : AlgKac -> AlgLie
- FreeAlgebra(K, n) : Fld, RngIntElt -> AlgFr
- FreeAlgebra(R, M) : Rng, MonFP -> AlgFPOld
- FreeLieAlgebra(F, n) : Rng, RngIntElt -> AlgFPLie
- GradedCoverAlgebra(A) : AlgBas -> AlgBas, ModMatFldElt
- GroupAlgebra(S) : AlgGrpSub -> AlgGrp
- GroupAlgebra( R, G: parameters ) : Rng, Grp -> AlgGrp
- GroupAlgebra(R, G) : Rng, Grp -> AlgGrp
- GroupAlgebraAsStarAlgebra(R, G) : Rng, Grp -> AlgGrp
- HamiltonianLieAlgebra(F, m, n) : Fld, RngIntElt, SeqEnum[RngIntElt] -> AlgLie, AlgLie
- HeckeAlgebra(M : Bound) : ModSym -> AlgMat
- HeckeAlgebra(A) : ModAbVar -> HomModAbVar
- HeisenbergAlgebra(J) : AlgMatElt -> AlgLie
- HeisenbergAlgebra(T) : TenSpcElt -> AlgGen
- HeisenbergLieAlgebra(T) : TenSpcElt -> AlgLie
- IntegralUEA(L) : AlgLie -> AlgIUE
- IsAlgebraHomomorphism(A, B, psi) : AlgBas, AlgBas, Map -> Bool
- IsAlgebraHomomorphism(A, B, psi) : AlgBas, AlgBas, Mtrx -> Bool
- IsAlgebraHomomorphism(psi): Map -> Bool
- IsHeckeAlgebra(H) : HomModAbVar -> BoolElt
- IsQuaternionAlgebra(B) : AlgAss -> BoolElt, AlgQuat, Map
- IsRestrictable(L) : AlgLie -> BoolElt, Map
- IsSimpleStarAlgebra(A) : AlgMat -> BoolElt
- IsStarAlgebra(A) : AlgGen -> BoolElt
- IsStarAlgebra(A) : AlgMat -> BoolElt
- IsomorphismTypesOfBasicAlgebraSequence(S) : SeqEnum -> SeqEnum
- JenningsLieAlgebra(G) : Grp -> AlgLie, SeqEnum
- JordanSpinAlgebra(F) : TenSpcElt -> AlgGen
- LieAlgebra(A) : AlgAss -> AlgGen, Map
- LieAlgebra(A) : AlgAss -> AlgLie
- LieAlgebra(A) : AlgAss -> AlgLie, Map
- LieAlgebra(A) : AlgMat -> AlgLie
- LieAlgebra(C, k) : AlgMatElt, Rng -> AlgLie
- LieAlgebra(G) : GrpLie -> AlgLie, Map
- LieAlgebra(G) : GrpLie -> AlgLie, Map
- LieAlgebra(W, R) : GrpMat, Rng -> AlgLie
- LieAlgebra(W, R) : GrpPermCox, Rng -> AlgLie
- LieAlgebra(T, k) : MonStgElt, Rng -> AlgLie
- LieAlgebra(N, k, p) : MonStgElt, Rng, GrpPermElt -> AlgLie
- LieAlgebra<R, n | Q : parameters > : Rng, RngIntElt, SeqEnum -> AlgLie
- LieAlgebra<R, n | T : parameters > : Rng, RngIntElt, SeqEnum -> AlgLie
- LieAlgebra< t | T : parameters > : SeqEnum, SeqEnum -> AlgLie
- LieAlgebra< R, n | Q > : Rng, RngIntElt, SeqEnum -> AlgLie
- LieAlgebra(R, k) : RootDtm, Rng -> AlgLie
- LieAlgebra(R) : [ AlgFPLieElt ] -> AlgLie, SeqEnum, SeqEnum, Map
- LieAlgebraHomorphism(phi,k) : Map, Rng -> AlgLie
- LieAlgebraOfDerivations(L) : AlgLie -> AlgLie, Rec
- LocalPolynomialRing(K, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPolLoc
- MatrixAlgebra(A) : AlgAss -> AlgMat
- MatrixAlgebra(A) : AlgFP -> AlgMat, Map
- MatrixAlgebra(A, E) : AlgMat, FldFin -> AlgMat, Map
- MatrixAlgebra(F, E) : FldFin, FldFin -> AlgMat, Map
- MatrixAlgebra(H) : HomModAbVar -> AlgMat
- MatrixAlgebra(A, M : parameters) : AlgAss, AlgAss -> AlgMat, Map
- MatrixAlgebra(R, n) : Rng, RngInt -> AlgMat
- MatrixAlgebra(S, n) : Rng, RngIntElt -> AlgMat
- MatrixAlgebra<S, n | L> : Rng, RngIntElt, List -> AlgMat
- MatrixAlgebra(Q) : RngMPolRes -> AlgMat, Map
- MatrixLieAlgebra(A) : AlgMat -> AlgMatLie
- MatrixLieAlgebra(C, k) : AlgMatElt, Rng -> AlgLie
- MatrixLieAlgebra(T, k) : MonStgElt, Rng -> AlgLie
- MatrixLieAlgebra(R, n) : Rng, RngIntElt -> AlgMatLie
- MatrixLieAlgebra(R, k) : RootSys -> GrpMat
- MatrixRing(A, eps) : AlgQuat, AlgQuatElt -> AlgMat, Map
- MelikianLieAlgebra(F, n1, n2) : Fld, RngIntElt, RngIntElt -> AlgLie, Map
- MinimalAlgebraGenerators(L) : [ RngMPol ] -> [ RngMPol ]
- MinimalAlgebraGenerators(L) : [ RngMPol ] -> [ RngMPol ]
- MinimalGeneratorFormAlgebra(A) : AlgBas -> AlgBas
- NaturalFreeAlgebraCover(A) : AlgMat -> Map
- NaturalFreeAlgebraCover(A) : AlgMat -> Map
- NilpotentLieAlgebra( F, r, k : parameters) : Fld, RngIntElt, RngIntElt -> AlgLie
- OctonionAlgebra(K, a, b, c) : Fld, FldElt, FldElt, FldElt -> AlgGen
- OppositeAlgebra(B) : AlgBas -> AlgBas
- Parent(x) : AlgEtQElt -> AlgEtQ
- PolynomialAlgebra(R) : Rng -> RngUPol
- PolynomialRing(R, n) : Rng, RngIntElt -> RngMPol
- PolynomialRing(R, n) : Rng, RngIntElt -> RngMPol
- PolynomialRing(R, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPol
- PolynomialRing(R, n, order) : Rng, RngIntElt, MonStgElt, ... -> RngMPol
- PolynomialRing(R, n, T) : Rng, RngIntElt, Tup -> RngMPol
- PolynomialRing(R, Q) : Rng, [ RngIntElt ] -> RngMPol
- PrimaryAlgebra(R) : RngInvar -> RngMPol
- QuantizedUEA(R) : RootDtm -> AlgQUE
- QuaternionAlgebra(C) : CrvCon-> AlgQuat
- QuaternionAlgebra(G) : GrpPSL2 -> AlgQuat
- QuaternionAlgebra< K | a, b > : Rng, RngElt, RngElt -> AlgQuat
- QuaternionAlgebra< K | a, b > : Rng, RngElt, RngElt -> AlgQuat
- QuaternionAlgebra(N) : RngIntElt -> AlgQuat
- QuaternionAlgebra(D1, D2, T) : RngIntElt, RngIntElt, RngIntElt -> AlgQuat
- QuaternionAlgebra(I) : RngOrdIdl -> AlgQuat
- QuaternionAlgebra(I, S) : RngOrdIdl, [PlcNumElt] -> AlgQuat
- QuaternionAlgebra(N) : RngUPolElt -> AlgQuat
- QuaternionAlgebra(S) : [PlcNumElt] -> AlgQuat
- RecogniseStarAlgebra(A) : AlgMat -> BoolElt
- SelfAdjointAlgebra(t, a, b) : TenSpcElt, RngIntElt, RngIntElt -> ModMatFld
- SimpleStarAlgebra(name, d, K) : MonStgElt, RngIntElt, FldFin -> AlgMat
- SolvableLieAlgebra( F, n, k : parameters) : Fld, RngIntElt, RngIntElt -> AlgLie
- SpecialLieAlgebra(F, m, n) : Fld, RngIntElt, SeqEnum[RngIntElt] -> AlgLie, AlgLie, Map, Map
- SplitOctonionAlgebra(K) : Fld -> AlgGen
- StarOnGroupAlgebra(A) : AlgGrp -> Map
- SymmetricFunctionAlgebra(R) : Rng -> AlgSym
- SymmetricFunctionAlgebraElementary(R) : Rng -> AlgSym
- SymmetricFunctionAlgebraHomogeneous(R) : Rng -> AlgSym
- SymmetricFunctionAlgebraMonomial(R) : Rng -> AlgSym
- SymmetricFunctionAlgebraPower(R) : Rng -> AlgSym
- SymmetricFunctionAlgebraSchur(R) : Rng -> AlgSym
- TotallyRealSubAlgebra(K) : AlgEtQ -> AlgEtQ,Map
- TruncatedAlgebra(A, n) : AlgBas, RngIntElt -> AlgBas, ModMatFldElt
- TwistedLieAlgebra(R, k) : RootDtm, Rng -> AlgLie
- UniversalEnvelopingAlgebra(L) : AlgLie -> AlgUE
- WittLieAlgebra(F, m, n) : Fld, RngIntElt, SeqEnum[RngIntElt] -> AlgLie, Map
V2.29, 21 October 2025