doc: add experimental comparison between old and new Laurent expansion method
[barvinok.git] / range.h
blob9ffd688467f90482fd8b1c485f056e7ff167d962
1 #include <ginac/ginac.h>
2 #include <bernstein/piecewise_lst.h>
3 #include <barvinok/evalue.h>
5 struct barvinok_options;
7 bernstein::piecewise_lst *evalue_range_propagation(
8 bernstein::piecewise_lst *pl_all,
9 const evalue *e, const GiNaC::exvector& params,
10 barvinok_options *options);