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/gap_functions.py
, but I am not sure how to use them.