i1 : QQ[d] o1 = QQ[d] o1 : PolynomialRing |
i2 : T = triplet({1,2,3}, {1,3}, {0,2,3})
o2 = {{1, 2, 3}, {1, 3}, {0, 2, 3}}
o2 : Triplet
|
i3 : hilbPol(d,3,{1,2,3},hilbCoeff(T))
1 3 1 2 2
o3 = - -d - -d + -d
6 2 3
o3 : QQ[d]
|