On Fri, May 31, 2013 at 01:14:09PM -0400, Mark Shimozono wrote:
> Does sage have a functorial Aut construction,
> which yields the group of automorphisms of some object in a category?
Not yet; it just has End.
> I want to use this to define a functorial construction of semidirect products
> in the Groups() category.
>
> Of course it would generally be difficult to test membership in Aut, but it
> would be nice
> to assert this property and to use it for functors.
This makes sense!
You might want to use phi.is_unit(); but it's not necessarily
implemented/able.
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 unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
