![]() |
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.