Symmetric Functions#
- Introduction
- Creation
- Creation of Symmetric Function Algebras
SymmetricFunctionAlgebra(R): Rng → AlgSymSFA(R): Rng → AlgSymSymmetricFunctionAlgebraSchur(R): Rng → AlgSymSFASchur(R): Rng → AlgSymSymmetricFunctionAlgebraHomogeneous(R): Rng → AlgSymSFAHomogeneous(R): Rng → AlgSymSymmetricFunctionAlgebraPower(R): Rng → AlgSymSFAPower(R): Rng → AlgSymSymmetricFunctionAlgebraElementary(R): Rng → AlgSymSFAElementary(R): Rng → AlgSymSymmetricFunctionAlgebraMonomial(R): Rng → AlgSymSFAMonomial(R): Rng → AlgSymExample: creation
- Creation of Symmetric Functions
A . P: AlgSym, [ RngIntElt ] → AlgSymEltA . i: AlgSym, RngIntElt → AlgSymEltExample: Elt CreateA ! f: AlgSym, RngMPolElt → AlgSymEltExample: poly bangExample: Poly Bang 2A ! r: AlgSym, RngElt → AlgSymEltExample: Elt Create ScalarA ! m: AlgSym, AlgSymElt → AlgSymEltExample: Elt Create Change BasisExample: Change Basis 2
- Creation of Symmetric Function Algebras
- Structure Operations
- Related Structures
- Ring Predicates and Booleans
IsCommutative(L): AlgSym → BoolEltIsUnitary(L): AlgSym → BoolEltIsFinite(L): AlgSym → BoolEltIsOrdered(L): AlgSym → BoolEltIsField(L): AlgSym → BoolEltIsEuclideanDomain(L): AlgSym → BoolEltIsPID(L): AlgSym → BoolEltIsUFD(L): AlgSym → BoolEltIsDivisionRing(L): AlgSym → BoolEltIsEuclideanRing(L): AlgSym → BoolEltIsDomain(L): AlgSym → BoolEltIsPrincipalIdealRing(L): AlgSym → BoolEltL eq M: AlgSym, AlgSym → BoolEltL ne M: AlgSym, AlgSym → BoolElt
- Predicates on Basis Types
- Element Operations
- Transition Matrices