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