FreeAlgebraQuotientElement Class Reference

Owned Poly value paired with its FreeAlgebraQuotient*, providing operator-overloaded arithmetic for debugging / scripting. More...

#include <FreeAlgebraQuotient.hpp>

Public Member Functions
	FreeAlgebraQuotientElement (const FreeAlgebraQuotient *F)
	~FreeAlgebraQuotientElement ()
Poly &	operator* ()
const Poly &	operator* () const
bool	operator== (const FreeAlgebraQuotientElement &g) const
FreeAlgebraQuotientElement	operator+ (const FreeAlgebraQuotientElement &g)
FreeAlgebraQuotientElement	operator- (const FreeAlgebraQuotientElement &g)
FreeAlgebraQuotientElement	operator* (const FreeAlgebraQuotientElement &g)
FreeAlgebraQuotientElement	operator^ (int n)

Private Attributes
const FreeAlgebraQuotient *	mRing
Poly	mPoly

Detailed Description

Owned Poly value paired with its FreeAlgebraQuotient*, providing operator-overloaded arithmetic for debugging / scripting.

Note

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

Quotient counterpart of FreeAlgebraElement: the destructor calls FreeAlgebraQuotient::clear, and the arithmetic operators feed through to the quotient's add / subtract / mult / ... methods so each result is automatically reduced modulo the defining ideal.

Definition at line 163 of file FreeAlgebraQuotient.hpp.

---

The documentation for this class was generated from the following file:

• Macaulay2/e/NCAlgebras/FreeAlgebraQuotient.hpp