Macaulay2 » Documentation
Packages » CoincidentRootLoci :: apolar(RingElement)
next | previous | forward | backward | up | index | toc

apolar(RingElement) -- the apolar ideal

Synopsis

Description

i1 : F = randomBinaryForm 7

        7     6       5 2     4 3     3 4     2 5       6     7
o1 = 18t  + 2t t  + 9t t  + 2t t  + 4t t  + 3t t  + 6t t  + 3t
        0     0 1     0 1     0 1     0 1     0 1     0 1     1

o1 : QQ[t ..t ]
         0   1
i2 : apolar F

                  4          3             2 2             3          4 
o2 = ideal (75621t  + 740842t t  - 3587636t t  - 2099787t t  + 741116t ,
                  0          0 1           0 1           0 1          1 
     ------------------------------------------------------------------------
          3 2        2 3          4        5
     1355t t  - 5785t t  - 3840t t  + 1321t )
          0 1        0 1        0 1        1

o2 : Ideal of QQ[t ..t ]
                  0   1

See also

Ways to use this method: