Go to file
Christoph Prüßner 4030335661 POLY: implemented pb_normalize
normalizes a polynom by defining a numerical range
for each factor of a polynom.
2014-05-12 13:46:59 +02:00
external BUILD: add missing include 2014-04-28 12:18:14 +02:00
src POLY: implemented pb_normalize 2014-05-12 13:46:59 +02:00
.gitignore changed gitignore 2014-05-03 13:18:15 +02:00
COPYING LICENSE: add LGPL-2.1 license file 2014-04-14 23:58:19 +02:00
Doxyfile DOC: add Doxyfile 2014-04-14 22:50:16 +02:00
Makefile BUILD: update top-level Makefile 2014-04-15 14:13:03 +02:00