Home Online Manual
Top
Back: SSsyz
Forward: tasks_lib
FastBack:
FastForward:
Up: schreyer_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.12.7 SScontinue

Procedure from library schreyer.lib (see schreyer_lib).

Usage:
SScontinue(l)

Return:
nothing, instead it changes RES and MRES variables in the current ring

Purpose:
computes further (at most l) syzygies

Note:
must be used within a ring returned by Sres or Ssyz. RES and MRES are explained in Sres

Example:
 
LIB "schreyer.lib";
ring r;
module M = maxideal(1); M;
==> M[1]=x*gen(1)
==> M[2]=y*gen(1)
==> M[3]=z*gen(1)
def S = SSsyz(M); setring S; S;
==> //   characteristic : 32003
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z
==> //        block   2 : ordering C
"Only the first syzygy: ";
==> Only the first syzygy: 
RES; MRES;
==> [1]:
==>    _[1]=0
==> [2]:
==>    _[1]=x*gen(1)
==>    _[2]=y*gen(1)
==>    _[3]=z*gen(1)
==> [3]:
==>    _[1]=x*gen(3)-y*gen(2)
==>    _[2]=x*gen(4)-z*gen(2)
==>    _[3]=y*gen(4)-z*gen(3)
==> MRES[1]=0
==> MRES[2]=x*gen(1)
==> MRES[3]=y*gen(1)
==> MRES[4]=z*gen(1)
==> MRES[5]=x*gen(3)-y*gen(2)
==> MRES[6]=x*gen(4)-z*gen(2)
==> MRES[7]=y*gen(4)-z*gen(3)
"More syzygies: ";
==> More syzygies: 
SScontinue(10);
RES; MRES;
==> [1]:
==>    _[1]=0
==> [2]:
==>    _[1]=x*gen(1)
==>    _[2]=y*gen(1)
==>    _[3]=z*gen(1)
==> [3]:
==>    _[1]=x*gen(3)-y*gen(2)
==>    _[2]=x*gen(4)-z*gen(2)
==>    _[3]=y*gen(4)-z*gen(3)
==> [4]:
==>    _[1]=x*gen(7)-y*gen(6)+z*gen(5)
==> [5]:
==>    _[1]=0
==> MRES[1]=0
==> MRES[2]=x*gen(1)
==> MRES[3]=y*gen(1)
==> MRES[4]=z*gen(1)
==> MRES[5]=x*gen(3)-y*gen(2)
==> MRES[6]=x*gen(4)-z*gen(2)
==> MRES[7]=y*gen(4)-z*gen(3)
==> MRES[8]=x*gen(7)-y*gen(6)+z*gen(5)
==> MRES[9]=0