next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
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                             2           
o2 = ideal (x  - 10958x x  + 14271x  + 8984x x  + 5063x x  + 853x  + 2464x x 
             0         0 1         1        0 2        1 2       2        0 3
     ------------------------------------------------------------------------
                                    2                2            2  
     - 15235x x  - 9589x x  + 15387x , x x x  - 6694x x  - 2401x x  -
             1 3        2 3         3   0 1 2        1 2        1 2  
     ------------------------------------------------------------------------
                        2                                     2            2
     10958x x x  - 1341x x  + 8984x x x  - 8752x x x  - 11123x x  + 4731x x 
           0 1 3        1 3        0 2 3        1 2 3         2 3        0 3
     ------------------------------------------------------------------------
              2          2         3     2        3         2           2  
     - 6487x x  - 7907x x  - 13247x , x x  + 4434x  + 15964x x  + 382x x  -
            1 3        2 3         3   0 1        1         1 2       1 2  
     ------------------------------------------------------------------------
                        2                                      2            2
     10262x x x  - 5789x x  + 2188x x x  - 10550x x x  - 12390x x  + 8214x x 
           0 1 3        1 3        0 2 3         1 2 3         2 3        0 3
     ------------------------------------------------------------------------
              2          2         3   3          2 2          3        3    
     + 4108x x  - 2743x x  - 12579x , x x  + 4721x x  + 8691x x  - 5111x x  +
            1 3        2 3         3   1 2        1 2        1 2        1 3  
     ------------------------------------------------------------------------
          2               2            2          3               2  
     6555x x x  + 10572x x x  + 3613x x x  - 8439x x  - 11076x x x  +
          1 2 3         0 2 3        1 2 3        2 3         0 1 3  
     ------------------------------------------------------------------------
           2 2             2            2        2 2          3          3  
     14595x x  - 10112x x x  - 5877x x x  - 1426x x  - 6469x x  - 4010x x  -
           1 3         0 2 3        1 2 3        2 3        0 3        1 3  
     ------------------------------------------------------------------------
             3         4
     12882x x  - 13722x )
           2 3         3

                ZZ
o2 : Ideal of -----[x , x , x , x ]
              32003  0   1   2   3