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"
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
void validateSplit(const SliceParams ¶ms, bool allowLabel, bool allowDegree)
BoolParameter _printActions
virtual void obtainParameters(vector< Parameter * > ¶meters)
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
static const DataType & getNullType()
Returns the one and only instance for null.
static const char * staticGetName()
BoolParameter _codimension
virtual void obtainParameters(vector< Parameter * > ¶meters)
BoolParameter _squareFreeAndMinimal
A facade for input and output of mathematical objects.
void autoDetectInputFormat(Scanner &in)
If using the input format, this must be called before validating the ideals, since the auto detect fo...
const string & getInputFormat() const
void validateFormats() const
A facade for performing operations on BigIdeal.
void obtainParameters(vector< Parameter * > ¶meters)
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.
void useIndependenceSplits(bool value)