Top
Back: resolution
Forward: resolution expressions
FastBack: qring
FastForward: ring
Up: resolution
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

2.6.1 resolution declarations

Syntax:
resolution name = resolution_expression ;

Purpose:
defines a resolution.

Default:
none

Example:
 
ring r=0,(x,y,z),dp;
matrix D[3][3];
D[1,2]=z;
ncalgebra(1,D); // it is Heisenberg algebra
ideal i=z2+z,x+y;
resolution re=nres(i,0);
re;
==>  1      2      1      
==> r <--  r <--  r
==> 
==> 0      1      2      
==> resolution not minimized yet
==> 
list l = re;
l;
==> [1]:
==>    _[1]=z2+z
==>    _[2]=x+y
==> [2]:
==>    _[1]=z2*gen(2)-x*gen(1)-y*gen(1)+z*gen(2)
==> [3]:
==>    _[1]=0


Top Back: resolution Forward: resolution expressions FastBack: qring FastForward: ring Up: resolution Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.