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.",
58 vector<BigIdeal*> ideals;
67 auto_ptr<BigIdeal> intersection(facade.
intersect(ideals, names));
77 ioFacade.
writeIdeal(*intersection, output.get(), stdout);
81 return "intersection";
void validateFormats() const
void sortVariables(BigIdeal &ideal)
Sorts the variables of ideal.
BoolParameter _printActions
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void obtainParameters(vector< Parameter *> ¶meters)
virtual void obtainParameters(vector< Parameter *> ¶meters)
void writeIdeal(const BigIdeal &ideal, IOHandler *handler, FILE *out)
auto_ptr< BigIdeal > intersect(const vector< BigIdeal *> &ideals, const VarNames &names)
Returns the intersection of ideals.
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 sortGenerators(BigIdeal &ideal)
Sorts the generators of ideal.
This class offers an input interface which is more convenient and for some purposes more efficient th...
A facade for performing operations on BigIdeal.
auto_ptr< IOHandler > createOutputHandler() const
const string & getInputFormat() const
static const char * staticGetName()
A facade for input and output of mathematical objects.
void obtainParameters(vector< Parameter *> ¶meters)
A facade for intersecting monomial ideals.
void readIdeals(Scanner &in, vector< BigIdeal *> &ideals, VarNames &names)
Insert the ideals that are read into the parameter ideals.