i1 : D = denseDiscriminant(2,2);
o1 : SparseDiscriminant (sparse discriminant associated to | 0 0 0 1 1 2 |)
| 0 1 2 0 1 0 |
|
i2 : M = exponents D
o2 = | 0 0 0 1 1 2 |
| 0 1 2 0 1 0 |
2 6
o2 : Matrix ZZ <--- ZZ
|
i3 : assert(D === sparseDiscriminant M) |