Frobby
0.9.0
|
Public Member Functions | |
IrreducibleIdealDecoder (IdealConsumer *consumer) | |
~IrreducibleIdealDecoder () | |
virtual void | idealBegin (size_t varCount) |
Called before output of a monomial ideal. More... | |
virtual void | idealEnd () |
Called after output of a monomial ideal. More... | |
virtual void | consume (mpz_ptr *exponentVector) |
For output of a generator of the ideal. More... | |
![]() | |
virtual | ~IdealConsumer () |
The provided implementation does nothing. More... | |
Private Attributes | |
size_t | _varCount |
IdealConsumer * | _consumer |
vector< mpz_ptr > | _term |
mpz_class | _zero |
Investigate.
Definition at line 321 of file frobby.cpp.
|
inline |
Definition at line 323 of file frobby.cpp.
|
inline |
Definition at line 330 of file frobby.cpp.
|
inlinevirtual |
For output of a generator of the ideal.
exponentVector is an array containing the exponents of the generator.
The parameter exponentVector and its entries must not be altered or deallocated, and no reference to them can be retained after the consume method has returned. If the output must be stored, then a copy must be made.
Implements Frobby::IdealConsumer.
Definition at line 344 of file frobby.cpp.
|
inlinevirtual |
Called before output of a monomial ideal.
varCount is the number of variables of the ring within which the output ideal lies. The provided implementation does nothing.
Reimplemented from Frobby::IdealConsumer.
Definition at line 333 of file frobby.cpp.
|
inlinevirtual |
Called after output of a monomial ideal.
The provided implementation does nothing.
Reimplemented from Frobby::IdealConsumer.
Definition at line 340 of file frobby.cpp.
|
private |
Definition at line 362 of file frobby.cpp.
|
private |
Definition at line 363 of file frobby.cpp.
|
private |
Definition at line 361 of file frobby.cpp.
|
private |
Definition at line 364 of file frobby.cpp.