Dear Martin, I do not understand DiagramAlgebra:
- it has base_ring argument. My work is unrelated to rings. What is this? - It says something about "basis elements". What is this? - What is set_partitions() for a diagram? In short: I do not understand DiagramAlgebra and whether it is what I need. Meanwhile, I implemented my BinaryRelation and am waiting for a trac account which I requested. On Sun, 2018-01-14 at 00:39 -0800, 'Martin R' via sage-devel wrote: > 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/refe > > > rence/algebras/sage/combinat/diagram_algebras.html > > > > It seems unrelated. > > > > -- > > You received this message because you are subscribed to a topic in > the Google Groups "sage-devel" group. > > To unsubscribe from this topic, visit https://groups.google.com/d/top > ic/sage-devel/Z6b--shtx-I/unsubscribe. > > To unsubscribe from this group and all its topics, send an email to s > [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. > -- 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.
