Pair Class Reference

S-pair record for the Franzi boolean Groebner basis algorithm. More...

Public Member Functions
	Pair (int a, int b, const IntermediateBasis &F)

Public Attributes
int	i
int	j
bool	good
brMonomial	lcm

Friends
bool	operator< (const Pair &pair1, const Pair &pair2)

Detailed Description

S-pair record for the Franzi boolean Groebner basis algorithm.

Note

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

Carries the two basis-element indices i, j (a negative i = -k means the field polynomial x_k^2 + x_k is being paired against F[j]), the precomputed lead-term lcm, and a good flag set false if either parent has been retired from F. Ordered first by lcm (lex), then by j, then by i, so the enclosing std::set<Pair> queue pops the smallest pair next.

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

---

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

• Macaulay2/e/franzi-gb.cpp