Opened 16 years ago
Closed 16 years ago
#215 closed defect (fixed)
Discrepency when simplifying using reals vs integers
| Reported by: | dfix | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | dynamic | Version: | 1.0 |
| Keywords: | simplifier | Cc: |
Description
Creating a simplifier with the assumption integer x=1 and then simplifying on the expression 0<x will correctly evaluate to true.
Creating a simplifier with the assumption real y=1 and then simplifying on the expression 0<y will evaluate to y>0.
Note:
See TracTickets
for help on using tickets.
Fixed: problem was almost nothing was being done to simplify expressions of form f/g>0, because the general mechanism was turned off as it interfered with CVC3's powers. Now this handled at least in the case where g is constant. The test that was failing was test16 in SimplifierTest. Now it is passing and other tests un-affected.