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());
void readIdeal(Scanner &in, BigTermConsumer &consumer)
Read an ideal from in and feed it to consumer.
mpz_class computeDimension(const BigIdeal &ideal, bool codimension=false, bool squareFreeAndMinimal=false)
Compute the Krull dimension of ideal.
virtual void obtainParameters(vector< Parameter * > ¶meters)
virtual void obtainParameters(vector< Parameter * > ¶meters)
BoolParameter _printActions
BoolParameter _squareFreeAndMinimal
BoolParameter _codimension
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
void autoDetectInputFormat(Scanner &in)
If using the input format, this must be called before validating the ideals, since the auto detect fo...
void validateFormats() const
This class offers an input interface which is more convenient and for some purposes more efficient th...
A facade for operations on monomial ideals using the Slice Algorithm.
static const char * staticGetName()
A facade for performing operations on BigIdeal.
void obtainParameters(vector< Parameter * > ¶meters)
mpz_class computeDimension(bool codimension=false)
Compute the Krull dimension of ideal.
void useIndependenceSplits(bool value)
const string & getInputFormat() const
A facade for input and output of mathematical objects.
void validateSplit(const SliceParams ¶ms, bool allowLabel, bool allowDegree)
static const DataType & getNullType()
Returns the one and only instance for null.