16 #ifndef polybori_groebner_contained_variables_h_
17 #define polybori_groebner_contained_variables_h_
29 typedef PBORI::CacheManager<CCacheTypes::contained_variables>
32 cache_mgr_type cache_mgr(m.
ring());
38 if (cached.
isValid())
return cache_mgr.generate(cached);
50 cache_mgr.insert(orig, r_nav);
67 typedef PBORI::CacheManager<CCacheTypes::contained_deg2>
70 cache_mgr_type cache_mgr(m.
ring());
76 if (cached.
isValid())
return cache_mgr.generate(cached);
82 cache_mgr.insert(nav,result.navigation());
90 inline std::vector<idx_type>
92 std::vector<idx_type> result;