Opened 3 years ago

Last modified 2 years ago

#22397 needs_info enhancement

generalized Jordan form

Reported by: chapoton Owned by:
Priority: major Milestone: sage-8.4
Component: linear algebra Keywords:
Cc: vdelecroix, mmasdeu, cpernet Merged in:
Authors: Frédéric Chapoton Reviewers:
Report Upstream: N/A Work issues:
Branch: u/chapoton/22397 (Commits) Commit: 72ecb53462387ff62cb5ab1d84a45b567e5247dd
Dependencies: Stopgaps:

Description (last modified by chapoton)

Currently, when asking for similarity of matrices over a field, we are not able to return the transformation matrix.

This is because the rational_form algorithm cannot do that.

Here is another canonical form, the generalized_jordan_form, that can do that.

WARNING: this is in a preliminary state. There is a subtle mathematical point that needs to be understood..

Change History (6)

comment:1 Changed 3 years ago by chapoton

  • Branch set to u/chapoton/22397
  • Cc tscrim added
  • Commit set to 72ecb53462387ff62cb5ab1d84a45b567e5247dd
  • Description modified (diff)
  • Summary changed from generalized jordan form to generalized Jordan form

New commits:

​72ecb53first step towards generalized Jordan form over fields

comment:2 Changed 3 years ago by chapoton

  • Cc vdelecroix added
  • Description modified (diff)
  • Milestone changed from sage-7.6 to sage-8.0

comment:3 Changed 3 years ago by chapoton

  • Cc mmasdeu added

Does anybody else think this would be useful ? Is there any way for us to have this through one of our libraries or components (flint, etc) ?

comment:4 Changed 3 years ago by tscrim

I have no idea as I don't have any knowledge in this area.

comment:5 Changed 2 years ago by chapoton

  • Cc cpernet added
  • Milestone changed from sage-8.0 to sage-8.4
  • Status changed from new to needs_info

comment:6 Changed 2 years ago by chapoton

  • Cc tscrim removed
Note: See TracTickets for help on using tickets.