An element of the group representation V whose underlying vector is m.
CombinatorialFreeModuleElement(M, v) : CombFreeMod, ModEDElt -> CombFreeModElt
CombinatorialFreeModuleElement(M, v) : CombFreeMod, ModTupFldElt[Fld] -> CombFreeModElt
An element of M whose underlying vector is v.
Parent(v) : CombFreeModElt -> CombFreeMod
The parent of v.
The matrix describing the action of g on V.
v + w : CombFreeModElt, CombFreeModElt -> CombFreeModElt
Given v, w ∈V, return v + w ∈V.
v - w : CombFreeModElt, CombFreeModElt -> CombFreeModElt
Given v, w ∈V, return v - w ∈V.
a * v : RngElt, CombFreeModElt -> CombFreeModElt
Given a ∈R and v ∈V, return av ∈V.
Given g ∈G and v ∈V, returns g(v) = g .v.
Given v ∈V simeq Rn and m ∈Mn(R) simeq End(V),
return m(v) ∈V.
Given v, w ∈bigwedge M, return v ^ w.
Returns true if the elements v and w of a representation V are equal; otherwise false.
v in V : CombFreeModElt, CombFreeMod -> BoolElt
Returns true if v is in the representation V; otherwise false.
Eltseq(v) : CombFreeModElt -> []
Given an element v of a representation V, returns
a sequence represeting v.
Given an element v ∈M, where M is a combinatorial R-module,
return v tensor 1 ∈M tensor R S.
V2.29, 21 October 2025