Changes between Version 1 and Version 3 of Ticket #20074
- Timestamp:
- 02/17/16 12:20:40 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #20074
-
Property
Commit
changed from
9264ff161e50900ce17ca62393d70b8abc4b4bb6
to012ae1865e4c2ab7bdf422e58d4b806b69ebc069
-
Property
Commit
changed from
-
Ticket #20074 – Description
v1 v3 5 5 - detect unions earlier in the code to avoid constructing `ANBinaryExpr` 6 6 7 As a consequence, we have exactification detected earlier 8 {{{ 9 sage: sqrt17 = QQbar(17).sqrt() 10 sage: sqrt19 = QQbar(19).sqrt() 11 sage: (sqrt17 + sqrt19).exactify() 12 sage: sqrt17 * sqrt19 + sqrt17 - sqrt19 * sqrt17 - sqrt17 13 0 14 }}} 15 Instead of `0.?e-17` on the current beta. 16 7 17 follow up: #19955