32 "Intersect the input ideals.",
33 "Computes the intersection of the input ideals. Simply concatenate "
35 "representations of the ideals in order to intersect them.\n\n"
36 "Note that this operation is currently implemented in a rather slow way.",
43 "Sort the generators and variables to get a canonical output.",
81 return "intersection";
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
BoolParameter _printActions
virtual void obtainParameters(vector< Parameter * > ¶meters)
The intention of this class is to describe the different kinds of mathematical structures that Frobby...
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...
auto_ptr< IOHandler > createOutputHandler() const
const string & getInputFormat() const
void validateFormats() const
A facade for performing operations on BigIdeal.
A facade for intersecting monomial ideals.
virtual void obtainParameters(vector< Parameter * > ¶meters)
static const char * staticGetName()
void obtainParameters(vector< Parameter * > ¶meters)
This class offers an input interface which is more convenient and for some purposes more efficient th...
Defines the variables of a polynomial ring and facilities IO involving them.