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.
Returns whether the module element a is zero.
The module element a expressed as a sequence.