Commit 14ef244
committed
When re-writing a factor containing a unary negation of a literal, only
affect nodes without another operator. This was causing negated
exponentiations to drop the exponentiation. This closes SF bug #456756.1 parent 4b8c0f6 commit 14ef244
1 file changed
Lines changed: 3 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1891 | 1891 | | |
1892 | 1892 | | |
1893 | 1893 | | |
| 1894 | + | |
1894 | 1895 | | |
| 1896 | + | |
1895 | 1897 | | |
| 1898 | + | |
1896 | 1899 | | |
1897 | 1900 | | |
1898 | 1901 | | |
| |||
0 commit comments