insert_minimal_vp()

template<typename Key>

void F4MonomialLookupTableT< Key >::insert_minimal_vp	(	long	comp,
		const_varpower_monomial	m,
		Key	k )

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

{
  while (comp >= mis.size()) mis.push_back(nullptr);
  // if (comp >= mis.size())
  //   {
  //     for (long j = comp - mis.size(); j >= 0; j--) mis.push_back(nullptr);
  //   }
  insert1(mis[comp], m, k);
}

References insert1(), and mis.

Referenced by SchreyerFrame::computeIdealQuotient(), F4SPairSet::construct_pairs(), insert_vp(), and minimalize_varpower_monomials().