rawDegree()

int rawDegree	(	int	v,
		const RingElement *	f )

Definition at line 1016 of file ringelement.cpp.

{
  const Tower *R = f->get_ring()->cast_to_Tower();
  if (R == nullptr) return -1;
  return R->degreeInVariable(v, f->get_value());
}

References Ring::cast_to_Tower(), Tower::degreeInVariable(), RingElement::get_ring(), and RingElement::get_value().