extension_degree()

int DRing::extension_degree

(

int

firstvar

)

Definition at line 1534 of file dpoly.cpp.

{
  int result = 1;
  for (int i = 0; i <= level - firstvar; i++)
    {
      int d = D.degree_of_extension(i);
      if (d < 0) return -1;
      result *= d;
    }
  return result;
}

References D, level, and result().