Top
Back: std (letterplace)
Forward: twostd (letterplace)
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.8.8 syz (letterplace)

Syntax:
syz ( ideal_expression )
syz ( module_expression )
Type:
module
Purpose:
computes the first syzygy (i.e., the module of relations of the given generators) bimodile of the ideal, resp. module.
If option(returnSB) is set, a Groebner basis is returned, otherwise a generating set.
Example:
 
  LIB "freegb.lib";
  ring r = 0,(x,y),(c,Dp);
  ring R = freeAlgebra(r, 7, 2);
  ideal I = twostd(x*y*x + 1);
  I;
==> I[1]=x*y-y*x
==> I[2]=y*x*x+1
  module S = syz(I);
  print(S);
==> ncgen(1)*x*x,          y*x*ncgen(1)+y*ncgen(1)*x,
==> -x*ncgen(2)+ncgen(2)*x,y*ncgen(2)-ncgen(2)*y     
  testSyz(I,S);
==> _[1]=0
==> _[2]=0
See ideal; lift (letterplace); liftstd (letterplace); module; option.


Top Back: std (letterplace) Forward: twostd (letterplace) FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-1-3, 2020, generated by texi2html.