Opened 16 years ago
Closed 16 years ago
#214 closed enhancement (fixed)
Simplifier: x=y && y=2 does not simplify correctly on x
| Reported by: | dfix | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | symbolic | Version: | 1.0 |
| Keywords: | simplifier | Cc: |
Description
Creating a simplifier with the assumptions x=y and y=1, and then simplifying on x, results in x. Simplifying on y, however, correctly results in 1.
Change History (2)
comment:1 by , 16 years ago
| Component: | Administration → symbolic |
|---|---|
| Owner: | set to |
| Priority: | minor → major |
| Status: | new → assigned |
| Type: | defect → enhancement |
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Done. Gaussian Elimination implemented and test passes.
Note:
See TracTickets
for help on using tickets.
The failing test is test13 in SimpliferTest. I'm classifying this as an enhancement since it really isn't wrong, just not as powerful as it could be.
The best solution I know is to use Gaussian Elimination on the linear system of equalities occurring in the constant map. These are linear in the monomials. The integer part can be separated from the real part.