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

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