next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
InvolutiveBases :: invSyzygies

invSyzygies -- compute involutive basis of syzygies

Synopsis

Description

i1 : R = QQ[x,y,z];
i2 : I = ideal(x,y,z);

o2 : Ideal of R
i3 : J = janetBasis I

     +-+---------+
o3 = |z|{z}      |
     +-+---------+
     |y|{z, y}   |
     +-+---------+
     |x|{z, y, x}|
     +-+---------+

o3 : InvolutiveBasis
i4 : invSyzygies J

     +------+---------+
o4 = ||  x ||{z, y, x}|
     ||  0 ||         |
     || -z ||         |
     +------+---------+
     ||  y ||{z, y}   |
     || -z ||         |
     ||  0 ||         |
     +------+---------+
     ||  0 ||{z, y, x}|
     ||  x ||         |
     || -y ||         |
     +------+---------+

o4 : InvolutiveBasis

Caveat

cannot be iterated because schreyerOrder is not used; call janetResolution instead

See also

Ways to use invSyzygies :