Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Binary relations

Are finite binary relations as subsets of Cartesian product implemented in Sage? I am interested in taking set-theoretic operations, finding composition and inverse, checking properties such as reflexivity and antisymmetry. I found a report here, but I am not sure if it made its way into version 8.5. If so, is there documentation and examples? By doing search_src("binaryrelation") I also found functions IsBinaryRelation, IsReflexiveBinaryRelation, etc. in libs/gap/, but I am not sure how to use them.