Opened 20 months ago

Last modified 4 days ago

#31889 new enhancement

QQbar : implement minpoly on more descriptors

Reported by: vdelecroix Owned by:
Priority: major Milestone:
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 (6)

comment:1 Changed 20 months ago by gh-DavidAyotte

Cc: gh-DavidAyotte added

comment:2 Changed 19 months ago by mkoeppe

Milestone: sage-9.4sage-9.5

comment:3 Changed 14 months ago by mkoeppe

Milestone: sage-9.5sage-9.6

comment:4 Changed 10 months ago by mkoeppe

Milestone: sage-9.6sage-9.7

comment:5 Changed 5 months ago by mkoeppe

Milestone: sage-9.7sage-9.8

comment:6 Changed 4 days ago by mkoeppe

Milestone: sage-9.8
Note: See TracTickets for help on using tickets.