16 #ifndef polybori_groebner_ll_red_nf_h_
17 #define polybori_groebner_ll_red_nf_h_
27 template <
bool have_redsb,
bool single_call_for_noredsb,
28 bool fast_multiplication>
38 return dd_multiply<fast>(cache_mgr_type(p.
ring()),
43 template <
bool have_redsb,
bool single_call_for_noredsb,
44 bool fast_multiplication>
50 return func(p, r_nav);
53 template <
bool have_redsb,
bool single_call_for_noredsb,
54 bool fast_multiplication>
59 fast_multiplication>(p, reductors.
navigation());
64 return ll_red_nf_generic<true, false, false>(p,reductors);
69 return ll_red_nf_generic<false, false, false>(p,reductors);
75 return ll_red_nf_generic<false, true, false>(p,reductors);