30 void deform(
Ideal& ideal,
47 undeform.push_back(0);
48 for (map<
Exponent, vector<Exponent*> >::iterator
it =
exps.begin();
50 vector<Exponent*>&
block =
it->second;
56 undeform.push_back((*
blockIt)[var]);
57 (*blockIt)[var] = undeform.size() - 1;
60 undeform.push_back(
block.front()[var]);
76 undeform.push_back((*
blockIt)[var]);
77 (*blockIt)[var] = undeform.size() - 1;
88 _undeform(ideal.getVarCount()) {
92 for (
size_t var = 0; var < ideal.
getVarCount(); ++var)
102 for (
size_t var = 0; var < term.
getVarCount(); ++var) {
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Represents a monomial ideal with int exponents.
Cont::const_iterator const_iterator
bool strictlyContains(const Exponent *term) const
const_iterator end() const
const_iterator begin() const
bool isWeaklyGeneric() const
size_t getVarCount() const
Term represents a product of variables which does not include a coefficient.
size_t getVarCount() const