find_all_divisors_vp()

template<typename Key>

void ResF4MonomialLookupTableT< Key >::find_all_divisors_vp	(	long	comp,
		const_varpower_monomial	m,
		VECTOR(Key) &	result_k ) const

Definition at line 294 of file res-f4-monlookup.cpp.

{
  if (comp >= mis.size()) return;
  mi_node *mi = mis[comp];
  if (mi == nullptr) return;
 
  ResF4MonomialLookupTableT *me = const_cast<ResF4MonomialLookupTableT *>(this);
  me->update_expvector(static_cast<int>(mi->var), m);
  find_all_divisors1(mi, exp0, result_k);
  me->reset_expvector(m);
}

References exp0, find_all_divisors1(), reset_expvector(), ResF4MonomialLookupTableT(), update_expvector(), and ResF4MonomialLookupTableT< Key >::mi_node::var.