complete_thru_degree()

int res2_comp::complete_thru_degree ( ) const

virtual

Implements ResolutionComputation.

Definition at line 24 of file res-a0.cpp.

{
  int lo = hidegree + 1;
  int len = resn.size() - 1;
  for (int lev = 0; lev <= len; lev++)
    {
      for (res2_pair *p = resn[lev]->pairs; p != nullptr; p = p->next)
        {
          if (p->syz_type != SYZ2_S_PAIR) continue;
          int d = p->degree;
          if (d < lo) lo = d;
        }
    }
  return lodegree + lo - 1;
}

References hidegree, lodegree, p, and SYZ2_S_PAIR.