Opened 11 years ago

Closed 11 years ago

Last modified 11 years ago

#8643 closed defect (fixed)

The inverse of a morphism have the wrong domain and codomain

Reported by: boussica Owned by: Boussicault
Priority: major Milestone:
Component: categories Keywords: morphism, domain and codomain
Cc: Merged in:
Authors: Boussicault Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by boussica)

In the categories of modules with basis, the domain (resp. codomain) of a morphism have to be equals to the codomain (resp. domain) of it's inverse.

In the current modules_with_basis, it is not the case.

Change History (3)

comment:1 follow-up: Changed 11 years ago by boussica

  • Description modified (diff)
  • Resolution set to fixed
  • Status changed from new to closed

comment:2 in reply to: ↑ 1 Changed 11 years ago by mvngu

I assume you have read the Trac guidelines, especially this critical section. What you are doing is creating confusion for release managers by closing tickets without at least providing one reproducible sequence to steps to verify the fix.

comment:3 Changed 11 years ago by nborie

I just confirm Adrien had good reasons to close this ticket.

Please, for the next time, try to explain why you closed the ticket. For example here :

This bug has been reported and fixed by Jason in #7914.

Note: See TracTickets for help on using tickets.