expectChainRing -- accepts rings of the form R[d]/d^2

Synopsis

Usage:

expectChainRing Q
Inputs:
- Q, a ring
Consequences:
- causes an error if Q is not of the form R[d]/d^2

Description

Specifically, Q should have exactly one generator over its coefficient ring, and that generator should square to zero. There is no restriction on the degree of the generator.

i1 : Q = QQ[d]/d^2;

i2 : expectChainRing Q

Ways to use `expectChainRing`:

expectChainRing(Ring)

For the programmer

The object expectChainRing is a method function.

expectChainRing -- accepts rings of the form R[d]/d^2

Synopsis

Description

Ways to use expectChainRing:

For the programmer

Ways to use `expectChainRing`: