Changes between Initial Version and Version 2 of Ticket #19955


Ignore:
Timestamp:
03/09/16 22:49:36 (6 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #19955

    • Property Dependencies changed from #19954, #18356 to #19954, #18356, #20074
    • Property Summary changed from QQbar cleaning 2 to QQbar cleaning 3

  • Ticket #19955 – Description

    initial v2  
    11This is a follow up of #19954 where we:
    2  - make `ANRoot` be a descriptor for roots of '''irreducible''' polynomials with '''rational''' coefficients
    3  - get rid of `ANUnaryExpr` and `ANBinaryExpr` and use the code from #18356 for addition/subtraction/multiplication/division
     2 - create a new descriptor `ANRootRational` as a descriptor for roots of '''irreducible''' polynomials with '''rational''' coefficients
     3 - write exactification code to go from `ANRoot` to `ANRootRational` (i.e. go from a `QQbar` polynomial anihilator to the minimal polynomial over `QQ`)
     4 - get rid of `ANUnaryExpr` and `ANBinaryExpr` and use the code from #18356 for addition/subtraction/multiplication/division of anihilator polynomial or minimal polynomial
     5
     6We might want to force elements of small degrees to lies into number fields (possibly using a global threshold value).
    47
    58This is part of the task #18333.