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
|