is_equal()

bool FreeModule::is_equal

(

const FreeModule *

F

)

const

Definition at line 154 of file freemod.cpp.

{
  int i;
  if (this == F) return true;
  if (R != F->get_ring()) return false;
  if (rank() != F->rank()) return false;
 
  auto D = R->degree_monoid();
  if (D->n_vars() > 0)
    for (i = 0; i < rank(); i++)
      if (0 != D->compare(degree(i), F->degree(i))) return false;
 
  /* free modules with same ranks and degrees should be equal
  if (schreyer != nullptr) return schreyer->is_equal(F->schreyer);
  if (F->schreyer != nullptr) return false;
  */
 
  return true;
}

References degree(), FreeModule(), get_ring(), R, and rank().

Referenced by ChineseRemainder::CRA(), and IM2_FreeModule_is_equal().