lift_coeffs()

bool SchurRing2::lift_coeffs ( const SchurRing2 * Sg, const ring_elem f, ring_elem & resultRE ) const

protected

Definition at line 407 of file schur2.cpp.

{
  const schur_poly *f1 = f.get_schur_poly();
  schur_poly *result = new schur_poly;
 
  for (schur_poly::iterator i = f1->begin(); i != f1->end(); ++i)
    {
      if (i.getMonomial()[0] - 1 > Sg->n_vars()) continue;
      ring_elem a;
      if (!coefficientRing->lift(
              Sg->getCoefficientRing(), i.getCoefficient(), a))
        {
          delete result;
          resultRE = from_long(0);
          return false;
        }
      result->appendTerm(a, i.getMonomial());
    }
  resultRE = ring_elem(result);
  return true;
}

References schur_poly::begin(), coefficientRing, schur_poly::end(), from_long(), ring_elem::get_schur_poly(), getCoefficientRing(), n_vars(), result(), and SchurRing2().

Referenced by lift().