subject:"\[sage\-combinat\-devel\] Is there a reason for CombinatorialFreeModule to violate the unique parent condition\?"

Re: [sage-combinat-devel] Is there a reason for CombinatorialFreeModule to violate the unique parent condition?

2013-02-25 Thread Nicolas M. Thiery

Hi Simon! Thanks for your work toward improving unique representations! On Mon, Feb 25, 2013 at 03:33:56PM +, Simon King wrote: > sage: G = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix="G") > sage: y = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix='y') > sage: G is y > False > sage:

[sage-combinat-devel] Is there a reason for CombinatorialFreeModule to violate the unique parent condition?

2013-02-25 Thread Simon King

Hi! sage: G = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix="G") sage: y = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix='y') sage: G is y False sage: G == y True This is inspite of the fact that CombinatorialFreeModule inherits from UniqueRepresentation. Namely, it overloads __eq__ and __ne__.