33 "Change the representation of the input ideal.",
34 "By default, transform simply writes the input ideals to output. A "
35 "number of parameters allow one to transform the input ideal in various ways.",
42 "Sort variables, generators and ideals to get canonical representation.",
47 "Sort generators according to the reverse lexicographic order.",
52 "Remove duplicate generators.",
57 "Remove non-minimial generators.",
62 "Apply a generic deformation to the input ideal.",
67 "Take the radical of the generators. Combine this with -minimize to "
68 "get rid of any non-minimal ones.",
73 "Replace each ideal with the product of its generators.",
78 "Adds a pure power for each variable that does not already have a pure "
79 "power in the ideal. Each exponent is chosen to be one larger than the "
80 "maximal exponent of that variable that appears in the ideal.",
85 "Remove variables that divide none of the generators.",
90 "Exchange variables and minimal generators. Let M be a matrix whose "
91 "rows are labeled by minimal generators and whose columns are labeled "
92 "by variables. The entry at row g and column x is the number of times "
93 "that x divides g. This options transposes that matrix.",
98 "Change all 0 exponents to 1 and vice versa.",
103 "Project away the i'th variable counting from 1. No action is taken "
104 "for a value of 0 or more than the number of variables in the ring.",
143 for (
size_t i = 0;
i <
ideals.size(); ++
i) {
147 for (
size_t var = 0; var < ideal.
getVarCount(); ++var) {
160 names.projectVar(var);
162 for (
size_t i = 0;
i <
ideals.size(); ++
i) {
178 for (
size_t i = 0;
i <
ideals.size(); ++
i) {
197 for (
size_t i = 0;
i <
ideals.size(); ++
i) {
void exceptionSafePushBack(Container &container, auto_ptr< Element > pointer)
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)
size_t getVarCount() const
const VarNames & getNames() const
size_t getGeneratorCount() const
void projectVar(size_t var)
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.
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.