PolyBoRi: VariablePairData.h Source File

00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 #ifndef polybori_groebner_VariablePairData_h_
00017 #define polybori_groebner_VariablePairData_h_
00018 
00019 // include basic definitions
00020 #include "groebner_defs.h"
00021 
00022 BEGIN_NAMESPACE_PBORIGB
00023 
00028 class VariablePairData: public PairData{
00029 public:
00030   int i;
00031   idx_type v;
00032   Polynomial extract(const PolyEntryVector& gen) const {
00033     return Monomial(Variable(v, gen[i].p.ring()))*gen[i].p;
00034   }
00035   VariablePairData(int i, idx_type v){
00036     this->v=v;
00037     this->i=i;
00038   }
00039 };
00040 
00041 END_NAMESPACE_PBORIGB
00042 
00043 #endif /* polybori_VariablePairData_h_ */