#19955: QQbar cleaning 3
------------------------------------------+------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.1
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Vincent Delecroix | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #19954, #18356, #20074 | Stopgaps:
------------------------------------------+------------------------
Description changed by vdelecroix:
Old description:
> This is a follow up of #19954 where we:
> - make `ANRoot` be a descriptor for roots of '''irreducible'''
> polynomials with '''rational''' coefficients
> - get rid of `ANUnaryExpr` and `ANBinaryExpr` and use the code from
> #18356 for addition/subtraction/multiplication/division
>
> This is part of the task #18333.
New description:
This is a follow up of #19954 where we:
- create a new descriptor `ANRootRational` as a descriptor for roots of
'''irreducible''' polynomials with '''rational''' coefficients
- write exactification code to go from `ANRoot` to `ANRootRational` (i.e.
go from a `QQbar` polynomial anihilator to the minimal polynomial over
`QQ`)
- get rid of `ANUnaryExpr` and `ANBinaryExpr` and use the code from
#18356 for addition/subtraction/multiplication/division of anihilator
polynomial or minimal polynomial
We might want to force elements of small degrees to lies into number
fields (possibly using a global threshold value).
This is part of the task #18333.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/19955#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
