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) |