TowerEvaluator()

TowerEvaluator::TowerEvaluator ( const Tower * T, const RingMap * map0, const ring_elem f0, int first_var0 )

inline

Definition at line 303 of file tower.cpp.

      : DPolyTraverser(T->D),
        map(map0),
        f(TOWER_POLYNOMIAL_VAL(f0)),
        first_var(first_var0),
        nvars(T->n_vars())
  {
    target = map->get_ring();
    H = target->make_SumCollector();
    const PolynomialRing *P = target->cast_to_PolynomialRing();
    K = (P == nullptr ? target : P->getCoefficients());
  }

References DPolyTraverser::D, DPolyTraverser::DPolyTraverser(), f, first_var, PolynomialRing::getCoefficients(), H, K, map, nvars, T, target, and TOWER_POLYNOMIAL_VAL.