Opened 6 years ago
Closed 6 years ago
#19257 closed defect (invalid)
pushout wrong when using coercion_reversed in construction functor
Reported by: | dkrenn | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | categories | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
In sage.categories.pushout.SubspaceFunctor
we have the example
sage: M = ZZ^3 sage: S = M.submodule([(1,2,3),(4,5,6)]); S Free module of degree 3 and rank 2 over Integer Ring Echelon basis matrix: [1 2 3] [0 3 6] sage: S.construction() (SubspaceFunctor, Ambient free module of rank 3 over the principal ideal domain Integer Ring)
The subspace functor uses coercion_reversed=True
. The pushout
sage: sage.categories.pushout.pushout(S, M) Ambient free module of rank 3 over the principal ideal domain Integer Ring
is wrong.
Change History (5)
comment:1 Changed 6 years ago by
- Description modified (diff)
comment:2 Changed 6 years ago by
- Milestone changed from sage-6.9 to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
comment:3 Changed 6 years ago by
- Status changed from needs_review to positive_review
comment:4 in reply to: ↑ description Changed 6 years ago by
- Description modified (diff)
comment:5 Changed 6 years ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Sorry, I was wrong. Code seems to be fine. Ticket invalid.