Creation of Modules
Module(O, n) : RngOrd, RngIntElt -> ModDed
Module(O) : RngOrd -> ModDed, Map
Module(I) : RngOrdFracIdl -> ModDed, Map
Module(S) : SeqEnum[Tup] -> ModDed, Map
Module(S) : SeqEnum[RngOrdFracIdl] -> ModDed
Module(S) : SeqEnum[ModElt] -> ModDed, Map
Example ModDed_create (H55E1)
sub<M | m> : ModDed, SeqEnum[ModDedElt] -> ModDed, Map
quo<M | S> : ModDed, ModDed -> ModDed, Map
Example ModDed_sub-quo (H55E2)
Elementary Functions
BaseRing(M) : ModDed -> Rng
Degree(M) : ModDed -> RngIntElt
Ngens(M) : ModDed -> RngIntElt
M . i : ModDed, RngIntElt -> ModTupRngElt
Determinant(M) : ModDed -> RngOrdIdl
Dimension(M) : ModDed -> RngIntElt
Contents(M) : ModDed -> RngOrdFracIdl
Simplify(M) : ModDed -> ModDed
EmbeddingSpace(M) : ModDed -> Mod
Example ModDed_elementary (H55E3)
Predicates on Modules
M eq N : ModDed, ModDed -> BoolElt
x in M : Any, ModDed -> BoolElt
M subset N : ModDed, ModDed -> BoolElt
Arithmetic with Modules
I * M : RngOrdIdl, ModDed -> ModDed
M1 + M2 : ModDed, ModDed -> ModDed
u * I : ModDedElt, RngOrdIdl -> ModDed
Example ModDed_ops_arith (H55E4)
Basis of a Module
Basis(M) : ModDed -> SeqEnum
PseudoBasis(M) : ModDed -> SeqEnum
PSeudoGenerators(M): ModDed -> SeqEnum
Other Functions on Modules
M1 meet M2 : ModDed, ModDed -> ModDed
Dual(M) : ModDed -> ModDed
ElementaryDivisors(M, N) : ModDed, ModDed -> SeqEnum
SteinitzClass(M) : ModDed -> RngOrdIdl
SteinitzForm(M) : ModDed -> ModDed
Example ModDed_basis-other (H55E5)
Homomorphisms between Modules
hom<M -> N | T> : ModDed, ModDed, Map -> Map
Hom(M, N) : ModDed, ModDed -> ModDed, Map
IsSubmodule(M, N) : ModDed, ModDed -> BoolElt, Map
Morphism(M, N) : ModDed, ModDed -> Map
Example ModDed_hom (H55E6)
Creation of Elements
M ! v : ModDed, SeqEnum -> ModDedElt
Example ModDed_coerce-quo (H55E7)
Arithmetic with Elements
x + y : ModDedElt, ModDedElt -> ModDedElt
x - y : ModDedElt, ModDedElt -> ModDedElt
u * c : ModDedElt, RngElt -> ModDedElt
u / c : ModDedElt, RngElt -> ModDedElt
I * u : RngOrdIdl, ModDedElt -> ModDed
Other Functions on Elements
x eq y : ModDedElt, ModDedElt -> Bool
ElementToSequence(a) : ModDedElt -> SeqEnum
Construction of a Pseudo Matrix
PseudoMatrix(I, m) : [RngOrdFracIdl], MtrxSpcElt -> PMat
PseudoMatrix(m) : Mtrx -> PMat
PseudoMatrix(M) : ModDed -> PMat
Elementary Functions
CoefficientIdeals(P): PMat -> SeqEnum
Matrix(P) : PMat -> Mtrx
Order(pm) : PMat -> Rng
Dimension(pm) : PMat -> RngIntElt
Length(pm) : PMat -> RngIntElt
Basis of a Pseudo Matrix
Basis(P) : PMat -> SeqEnum
Predicates
p1 eq p2 : PMat, PMat -> BoolElt
Operations with Pseudo Matrices
Transpose(P) : PMat -> PMat
HermiteForm(X) : PMat -> PMat, AlgMatElt
VerticalJoin(X, Y) : PMat, PMat -> PMat
X meet Y : PMat, PMat -> PMat
Module(X) : PMat -> ModDed
I * X : RngOrdFracIdl, PMat -> PMat
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Wed Apr 24 15:09:57 EST 2013