François Thomasset : Interface between MuPad and Polylib
This interface allows you to define a polyhedron under MuPAD, and then call the
Polylib library to compute its Ehrhart polynomial (i.e. symbolic count of
integer points).
- mupad-ehrhart.tar.gz
Contents of the archive:
- Count/count.C: code of the dynamic module
- Count/Makefile: makefile for the dynamic module
- README: installation guide
- test_count.mupad: an example
- README.html
Comments and installation guide.
- History and bug correction:
- April 23, 2003 (FT): first version delivered
- May 21, 2003 (FT): bug corrected in coeffs2poly
(A "_plus" may have more than 2 operands)
References: