Changes between Version 1 and Version 3 of Ticket #20074


Ignore:
Timestamp:
02/17/16 12:20:40 (6 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #20074

    • Property Commit changed from 9264ff161e50900ce17ca62393d70b8abc4b4bb6 to 012ae1865e4c2ab7bdf422e58d4b806b69ebc069

  • Ticket #20074 – Description

    v1 v3  
    55- detect unions earlier in the code to avoid constructing `ANBinaryExpr`
    66
     7As a consequence, we have exactification detected earlier
     8{{{
     9sage: sqrt17 = QQbar(17).sqrt()
     10sage: sqrt19 = QQbar(19).sqrt()
     11sage: (sqrt17 + sqrt19).exactify()
     12sage: sqrt17 * sqrt19 + sqrt17 - sqrt19 * sqrt17 - sqrt17
     130
     14}}}
     15Instead of `0.?e-17` on the current beta.
     16
    717follow up: #19955