On Sun, Aug 19, 2012 at 08:54:08PM +0200, Vincent Delecroix wrote:
> There is a weirdness in the initialization of Parent with a facade.
> Consider the following example
>
> class MySet(Parent):
> def __init__(self):
> Parent.__init__(self, category=(FiniteEnumeratedSets(), Monoids()))
>
> The category of an instance of MySet is just a join of the two
> categories. When I add a facade argument to the initialization of
> Parent as in
>
> class MyFacadeSet(Parent):
> def __init__(self):
> Parent.__init__(self, category=(FiniteEnumeratedSets(),
> Monoids()), facade=FreeMonoid(2, 'ab'))
>
> I got the error "AttributeError: 'tuple' object has no attribute
> 'is_subcategory'". It is few lines in Parent.__init__ but I suspect
> that some ticket solves the problem yet. Does anybody know what should
> I do?
I'll check this out tomorrow, but I suspect I simply screwed up this
use case. Unless there is a patch in the Sage-Combinat queue touching
those lines, I guess you are just the first one hitting it! The tuple
should be converted to a category before amending it with Facade.
Do you want me to handle this in the "more functorial construction
patch" since anyway it touches facades? Otherwise, go ahead.
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sage-combinat-devel?hl=en.
