CoCoA:Module

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Module

convert an expression into a module

Description

The first function returns the module generated by the vectors

V_1,...,V_n. The second function returns the module generated by the

(elements cast-able to) vectors in L. The third function returns the module generated by the generators of I. This is the same as the function Cast(E,MODULE).

Example

  Use R ::= Q[x,y,z];
  M := Module([x^2-y^3,x^3-yz],[x^3,z^2]);
  M;
Module([-y^3 + x^2, x^3 - yz], [x^3, z^2])
-------------------------------
  L := [[-y^3 + x^2, x^3 - yz], [x^3, z^2]];
  Module(L) = M;
TRUE
-------------------------------
  I := Ideal(x,y^2,z^3);
  Module(I);
Module([x], [y^2], [z^3])
-------------------------------

Syntax

Module(V_1:VECTOR,...,V_n:VECTOR):MODULE
Module(L:LIST):MODULE
Module(I:IDEAL):MODULE

where L is a list of elements cast-able to vectors.

Cast

   <type>module</type>