Hi, I am looking for a way to define 1) finite (multiplicative) semigroups generated by a set of square 0/1 matrices where the composition is the reduced matrix multiplication (reduce the product of two 0/1 matrices by putting a 1 whenever the result is positive and a 0 otherwise) or more generally 2) finite multiplicative semigroups where I can explicitely specify the group law.
Is there any support for such things already included in SAGE or do I need to develop a new class for such semigroups - any ideas where such class should be fit into the existing hierarchy of SAGE classes (inheritance etc.)? Thanks a lot for any comments. Best M. -- 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
