PairE.h

Go to the documentation of this file.

// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************

#ifndef polybori_groebner_PairE_h_
#define polybori_groebner_PairE_h_

// include basic definitions
#include "groebner_defs.h"

BEGIN_NAMESPACE_PBORIGB

class PairE{
private:
  int type;
public:
  int getType() const{
    return type;
  }
  wlen_type wlen;
  deg_type sugar;
  //three sorts of pairs
  //x*poly, poly, i,j
  pair_data_ptr data;
  Exponent lm; //must not be the real lm, can be lm of syzygy or something else

  PairE(const PairE& rhs):
   type(rhs.getType()), wlen(rhs.wlen), sugar(rhs.sugar), 
   data(rhs.data), lm(rhs.lm) {}


  Polynomial extract(const PolyEntryVector& v) const {
    return data->extract(v);
  }
  PairE(int i, int j, const PolyEntryVector &v):
    type(IJ_PAIR),
    wlen(v[i].weightedLength+v[j].weightedLength-2),
    data(new IJPairData(i,j)),
    lm(v[i].leadExp+v[j].leadExp) {
    sugar=lm.deg()+std::max(v[i].ecart(),v[j].ecart());
  }

  PairE(int i, idx_type v, const PolyEntryVector &gen,int type):
    wlen(gen[i].weightedLength+gen[i].length),
    sugar(gen[i].deg+1),
    data(new VariablePairData(i,v)), 
    // sugar(gen[i].lmDeg+1),///@only do that because of bad criteria impl
    
    lm(gen[i].leadExp) {
    PBORI_ASSERT(type==VARIABLE_PAIR);
    this->type=type;
    if (gen[i].leadExp==gen[i].usedVariables)
      sugar=gen[i].deg;
    if (gen[i].tailVariables.deg()<gen[i].deg)
      sugar=gen[i].deg;
  }
  
  PairE(const Polynomial& delayed):
    type(DELAYED_PAIR), wlen(delayed.eliminationLength()),
    sugar(delayed.deg()), 
    data(new PolyPairData(delayed)),
    //lm(delayed.lead()),
    lm(delayed.leadExp()) { }

  const PolyPairData& delayedPair() const {
    PBORI_ASSERT(type == DELAYED_PAIR);
    return *static_cast<const PolyPairData*>(data.get());
  }

  const IJPairData& ijPair() const {
    PBORI_ASSERT(type == IJ_PAIR);
    return *static_cast<const IJPairData*>(data.get());
  }

  const VariablePairData& variablePair() const {
    return *static_cast<const VariablePairData*>(data.get());
  }
};

END_NAMESPACE_PBORIGB

#endif /* polybori_PairE_h_ */

---