rawExtensionDegree()

int rawExtensionDegree	(	int	firstvar,
		const Ring *	R1 )

Definition at line 1025 of file ringelement.cpp.

{
  const Tower *R = R1->cast_to_Tower();
  if (R == nullptr) return 0;
  if (firstvar < 0)
    {
      ERROR("use rawCharacteristic to find the characteristic");
      return -1;
    }
  return R->extension_degree(firstvar);
}

References Ring::cast_to_Tower(), ERROR, and Tower::extension_degree().