is_equal()

bool SchreyerOrder::is_equal

(

const SchreyerOrder *

G

)

const

Definition at line 133 of file schorder.cpp.

{
  if (G == nullptr) return false;
  for (int i = 0; i < rank(); i++)
    {
      if (compare_num(i) != G->compare_num(i)) return false;
      if (M->compare(base_monom(i), G->base_monom(i)) != 0) return false;
    }
  return true;
}

References base_monom(), compare_num(), G, M, rank(), and SchreyerOrder().