next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Dmodules :: AnnFs(List)

AnnFs(List) -- the annihilating ideal of f_1^{s_1}...f_r^{s_r}

Synopsis

Description

i1 : W = makeWA ( QQ[x_1..x_3] ) 

o1 = W

o1 : PolynomialRing, 3 differential variables
i2 : AnnFs {x_2^2-x_1*x_3, x_1^3-x_3^2}

               2                 3    2         2
o2 = ideal (- x  + x x  + t , - x  + x  + t , 3x dt  - x dt  + dx , 2x dt  +
               2    1 3    0     1    3    1    1  1    3  0     1    2  0  
     ------------------------------------------------------------------------
     dx , - x dt  - 2x dt  + dx )
       2     1  0     3  1     3

o2 : Ideal of QQ[x ..x , t ..t , dx ..dx , dt ..dt ]
                  1   3   0   1    1    3    0    1

See also