search_expvector()

int MonomialIdeal::search_expvector	(	const_exponents	m,
		Bag *&	b ) const

Definition at line 214 of file monideal.cpp.

{
  if (mi == nullptr) return 0;
 
  Nmi_node *p = mi;
 
  for (;;)
    {
      p = p->right;
 
      if (p == p->header)
        {
          if ((p = p->down()) == nullptr) return 0;
          continue;
        }
 
      if (p->exp > exp[p->var])
        {
          if ((p = p->header->down()) == nullptr) return 0;
          continue;
        }
 
      if (p->tag == Nmi_node::leaf)
        {
          b = p->baggage();
          return 1;
        }
 
      p = p->down();
    }
}

References Nmi_node::leaf, mi, and p.

Referenced by all_have_pure_powers(), is_borel(), res_comp::reduce(), and search().