QRingInfo_field_QQ Class Reference

QRingInfo_field specialisation for QQ coefficients, which need denominator tracking through reductions. More...

#include <qring.hpp>

Inheritance diagram for QRingInfo_field_QQ:

Public Member Functions
	QRingInfo_field_QQ (const PolyRing *ambientR, const VECTOR(Nterm *) &quotients)
	~QRingInfo_field_QQ ()
void	normal_form (ring_elem &f) const
void	gbvector_normal_form (const FreeModule *F, gbvector *&f) const
void	gbvector_normal_form (const FreeModule *F, gbvector *&f, bool use_denom, ring_elem &denom) const
Public Member Functions inherited from QRingInfo_field
	QRingInfo_field (const PolyRing *ambientR, const VECTOR(Nterm *) &quotients)
void	destroy (GBRing *GR)
	~QRingInfo_field ()
virtual const MonomialIdeal *	get_quotient_monomials () const
virtual MonomialTable *	get_quotient_MonomialTable () const
Public Member Functions inherited from QRingInfo
	QRingInfo ()
virtual	~QRingInfo ()
int	n_quotients () const
Nterm *	quotient_element (int i) const
const gbvector *	quotient_gbvector (int i) const
virtual const MonomialTableZZ *	get_quotient_MonomialTableZZ () const

Private Member Functions
void	reduce_lead_term_QQ (Nterm *&f, const Nterm *g) const

Additional Inherited Members
Static Public Member Functions inherited from our_new_delete
static void *	operator new (size_t size)
static void *	operator new[] (size_t size)
static void	operator delete (void *obj)
static void	operator delete[] (void *obj)
static void *	operator new (size_t size, void *existing_memory)
static void *	operator new[] (size_t size, void *existing_memory)
static void	operator delete (void *obj, void *existing_memory)
static void	operator delete[] (void *obj, void *existing_memory)
Protected Member Functions inherited from QRingInfo
void	appendQuotientElement (Nterm *f, gbvector *g)
	QRingInfo (const PolyRing *R)
Protected Attributes inherited from QRingInfo_field
MonomialIdeal *	Rideal
MonomialTable *	ringtable
Protected Attributes inherited from QRingInfo
const PolyRing *	R
bool	overZZ_
size_t	exp_size
size_t	monom_size

Detailed Description

QRingInfo_field specialisation for QQ coefficients, which need denominator tracking through reductions.

Note

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

Implements normal_form and gbvector_normal_form plus the three-argument gbvector_normal_form(F, f, use_denom, denom) overload that accumulates the cleared denominator. The reduction itself goes through reduce_lead_term_QQ.

Definition at line 210 of file qring.hpp.

---

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

• Macaulay2/e/qring.hpp
• Macaulay2/e/qring.cpp