Definition at line 1162 of file NCReduction.cpp.
1163{
1164 switch (type) {
1165
1166
1168 return std::make_unique<MapPolynomialHeap>(F);
1170 return std::make_unique<PriorityQueuePolynomialHeap>(F);
1172 return std::make_unique<TrivialPolynomialHeap>(F);
1174 return std::make_unique<NaiveDedupPolynomialHeap<mathic::Geobucket>>(F);
1176 return std::make_unique<NaivePolynomialHeap<mathic::Geobucket>>(F);
1178 return std::make_unique<NaivePolynomialHeap<mathic::TourTree>>(F);
1180 return std::make_unique<NaivePolynomialHeap<mathic::Heap>>(F);
1181 };
1182 return nullptr;
1183}
References Map, NaiveDedupGeobucket, NaiveGeobucket, NaiveHeap, NaiveTourTree, PriorityQueue, and Trivial.
Referenced by NCGroebner::NCGroebner(), TEST(), TEST(), and TEST().