Hi, The best place to look at is in sage/categories/examples/ semigroups.py.
Following FreeSemiGroup in the file mentioned above, I was able to implement 1) in 50 lines, which make me think that the category mechanism is not so bad ;-) I do have a question : do you know a small set of generators for that semigroup ? Cheers, Vincent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org