17 #ifndef SQUARE_FREE_IDEAL_GUARD 18 #define SQUARE_FREE_IDEAL_GUARD 39 bool insert(
const std::vector<std::string>& term);
const RawSquareFreeIdeal * getRawIdeal() const
const_iterator doesn't have all it needs to be a proper STL iterator.
const_iterator end() const
size_t getCapacity() const
void swap01Exponents()
Change 0 exponents into 1 and vice versa.
const Word * back() const
Defines the variables of a polynomial ring and facilities IO involving them.
A bit packed square free ideal placed in a pre-allocated buffer.
RawSquareFreeIdeal * getRawIdeal()
SquareFreeIdeal & operator=(const BigIdeal &ideal)
size_t getGeneratorCount() const
const_iterator begin() const
iterator doesn't have all it needs to be a proper STL iterator.
unsigned long Word
The native unsigned type for the CPU.
size_t getVarCount() const
RawSquareFreeIdeal::const_iterator const_iterator
void swap01Exponents()
Change 0 exponents into 1 and vice versa.
RawSquareFreeIdeal::iterator iterator
void renameVars(const VarNames &names)
const VarNames & getNames() const
size_t getGeneratorCount() const
void reserve(size_t capacity)
size_t getVarCount() const
Returns the current number of variables.
void swap(SquareFreeIdeal &ideal)
RawSquareFreeIdeal * _ideal
size_t getVarCount() const