Is this a bug? FiniteSetMaps??

answered 2012-11-28 12:52:36 +0200

ppurka
2111 ●17 ●38

updated 2012-11-28 12:55:18 +0200

They have different hashes

sage: f._hash_()
115435715
sage: g._hash_()
115435971

Also:

sage: f.parent()
Maps from {} to itself
sage: g.parent()
Maps from {} to {}
sage: type(f.parent())
<class 'sage.sets.finite_set_maps.FiniteSetEndoMaps_Set_with_category'>
sage: type(g.parent())
<class 'sage.sets.finite_set_maps.FiniteSetMaps_Set_with_category'>

edit flag offensive delete link

Comments

@ppurka I see that the parents are different and that they have different hashes, but ultimately they function the same, so shouldn't they be considered equal?

SLOtoSF ( 2012-11-28 14:03:00 +0200 )edit

Programmatically, they probably can not be considered the same if the parents are different. Without looking at the actual source code, I presume that the computation of the hash will be different in the two different classes.

ppurka ( 2012-11-29 10:08:29 +0200 )edit

Yes, I guess we have to live with this. Technically if the maps are the same with the same codomain and domain, then they should have the same parent, and because the parent is defined when the maps are created I see how this could be a problem to fix since we can't change parents once the object is created, right?

SLOtoSF ( 2012-11-30 20:13:21 +0200 )edit

add a comment

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Is this a bug? FiniteSetMaps?? edit

1 Answer

Comments