Macaulay2 » Documentation
Packages » SpaceCurves :: ideal(Curve)
next | previous | forward | backward | up | index | toc

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

Description

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

             2                    2                              2  
o2 = ideal (x  + 7347x x  - 13880x  - 2205x x  + 177x x  + 12251x  +
             0        0 1         1        0 2       1 2         2  
     ------------------------------------------------------------------------
                                             2                2            2
     12078x x  - 13493x x  + 3125x x  + 3962x , x x x  - 6694x x  - 2401x x 
           0 3         1 3        2 3        3   0 1 2        1 2        1 2
     ------------------------------------------------------------------------
                         2                                    2             2
     + 7347x x x  + 2511x x  - 2205x x x  - 13638x x x  + 275x x  + 14345x x 
            0 1 3        1 3        0 2 3         1 2 3       2 3         0 3
     ------------------------------------------------------------------------
              2          2        3     2        3         2            2  
     - 4745x x  + 4807x x  + 7331x , x x  - 9264x  + 11579x x  - 3871x x  +
            1 3        2 3        3   0 1        1         1 2        1 2  
     ------------------------------------------------------------------------
                        2                                     2            2
     14937x x x  + 4911x x  + 6441x x x  - 12467x x x  + 5073x x  + 7864x x 
           0 1 3        1 3        0 2 3         1 2 3        2 3        0 3
     ------------------------------------------------------------------------
              2           2        3   3           2 2           3  
     + 4225x x  - 14108x x  + 1574x , x x  - 15073x x  + 15480x x  +
            1 3         2 3        3   1 2         1 2         1 2  
     ------------------------------------------------------------------------
           3           2               2           2           3    
     15987x x  - 11386x x x  - 15481x x x  + 548x x x  - 12193x x  -
           1 3         1 2 3         0 2 3       1 2 3         2 3  
     ------------------------------------------------------------------------
              2        2 2            2             2         2 2          3
     9132x x x  - 8500x x  + 6687x x x  + 10735x x x  + 13251x x  - 1440x x 
          0 1 3        1 3        0 2 3         1 2 3         2 3        0 3
     ------------------------------------------------------------------------
               3           3         4
     - 11124x x  - 12184x x  - 11115x )
             1 3         2 3         3

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

Ways to use this method:


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SpaceCurves.m2:1191:0.