find_one_divisor_packed()

template<typename Key>

bool F4MonomialLookupTableT< Key >::find_one_divisor_packed	(	const MonomialInfo *	M,
		const_packed_monomial	m,
		Key &	result_k ) const

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

{
  long comp = M->get_component(m);
  if (comp >= mis.size()) return false;
  mi_node *mi = mis[comp];
  if (mi == nullptr) return false;
  M->to_expvector(m, exp0, comp);
  return find_one_divisor1(mi, exp0, result_k);
}

References exp0, find_one_divisor1(), and mis.