Copperbox revision 3092.
I've implemented the prime operator (twice). In the literature on Formal Concept Analysis prime seems to be overloaded for two functions:
' : P(O) -> P(A)
(... deriving the set of shared attributes for all objects in a given set)
' : P(A) -> P(O)
(... deriving the set of objects sharing a given set of attributes)
Blog Archive
About Me
- Stephen Tetley
- Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.