Home Online Manual
Top
Back: poly_lib
Forward: elemSymmId
FastBack: inout_lib
FastForward: random_lib
Up: poly_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.6.1 cyclic

Procedure from library poly.lib (see poly_lib).

Usage:
cyclic(n); n integer

Return:
ideal of cyclic n-roots from 1-st n variables of basering

Example:
 
LIB "poly.lib";
ring r=0,(u,v,w,x,y,z),lp;
cyclic(nvars(basering));
==> _[1]=u+v+w+x+y+z
==> _[2]=uv+uz+vw+wx+xy+yz
==> _[3]=uvw+uvz+uyz+vwx+wxy+xyz
==> _[4]=uvwx+uvwz+uvyz+uxyz+vwxy+wxyz
==> _[5]=uvwxy+uvwxz+uvwyz+uvxyz+uwxyz+vwxyz
==> _[6]=uvwxyz-1
homog(cyclic(5),z);
==> _[1]=u+v+w+x+y
==> _[2]=uv+uy+vw+wx+xy
==> _[3]=uvw+uvy+uxy+vwx+wxy
==> _[4]=uvwx+uvwy+uvxy+uwxy+vwxy
==> _[5]=uvwxy-z5