Go to the documentation of this file.
31 "Compute the Alexander dual of the input ideal.",
32 "Compute the alexander dual of the input monomial ideal.\n\n"
33 "The computation is done using irreducible decomposition, which is why "
35 "a number of options related to that. See the help topic on irrdecom for "
53 vector<mpz_class> point;
66 auto_ptr<BigTermConsumer> output =
void expectEOF()
Require that there is no more input.
This class offers an input interface which is more convenient and for some purposes more efficient th...
static const char * staticGetName()
void validateFormats() const
virtual void obtainParameters(vector< Parameter * > ¶meters)
bool readAlexanderDualInstance(Scanner &in, BigIdeal &ideal, vector< mpz_class > &term)
void autoDetectInputFormat(Scanner &in)
If using the input format, this must be called before validating the ideals, since the auto detect fo...
virtual void obtainParameters(vector< Parameter * > ¶meters)
SliceParameters _sliceParams
BoolParameter _printActions
const string & getInputFormat() const
void validateSplit(const SliceParams ¶ms, bool allowLabel, bool allowDegree)
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
auto_ptr< IOHandler > createOutputHandler() const
A facade for operations on monomial ideals using the Slice Algorithm.
void computeAlexanderDual(const vector< mpz_class > &point)
Compute the Alexander dual of the ideal.
void obtainParameters(vector< Parameter * > ¶meters)
A facade for input and output of mathematical objects.