FunctionPair Class Reference

Materialised (f, g) pair of BRP polynomials referenced by a Pair index record. More...

Public Member Functions
	FunctionPair (const Pair &pair, const IntermediateBasis &F, int n)

Public Attributes
const BRP *	f
const BRP *	g
bool	good

Private Attributes
BRP	fieldpolynomial

Detailed Description

Materialised (f, g) pair of BRP polynomials referenced by a Pair index record.

Note

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

Resolves the symbolic Pair into pointers to the actual basis elements (f = F[j], g = F[i]) or, when i < 0, into the synthetic field polynomial x_k^2 + x_k stored in fieldpolynomial. good mirrors Pair::good but rechecks against the current F. The S-polynomial reducer then operates on the resolved pointers directly.

Definition at line 118 of file franzi-gb.cpp.

---

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

• Macaulay2/e/franzi-gb.cpp