Opened 4 years ago
Closed 16 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__
ofParent
- 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 16 months ago by
- Milestone changed from sage-6.7 to sage-duplicate/invalid/wontfix
- Resolution set to worksforme
- Status changed from new to closed
Note: See
TracTickets for help on using
tickets.
Works for me in Sage 8.2.beta5