expectTriangleRing -- accepts certain rings of the form R[d,e,f]/(d^2, e^3)

Synopsis

Usage:

expectTriangleRing Q
Inputs:
- Q, a ring
Consequences:
- causes an error if Q is not of the form R[d,e,f]/(d^2, e^3) with $deg(d) = deg(e^2f)$

Description

Specifically, Q should have exactly three generators over its coefficient ring, with $d^2 = e^3 = 0$. The degree of $d$ must equal the degree of $e^2f$.

i1 : Q = triangleRing(QQ, d, e, f)

o1 = Q

o1 : QuotientRing

i2 : expectTriangleRing Q

Ways to use `expectTriangleRing`:

expectTriangleRing(Ring)

For the programmer

The object expectTriangleRing is a method function.

expectTriangleRing -- accepts certain rings of the form R[d,e,f]/(d^2, e^3)

Synopsis

Description

See also

Ways to use expectTriangleRing:

For the programmer

Ways to use `expectTriangleRing`: