hilbPol(d,n,B,K)
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]