elem_text_out() [2/2]

void M2::ARingTower::elem_text_out ( buffer & o, int level, const ElementType f, bool p_one, bool p_plus, bool p_parens ) const

private

Definition at line 215 of file aring-tower.cpp.

{
  // o << to_string(level, f);
  if (f == nullptr)
    {
      o << "0";
      return;
    }
 
  int nterms = n_nonzero_terms(level, f);
  bool needs_parens = p_parens && (nterms >= 2);
 
  if (needs_parens)
    {
      if (p_plus) o << '+';
      o << '(';
      p_plus = false;
    }
 
  bool one = is_one(level, f);
 
  if (one)
    {
      if (p_plus) o << "+";
      if (p_one) o << "1";
      return;
    }
 
  const std::string &this_varname = varNames()[level];
 
  if (level == 0)
    {
      bool firstterm = true;
      for (int i = f->deg; i >= 0; i--)
        if (f->coeffs[i] != 0)
          {
            if (!firstterm || p_plus) o << "+";
            firstterm = false;
            if (i == 0 || f->coeffs[i] != 1)
              mBaseRing.elem_text_out(o, f->coeffs[i], p_one, p_plus, p_parens);
            if (i > 0) o << this_varname;
            if (i > 1) o << i;
          }
      if (needs_parens) o << ")";
    }
  else
    {
      bool firstterm = true;
      for (int i = f->deg; i >= 0; i--)
        if (f->polys[i] != nullptr)
          {
            bool this_p_parens = p_parens || (i > 0);
 
            if (i == 0 || !is_one(level - 1, f->polys[i]))
              elem_text_out(o,
                            level - 1,
                            f->polys[i],
                            p_one,
                            p_plus || !firstterm,
                            this_p_parens);
            else if (p_plus || !firstterm)
              o << "+";
            if (i > 0) o << this_varname;
            if (i > 1) o << i;
 
            firstterm = false;
          }
      if (needs_parens) o << ")";
    }
}

References M2::ARingPolynomialStruct::coeffs, M2::ARingPolynomialStruct::deg, elem_text_out(), is_one(), mBaseRing, n_nonzero_terms(), M2::ARingPolynomialStruct::polys, and varNames().