Coerce v into an element of M. v can be a sequence of length dimension of M, a module element or vector or an element of another module over a dedekind domain which is compatible with M.
> m := 4*Mod.1; > m; (4/1*M.1 0) > Q1!m; ( 4/1*M.1 0 ) > Q2!m; ( 4/1*M.1 0 ) > m := Mod!m; > Q3!m; ( 4/1*M.1 0 ) > Q4!m; ( 4/1*M.1 0 )
> S1!m; >> S1!m; ^ Runtime error in `!': Illegal coercion LHS: ModDed RHS: ModDedElt > S1!Mod!V!0; ( ) > S2!Mod!Mod.2; ( M.1 ) > S3!Mod!(4*Mod.1); ( 4/1*M.1 0 )
Basic arithmetic can be performed with elements of a module over a dedekind domain.
The sum of the module elements.
The difference of the module elements.
The product of the module element u and the ring element c.
The product of u and 1/c if it lies in the parent module of u.
The module containing elements which are products of u and an element lying in I.
Elements of modules over a dedekind domain can be tested for equality and represented as a sequence.
Return true if x and y are the same element of a module.
The module element a expressed as a sequence.[Next][Prev] [Right] [Left] [Up] [Index] [Root]