These default degrees are chosen to meet the conditions of expectTriangleRing. Other degrees are possible using the optional argument Degrees or by building the triangle ring by hand directly.
i1 : Q = triangleRing(QQ,d,e,f) o1 = Q o1 : QuotientRing |
i2 : describe Q QQ[d, e, f] o2 = ----------- 2 3 (d , e ) |
i3 : expectTriangleRing Q |
The object triangleRing is a method function with options.