- Introduction
- Background
- Basic Operations
- Element Operations
- Euclidean Algorithm
- Intrinsics
- WeierstrassPreparation (f) : SnuElement -> SnuElement, SnuElement
- Quotrem (A, B) : SnuElement, SnuElement -> SnuElement, SnuElement
- Quotrem (A, B) : SpElement, SpElement -> SpElement, SpElement
- Quotrem (A, B) : SuElement, SuElement -> SuElement, SuElement
- ExtendedGcd (A, B) : SnuElement, SnuElement -> SnuElement, SnuElement, SnuElement, SnuElement, SnuElement, SnuElement
- ExtendedGcd (A, B) : SpElement, SpElement -> SpElement, SpElement, SpElement, SpElement, SpElement, SpElement
- ExtendedGcd (A, B) : SuElement, SuElement -> SuElement, SuElement, SuElement, SuElement, SuElement, SuElement
- CanonicalElement (S, v) : SuRng, FldRatElt -> SuElement
- Example RngSlope_euclidean-basics (H56E2)
- Matrices and Modules
- Matrices
- SpMatrixSpace (S, r, c) : SpRng, RngIntElt, RngIntElt -> SpMatRng
- IdentityMatrix (S, n) : SpRng, RngIntElt -> SpMat
- SpMatrix (A) : SeqEnum -> SpMat
- GaussValuations (M) : SpMat -> SeqEnum
- WeierstrassDegrees (M) : SpMat -> SeqEnum
- LeadingTerms (M) : SpMat -> Mtrx
- WeierstrassTerms (M) : SpMat -> Mtrx
- IsWeaklyZero (M) : SpMat -> BoolElt
- EchelonForm (M) : SpMat -> SpMat, SpMat
- HermiteForm (M) : SpMat -> SpMat, SpMat
- SmithForm (M) : SpMat -> SpMat, SpMat, SpMat
- Kernel (M) : SpMat -> SpSpc
- Example RngSlope_sp-matrices (H56E3)
- Example RngSlope_su-matrices (H56E4)
- Modules
- SpSpace (R, n) : SpRng, RngIntElt -> SpSpc
- SpSpace (M) : SpMat -> SpSpc
- SpSpace (v) : SeqEnum -> SpSpc
- Ambient (S) : SpSpc -> SpSpc
- Parent (v) : SpVec -> SpSpc
- ZeroVector (S) : SpSpc -> SpVec
- SpVector (e) : SeqEnum -> SpVec
- Basis (S) : SpSpc -> SeqEnum
- BasisMatrix (S) : SpSpc -> SpMat
- Dimension (S) : SpSpc -> RngIntElt
- LeadingTerms (v) : SpVec -> ModTupRngElt
- WeierstrassTerms (v) : SpVec -> ModTupRngElt
- GaussValuations (v) : SpVec -> SeqEnum
- WeierstrassDegrees (v) : SpVec -> SeqEnum
- IsWeaklyZero (v) : SpVec -> BoolElt
- M1 + M2 : SpSpc, SpSpc -> SpSpc
- S * M : SpSpc, SpMat -> SpSpc
- IsConsistent (M, v) : SpMat, SpVec -> BoolElt, SpVec
- IsSubspace (A, B) : SpSpc, SpSpc -> BoolElt, SpMat
- Example RngSlope_sp-mod-basics (H56E5)
- Example RngSlope_sp-kernel (H56E6)
- Example RngSlope_su-module (H56E7)
- Bibliography
V2.28, 13 July 2023