Macaulay2 Engine
Loading...
Searching...
No Matches

◆ is_equal()

bool MonomialIdeal::is_equal ( const MonomialIdeal & mi) const

Definition at line 195 of file monideal.cpp.

196{
197 if (this == &mi0) return true;
198 if (size() != mi0.size()) return false;
199 Iterator i = begin();
200 Iterator j = mi0.begin();
201 Iterator sentinel = end();
202 while (i != sentinel)
203 {
204 const_varpower m = (*i).monom().data();
205 const_varpower n = (*j).monom().data();
206 if (!varpower::is_equal(m, n)) return false;
207 i++;
208 j++;
209 }
210 GC_reachable_here(&mi0);
211 return true;
212}
varpower::ConstExponents const_varpower
static bool is_equal(ConstExponents a, ConstExponents b)
Bidirectional forward iterator over the Bags stored in a MonomialIdeal.
Definition monideal.hpp:230
int size() const
Definition monideal.hpp:186
Iterator end() const
Definition monideal.hpp:279
Iterator begin() const
Definition monideal.hpp:277

References begin(), end(), ExponentList< int, true >::is_equal(), MonomialIdeal(), and size().

Referenced by IM2_MonomialIdeal_is_equal().