evalue_substitute: properly handle relations
commit94b34a407c19cd26578d2f54cc4d24fd0be5349e
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Mar 2008 15:43:22 +0000 (2 16:43 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Mar 2008 11:54:28 +0000 (10 12:54 +0100)
tree95f9b2f9049800f7427681975d5a9df181f7af62
parent5642efd3cc9492e7c15bda4f6d66a263d136c67b
evalue_substitute: properly handle relations

Before, relations were treated as if they were polynomial-like,
but they are not and therefore need special treatment.
evalue.c
testlib.cc