![]() |
Public Member Functions | |
MathicToSingStream (Coefficient modulus, VarIndex varCount) | |
~MathicToSingStream () | |
Coefficient | modulus () const |
VarIndex | varCount () const |
void | idealBegin (size_t polyCount) |
void | appendPolynomialBegin (size_t termCount) |
void | appendTermBegin (const mgb::GroebnerConfiguration::Component c) |
void | appendExponent (VarIndex index, Exponent exponent) |
void | appendTermDone (Coefficient coefficient) |
void | appendPolynomialDone () |
void | idealDone () |
::ideal | takeIdeal () |
Private Member Functions | |
void | deleteIdeal () |
Private Attributes | |
const Coefficient | mModulus |
const VarIndex | mVarCount |
size_t | mPolyCount |
poly | mTerm |
::ideal | mIdeal |
Definition at line 23 of file singmathic.cc.
|
inline |
Definition at line 25 of file singmathic.cc.
|
inline |
Definition at line 33 of file singmathic.cc.
Definition at line 56 of file singmathic.cc.
|
inline |
Definition at line 46 of file singmathic.cc.
|
inline |
Definition at line 65 of file singmathic.cc.
|
inline |
Definition at line 48 of file singmathic.cc.
|
inline |
Definition at line 60 of file singmathic.cc.
|
inlineprivate |
Definition at line 82 of file singmathic.cc.
|
inline |
Definition at line 40 of file singmathic.cc.
|
inline |
Definition at line 70 of file singmathic.cc.
|
inline |
Definition at line 37 of file singmathic.cc.
|
inline |
Definition at line 75 of file singmathic.cc.
|
inline |
Definition at line 38 of file singmathic.cc.
|
private |
Definition at line 93 of file singmathic.cc.
|
private |
Definition at line 89 of file singmathic.cc.
|
private |
Definition at line 91 of file singmathic.cc.
|
private |
Definition at line 92 of file singmathic.cc.
Definition at line 90 of file singmathic.cc.