set_non_unit()

void Ring::set_non_unit

(

ring_elem

zero_div

)

const

Definition at line 88 of file ring.cpp.

{
  bool was_field = (_isfield == 1);
  const_cast<Ring *>(this)->_isfield = -1;
  const_cast<Ring *>(this)->_non_unit = non_unit;
  if (was_field)
    throw exc::engine_error("a non unit was found in a ring declared to be a field");
}

References _isfield, _non_unit, and Ring().

Referenced by PolyRingQuotient::ann(), FractionField::set_non_unit_frac(), and LocalRing::set_non_unit_frac().