CoCoA:E

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)

E<underscore/>

canonical vector

Description

If N is an integer, this function returns the K-th canonical vector

of the free module of rank N over the current ring. If N is a module,

it returns the K-th canonical vector of N.

Example

  Use R ::= Q[x,y];
  E_(4,7);
Vector(0, 0, 0, 1, 0, 0, 0)
-------------------------------
  M := Module([x^2,0,y^2],[x^3,x+y,y^3]);
  E_(2,M);
Vector(0, 1, 0)
-------------------------------

Syntax

E_(K:INT,N:INT or MODULE):VECTOR
   <type>vector</type>
   <type>module</type>