Loading...
Searching...
No Matches
QRingInfo partial specialisation that adds the field-coefficient reduction tables: a MonomialIdeal for divisibility queries and a MonomialTable indexed by quotient_ideal slot. More...
#include <qring.hpp>
Inheritance diagram for QRingInfo_field:
Public Member Functions | |
| QRingInfo_field (const PolyRing *ambientR, const VECTOR(Nterm *) "ients) | |
| 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 | normal_form (ring_elem &f) const |
| virtual void | gbvector_normal_form (const FreeModule *F, gbvector *&f) 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 |
Protected Attributes | |
| MonomialIdeal * | Rideal |
| MonomialTable * | ringtable |
| Protected Attributes inherited from QRingInfo | |
| const PolyRing * | R |
| bool | overZZ_ |
| size_t | exp_size |
| size_t | monom_size |
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) | |
Detailed Description
QRingInfo partial specialisation that adds the field-coefficient reduction tables: a MonomialIdeal for divisibility queries and a MonomialTable indexed by quotient_ideal slot.
- Note
- AI-generated documentation. Verify against the source before relying on it.
Exposes the tables through get_quotient_monomials / get_quotient_MonomialTable but leaves normal_form itself unimplemented — that is provided by the two concrete subclasses QRingInfo_field_basic and QRingInfo_field_QQ.
The documentation for this class was generated from the following files:
