IM2_RingElement_index_if_var()

int IM2_RingElement_index_if_var

(

const RingElement *

f

)

Definition at line 841 of file ringelement.cpp.

{
  const Ring *R = f->get_ring();
  return R->index_of_var(f->get_value());
}

References RingElement::get_ring(), RingElement::get_value(), and Ring::index_of_var().