Data.Matroid.Typeclass.Defaults

This module provides default implementations for the members of the Matroid typeclass.

Documentation

rk

Arguments

:: (Set a -> Set a)

basis filter of the matroid

-> Set a

set of matroid elements

-> Int

returns the rank of the set, wrt. to the given basis filter

indep

Arguments

:: (Set a -> Int)

the rank function of the matroid

-> Set a

set of matroid elements

-> Bool

tests whether a given set is independent

basis

Arguments

:: Ord a

=> (Set a -> Bool)

the independence test of the matroid

-> Set a

set of matroid elements

-> Set a

obtains an independent subset with maximal cardinality

cl

Arguments

:: Ord a

=> (Set a -> Int)

the rank function of the matroid

-> Set a

the groundset of the matroid

-> Set a

set of matroid elements

-> Set a

computes the closure of a given set

loops

Arguments

:: (Set a -> Set a)

the closure operator of the matroid

-> Set a

returns the loops in the matroid

coRk

Arguments

:: Ord a

=> (Set a -> Int)

the rank function of the matroid

-> Set a

the ground set of the matroid

-> Set a

set of matroid elements

-> Int

rank function of the dual matroid

coloops

Arguments

:: Ord a

=> (Set a -> Int)

the rank function of the matroid

-> Set a

the ground set of the matroid

-> Set a

returns the coloops in the matroid