PolyBoRi
Public Member Functions | Public Attributes
polybori::groebner::PolyEntry Class Reference

#include <pairs.h>

List of all members.

Public Member Functions

 PolyEntry (const Polynomial &p)
 PolyEntry ()
bool operator== (const PolyEntry &other) const
deg_type ecart () const
void recomputeInformation ()

Public Attributes

LiteralFactorization literal_factors
Polynomial p
Monomial lead
wlen_type weightedLength
len_type length
deg_type deg
deg_type leadDeg
Exponent leadExp
Monomial gcdOfTerms
Exponent usedVariables
Exponent tailVariables
Polynomial tail
std::set< idx_typevPairCalculated
 set of variables with which pair was calculated
bool minimal

Constructor & Destructor Documentation

polybori::groebner::PolyEntry::PolyEntry ( const Polynomial p)
polybori::groebner::PolyEntry::PolyEntry ( ) [inline]

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart ( ) const [inline]
bool polybori::groebner::PolyEntry::operator== ( const PolyEntry other) const [inline]
void polybori::groebner::PolyEntry::recomputeInformation ( )

Member Data Documentation

Referenced by PolyEntry(), and recomputeInformation().

Referenced by PolyEntry().

Referenced by PolyEntry(), and recomputeInformation().

Referenced by PolyEntry(), and recomputeInformation().

set of variables with which pair was calculated


The documentation for this class was generated from the following files: