extension_degree()

int Tower::extension_degree

(

int

nvars

)

const

Definition at line 402 of file tower.cpp.

{
  // returns -1 if infinite
  return D->extension_degree(firstvar);
}

References D.

Referenced by rawExtensionDegree().