Opened 18 months ago

Last modified 4 weeks ago

#31631 new enhancement

Modernize eigenvalues/eigenvectors

Reported by: Vincent Delecroix Owned by:
Priority: major Milestone: sage-9.8
Component: number fields Keywords:
Cc: Marc Mezzarobba Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

It is desirable to have a cleaner and more flexible eigenvalues/eigenvectors computation when the eigenvalues do not belong to the fraction field of the base ring of the matrix. Namely

  • rely on .algebraic_closure() of the fraction field of the base field instead of assuming that the user wants to use QQbar. This will make eigenvalues/eigenvectors computation work over Fp for example.
  • Check coercion to the algebraic closure before using galois_conjugates (the underlying problem of #30518 before it was fixed by #31628)

This problem in the code were noticed in #30518 but an alternative (and useful) workaround in #31628 was designed to solve the initial problem.

Change History (5)

comment:1 Changed 18 months ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

comment:2 Changed 14 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:3 Changed 9 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:4 Changed 6 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:5 Changed 4 weeks ago by Matthias Köppe

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