-- -*- M2-comint -*- hash: 1347615631235785739

i1 : w = random logarithmicForm(2,{1,1},"a",Projective => true)

o1 = (35x  + 21x )dx  + (- 35x  + 7x )dx  + (- 21x  - 7x )dx
         1      2   0         0     2   1         0     1   2

o1 : DiffAlgForm

i2 : I = singularIdeal w

o2 = ideal (35x  + 21x , - 35x  + 7x , - 21x  - 7x )
               1      2       0     2       0     1

               QQ[i]
o2 : Ideal of ------[][x ..x ]
               2        0   2
              i  + 1

i3 : S = QQ[gens ring I]

o3 = S

o3 : PolynomialRing

i4 : hilbertPolynomial (sub(I,S))

o4 = P
      0

o4 : ProjectiveHilbertPolynomial

i5 : 
