Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Morphism.is_identity() assumes a Morphism is determined by its action on gens() #17768

Closed
mezzarobba opened this issue Feb 11, 2015 · 4 comments
Closed

Morphism.is_identity() assumes a Morphism is determined by its action on gens() #17768

mezzarobba opened this issue Feb 11, 2015 · 4 comments
Labels
c: algebra r: duplicate t: bug
Milestone
sage-6.5

Comments

@mezzarobba
Copy link
Member

Counterexample:

sage: from sage.categories.morphism import SetMorphism
sage: f = SetMorphism(Hom(QQ, QQ, Sets()), numerator)
sage: f.is_identity()
True

See also #15478, #15381.

CC: @xcaruso @sagetrac-jakobkroeker

Component: algebra

Stopgaps: wrongAnswerMarker

Issue created by migration from https://trac.sagemath.org/ticket/17768
@mezzarobba mezzarobba added this to the sage-6.5 milestone Feb 11, 2015
@mezzarobba

This comment has been minimized.

Sign in to view
@mezzarobba

This comment has been minimized.

Sign in to view
@sagetrac-jakobkroeker
Copy link
Mannequin

sagetrac-jakobkroeker mannequin commented Feb 26, 2017

Stopgaps: wrongAnswerMarker

@jdemeyer
Copy link

comment:4

Duplicate of #15381.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: algebra r: duplicate t: bug
Projects
None yet
Milestone
sage-6.5
Development

No branches or pull requests
2 participants
@jdemeyer @mezzarobba