find_one_divisor_packed()

template<typename Key>

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

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

{
  auto 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, and find_one_divisor1().