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.