Ring Info

Classes
class	QRingInfo
	Bookkeeping helper holding the defining ideal of a polynomial-ring quotient R / I in the two representations the engine reduces against. More...
class	QRingInfo_field
	QRingInfo partial specialisation that adds the field-coefficient reduction tables: a MonomialIdeal for divisibility queries and a MonomialTable indexed by quotient_ideal slot. More...
class	QRingInfo_field_basic
	QRingInfo_field specialisation for basic-field coefficients (everything except QQ). More...
class	QRingInfo_field_QQ
	QRingInfo_field specialisation for QQ coefficients, which need denominator tracking through reductions. More...
class	QRingInfo_ZZ
	QRingInfo specialisation for quotients of polynomial rings over ZZ. More...

Detailed Description