Paraiso-0.3.1.2: a code generator for partial differential equations solvers.
Language.Paraiso.PiSystem
Description
In mathematics, a pi-system is a non-empty family of sets that is closed under finite intersections.
class PiSystem a whereSource
Methods
empty :: aSource
an empty set.
null :: a -> BoolSource
is this an empty set?
intersection :: a -> a -> aSource
intersection of two sets.
Instances
a Vector of PiSystem is also a PiSystem. This is an overlapping instance, can be overwritten by more specific instances.
Vector
PiSystem