Function to establish class membership of induced inclusions given a partial order structure
an induced inclusion ('list' format)
a partial order structure
(logical) should the equations be printed in the outcome?
the pair separator
The induced inclusion function takes certain additions to the partial order, and then check whether a congruence relation is established among the relations.
A vector with the class membership of the elements in the structure
Antonio Rivero Ostoic
Pattison, P.E. Algebraic Models for Social Networks. Cambridge University Press. 1993.
1 2 3 4 5 6
Want to suggest features or report bugs for rdrr.io? Use the GitHub issue tracker.