PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::PolyEntry Class Reference

#include <pairs.h>

Public Member Functions

 PolyEntry (const Polynomial &p)
deg_type ecart () const
void recomputeInformation ()

Public Attributes

LiteralFactorization literal_factors
Polynomial p
Monomial lm
wlen_type weightedLength
len_type length
deg_type deg
deg_type lmDeg
Exponent lmExp
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)

Member Function Documentation

deg_type polybori::groebner::PolyEntry::ecart ( ) const
inline
void polybori::groebner::PolyEntry::recomputeInformation ( )

Member Data Documentation

deg_type polybori::groebner::PolyEntry::deg
Monomial polybori::groebner::PolyEntry::gcdOfTerms
len_type polybori::groebner::PolyEntry::length
LiteralFactorization polybori::groebner::PolyEntry::literal_factors
Monomial polybori::groebner::PolyEntry::lm
deg_type polybori::groebner::PolyEntry::lmDeg
Exponent polybori::groebner::PolyEntry::lmExp
bool polybori::groebner::PolyEntry::minimal

Referenced by PolyEntry().

Polynomial polybori::groebner::PolyEntry::p
Polynomial polybori::groebner::PolyEntry::tail

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::tailVariables

Referenced by PolyEntry(), and recomputeInformation().

Exponent polybori::groebner::PolyEntry::usedVariables
std::set<idx_type> polybori::groebner::PolyEntry::vPairCalculated

set of variables with which pair was calculated

wlen_type polybori::groebner::PolyEntry::weightedLength

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