basis Ring -- basis of a ring

basis Ring -- basis of a ring

Synopsis:

Usage: f = basis R

Function: basis

Input:

R, an instance of class Ring: a ring

Output:

f, an instance of class Matrix: a map from a free module to R which sends the basis elements to a basis, over the ground field, of R.

i1 : R = QQ[x,y]/(x^3,y^2);

i2 : basis R



o2 = | 1 x x2 x2y xy y |



             1       6

o2 : Matrix R  <--- R

Code:

     -- ../../../Macaulay2/m2/modules2.m2:659
     basis Ring := Matrix => R -> if R.?basis then R.basis else R.basis = basis(R^1)