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+unsubscribe@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
0 ความคิดเห็น:
แสดงความคิดเห็น