Go to the documentation of this file.
38 "Compute the (co)dimension of the input ideal.",
39 "Compute the dimension or codimension of the input ideal. This is the\n"
40 "dimension of the zero set of the ideal. The ideal containing the identity\n"
41 "has an empty zero set, and we define the dimension of this to be -1.\n"
42 "All other ideals have non-negative dimension.",
47 "Compute the codimension instead of the dimension. The codimension is the\n"
48 "number of variables in the polynomial ring minus the dimension.",
52 (
"squareFreeAndMinimal",
53 "State that the input ideal is square free and minimally generated. This\n"
54 "can speed up the the computation, but will result in unpredictable\n"
55 "behavior if it is not true.",
60 "Use the Slice Algorithm to compute the dimension instead of the usual\n"
98 gmp_fprintf(stdout,
"%Zd\n", result.get_mpz_t());
mpz_class computeDimension(const BigIdeal &ideal, bool codimension=false, bool squareFreeAndMinimal=false)
Compute the Krull dimension of ideal.
static const DataType & getNullType()
Returns the one and only instance for null.
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...
void validateFormats() const
static const char * staticGetName()
virtual void obtainParameters(vector< Parameter * > ¶meters)
void autoDetectInputFormat(Scanner &in)
If using the input format, this must be called before validating the ideals, since the auto detect fo...
BoolParameter _codimension
BoolParameter _squareFreeAndMinimal
virtual void obtainParameters(vector< Parameter * > ¶meters)
void useIndependenceSplits(bool value)
mpz_class computeDimension(bool codimension=false)
Compute the Krull dimension of ideal.
void readIdeal(Scanner &in, BigTermConsumer &consumer)
Read an ideal from in and feed it to consumer.
A facade for performing operations on BigIdeal.
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...
A facade for operations on monomial ideals using the Slice Algorithm.
void obtainParameters(vector< Parameter * > ¶meters)
A facade for input and output of mathematical objects.