CoCoA:E

E_

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>