Opened 8 months ago

Last modified 6 weeks ago

#31889 new enhancement

QQbar : implement minpoly on more descriptors

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-9.6
Component: number theory Keywords:
Cc: gh-DavidAyotte Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

The sage implementation of QQbar uses a symbolic representation (called descriptors). The descriptors can be of one of the types

  • ANRational
  • ANRoot
  • ANExtensionElement
  • ANUnaryExpr
  • ANBinaryExpr

For now, only ANRational and ANExtensionElement provides custom computation of minimal polynomials. This ticket implements it for any descriptor.

Change History (3)

comment:1 Changed 8 months ago by gh-DavidAyotte

  • Cc gh-DavidAyotte added

comment:2 Changed 6 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:3 Changed 6 weeks ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6
Note: See TracTickets for help on using tickets.