Nicolas, Does sage have a functorial Aut construction, which yields the group of automorphisms of some object in a category?
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. --Mark -- 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.