next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SpaceCurves :: ideal(Curve)

ideal(Curve) -- extracts the ideal of a Curve

Synopsis

Description

Extracts the key Ideal of a Curve.
i1 : C = curve(5,2);
i2 : ideal C

                          2            2        3       2                 
o2 = ideal (x x  - x x , x x  - 1835x x  - 9264x  - 400x x  + 9657x x x  -
             1 2    0 3   0 1        0 1        1       0 3        0 1 3  
     ------------------------------------------------------------------------
           2                        2             2       2           2  
     13435x x  - 3772x x x  - 10219x x  + 13402x x  + 4x x  - 10014x x  +
           1 3        0 2 3         2 3         0 3     1 3         2 3  
     ------------------------------------------------------------------------
          3   3           2        3       2            2         3  
     5772x , x  + 15829x x  - 5847x  - 400x x  - 3772x x  - 10219x  +
          3   0         0 1        1       0 2        0 2         2  
     ------------------------------------------------------------------------
           2                        2                       2             2  
     11726x x  + 9501x x x  - 10915x x  + 4430x x x  - 8121x x  + 14370x x  +
           0 3        0 1 3         1 3        0 2 3        2 3         0 3  
     ------------------------------------------------------------------------
            2         2        3
     7340x x  - 196x x  - 1373x )
          1 3       2 3        3

                ZZ
o2 : Ideal of -----[x ..x ]
              32003  0   3