1 #include <ginac/ginac.h>
3 #include <omega/Relation.h>
4 #include <barvinok/evalue.h>
11 void maximize(PolyFunc
*polyfunc
, Map
<Variable_Ref
*, GiNaC::ex
>& variableMap
);
12 evalue
*summate(PolyFunc
*polyfunc
, Map
<Variable_Ref
*, GiNaC::ex
>& variableMap
);