is_equal()

bool RingMap::is_equal

(

const RingMap *

phi

)

const

Definition at line 111 of file ringmap.cpp.

{
  // Two ringmap's are identical if their 'bigelem's are the same
  if (R != phi->get_ring()) return false;
  if (nvars != phi->nvars) return false;
 
  for (int i = 0; i < nvars; i++)
    if (!R->is_equal(elem(i), phi->elem(i))) return false;
 
  return true;
}

References elem(), get_ring(), nvars, R, and RingMap().

Referenced by PolyRingQuotient::ann(), and IM2_RingMap_is_equal().