powered by
kmeqreduction takes a family of knowledge states and returns its reduction to non-equivalent items.
kmeqreduction
kmeqreduction(x)
Binary matrix reduced by equivalences
Binary matrix
Other Properties of knowledge structures: kmiswellgraded(), kmnotions()
kmiswellgraded()
kmnotions()
kmeqreduction(xpl$space)
Run the code above in your browser using DataLab