poly.hpp File Reference

Concrete commutative PolyRing — standard polynomial ring inheriting from PolyRingFlat. More...

#include "ring.hpp"
#include "ringelem.hpp"
#include "skew.hpp"
#include "polyring.hpp"

Go to the source code of this file.

Classes
class	PolyRing
	Concrete PolyRingFlat subclass implementing ordinary commutative polynomial rings K[x_1, ..., x_n] with a generic coefficient ring K and monoid M. More...

Functions
const PolyRing *	isUnivariateOverPrimeField (const Ring *R)

Detailed Description

Concrete commutative PolyRing — standard polynomial ring inheriting from PolyRingFlat.

Note

AI-generated documentation. Verify against the source before relying on it.

Declares the concrete PolyRing that engine code instantiates whenever it talks about "a polynomial ring." The class descends from the abstract layer in polyring.hpp through PolyRingFlat (the intermediate that asserts coefficients are non-polynomial) and is the parent of the flavoured polynomial-ring subclasses the engine actually defines: SkewPolynomialRing (skewpoly.hpp), WeylAlgebra (weylalg.hpp), SolvableAlgebra (solvable.hpp), and SchurRing (schur.hpp). The quotient flavour PolyRingQuotient (polyquotient.hpp) sits beside PolyRing — both inherit directly from PolyRingFlat — and the non-commutative M2FreeAlgebra (M2FreeAlgebra.hpp) is on a separate Ring hierarchy. TermIdeal, Matrix, GBRing / GBRingSkew, GBComputation, and ChineseRemainder are forward-declared so the header stays light.

See also

polyring.hpp

skewpoly.hpp

weylalg.hpp

polyquotient.hpp

Definition in file poly.hpp.