find_all_divisors_vp()

template<typename Key>

void F4MonomialLookupTableT< Key >::find_all_divisors_vp	(	long	comp,
		const_varpower_monomial	m,
		std::vector< Key > &	result_k ) const

Definition at line 280 of file f4-monlookup.cpp.

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

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