Dear Victor,
let me be more explicit: using
sage.combinat.diagram_algebras.DiagramAlgebra
you would be able to implement the algebra of binary relations on a fixed
set X. The diagrams are the relations, that is, subsets of X x X.
I am not sure whether this is already available for easy use, it might be.
If you want binary relations between pairs of sets X and Y, you would need
to generalise DiagramAlgebra to DiagramCategory: the objects are finite
sets and the morphisms are the diagrams.
I think this would be very worthwhile to do, because one would obtain very
many important constructions all at once.
Martin
Am Samstag, 13. Januar 2018 16:44:14 UTC+1 schrieb Victor Porton:
>
> On Friday, January 12, 2018 at 10:55:29 AM UTC+2, Martin R wrote:
>>
>> Maybe this can be done using
>> http://doc.sagemath.org/html/en/reference/algebras/sage/combinat/diagram_algebras.html
>>
>
> It seems unrelated.
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
