QRingInfo_field specialisation for basic-field coefficients (everything except QQ). More...

#include <qring.hpp>

Inheritance diagram for QRingInfo_field_basic:

Public Member Functions
	QRingInfo_field_basic (const PolyRing ambientR, const VECTOR(Nterm ) &quotients)
	~QRingInfo_field_basic ()
void	normal_form (ring_elem &f) const
void	gbvector_normal_form (const FreeModule F, gbvector &f) 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 void	gbvector_normal_form (const FreeModule F, gbvector &f, bool use_denom, ring_elem &denom) const
virtual const MonomialTableZZ *	get_quotient_MonomialTableZZ () const

Private Member Functions
void	reduce_lead_term_basic_field (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 basic-field coefficients (everything except QQ).

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

Implements normal_form and gbvector_normal_form via reduce_lead_term_basic_field, which expects field arithmetic with no denominator tracking.

Definition at line 183 of file qring.hpp.

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

Public Member Functions