/usr/include/polybori/groebner/contained_variables.h is in libbrial-groebner-dev 0.8.5-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 | // -*- c++ -*-
//*****************************************************************************
/** @file contained_variables.h
*
* @author Michael Brickenstein
* @date 2011-06-30
*
* This file includes the definition of the @c contained_variables functions.
*
* @par Copyright:
* (c) 2006-2011 by The PolyBoRi Team
*
**/
//*****************************************************************************
#ifndef polybori_groebner_contained_variables_h_
#define polybori_groebner_contained_variables_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
inline MonomialSet
contained_variables_cudd_style(const MonomialSet& m){
MonomialSet::navigator nav=m.navigation();
MonomialSet::navigator orig=nav;
typedef PBORI::CacheManager<CCacheTypes::contained_variables>
cache_mgr_type;
cache_mgr_type cache_mgr(m.ring());
while (!(nav.isConstant())){
MonomialSet::navigator cached =
cache_mgr.find(nav);
if (cached.isValid()) return cache_mgr.generate(cached);
idx_type v=*nav;
MonomialSet::navigator check_nav=nav.thenBranch();
while(!(check_nav.isConstant())){
check_nav.incrementElse();
}
if (check_nav.isTerminated()){
idx_type result_index=v;
MonomialSet result=MonomialSet(result_index,Polynomial(cache_mgr.one()).diagram(),contained_variables_cudd_style(cache_mgr.generate(nav.elseBranch())));
MonomialSet::navigator r_nav=result.navigation();
while(1){
MonomialSet::navigator last=orig;
cache_mgr.insert(orig, r_nav);
orig.incrementElse();
if(last==nav) break;
}
return result;
}
nav.incrementElse();
}
return MonomialSet(cache_mgr.zero());
}
inline MonomialSet
contained_deg2_cudd_style(const MonomialSet& m){
MonomialSet::navigator nav=m.navigation();
typedef PBORI::CacheManager<CCacheTypes::contained_deg2>
cache_mgr_type;
cache_mgr_type cache_mgr(m.ring());
if (!(nav.isConstant())){
MonomialSet::navigator cached =
cache_mgr.find(nav);
if (cached.isValid()) return cache_mgr.generate(cached);
MonomialSet::navigator then_branch=nav.thenBranch();
MonomialSet::navigator else_branch=nav.elseBranch();
MonomialSet then_res=contained_variables_cudd_style(cache_mgr.generate(then_branch));
MonomialSet else_res=contained_deg2_cudd_style(cache_mgr.generate(else_branch));
MonomialSet result=MonomialSet(*nav,then_res,else_res);
cache_mgr.insert(nav,result.navigation());
return result;
}
else return MonomialSet(cache_mgr.zero());
}
inline std::vector<idx_type>
contained_variables(const MonomialSet& m){
std::vector<idx_type> result;
MonomialSet::navigator nav=m.navigation();
while (!(nav.isConstant())){
idx_type v=*nav;
MonomialSet::navigator check_nav=nav.thenBranch();
while(!(check_nav.isConstant())){
check_nav.incrementElse();
}
if (check_nav.isTerminated()){
result.push_back(v);
}
nav.incrementElse();
}
return result;
}
END_NAMESPACE_PBORIGB
#endif /* polybori_groebner_contained_variables_h_ */
|