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:

Status badges

Description (last modified by dkrenn)

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 dkrenn

  • Description modified (diff)

comment:2 Changed 6 years ago by dkrenn

  • Milestone changed from sage-6.9 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

Sorry, I was wrong. Code seems to be fine. Ticket invalid.

comment:3 Changed 6 years ago by dkrenn

  • Status changed from needs_review to positive_review

comment:4 in reply to: ↑ description Changed 6 years ago by dkrenn

  • Description modified (diff)
Last edited 6 years ago by dkrenn (previous) (diff)

comment:5 Changed 6 years ago by vbraun

  • Resolution set to invalid
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.