normalization.c: extract standard_constraints from polysign.c
commitc8ece89973f081b38ee39cdc68481153af6a11a2
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 1 Apr 2008 20:12:56 +0000 (1 22:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Apr 2008 15:01:58 +0000 (3 17:01 +0200)
treee98e09dfb49f816f7355e2bf5e189f0740c170f8
parentec1612400b7e0a4b3024fdd986dd79ba644e6e08
normalization.c: extract standard_constraints from polysign.c
Makefile.am
hilbert.c
normalization.c [new file with mode: 0644]
normalization.h [new file with mode: 0644]
polysign.c
polysign.h
topcom.c