Opened 6 years ago

Last modified 3 years ago

#19955 closed enhancement

QQbar cleaning 3 — at Version 2

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: number fields Keywords:
Cc: Merged in:
Authors: Vincent Delecroix Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #19954, #18356, #20074 Stopgaps:

Status badges

Description (last modified by vdelecroix)

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.

Change History (2)

comment:1 Changed 6 years ago by vdelecroix

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

comment:2 Changed 6 years ago by vdelecroix

  • Description modified (diff)
Note: See TracTickets for help on using tickets.