Opened 5 years ago

Closed 22 months ago

#18258 closed enhancement (worksforme)

Fix coercion for matrix groups / matrix spaces

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: linear algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #18231 Stopgaps:

Description

Add several fix to matrix groups and matrix spaces:

  • matrix space should not override the __call__ of Parent
  • matrix groups should by default define a coercion embedding to the associated matrix space
  • use the method _matrix_ to define a default conversion to matrix spaces

It would solve the two following issues

sage: G = SL(3,QQ)
sage: M = MatrixSpace(QQ,3)
sage: G.one() == M.identity_matrix()  # pb 1
False
sage: G.one() + M.identity_matrix()   # pb 2
... BOOM ...

Change History (1)

comment:1 Changed 22 months ago by jdemeyer

  • Milestone changed from sage-6.7 to sage-duplicate/invalid/wontfix
  • Resolution set to worksforme
  • Status changed from new to closed

Works for me in Sage 8.2.beta5

Note: See TracTickets for help on using tickets.