i1 : R = denseResultant(2,2,1);
o1 : SparseResultant (sparse mixed resultant associated to {| 0 0 0 1 1 2 |, | 0 0 0 1 1 2 |, | 0 0 1 |})
| 0 1 2 0 1 0 | | 0 1 2 0 1 0 | | 0 1 0 |
|
i2 : M = exponents R
o2 = {| 0 0 0 1 1 2 |, | 0 0 0 1 1 2 |, | 0 0 1 |}
| 0 1 2 0 1 0 | | 0 1 2 0 1 0 | | 0 1 0 |
o2 : List
|
i3 : assert(R === sparseResultant M) |