Test.Matroid.Helpers

This module contains helpers for the matroid unit tests.

Documentation

isMonotoneUnitIncreasing

Arguments

:: Ord a

=> (Set a -> Int)

the rank function (or similar)

-> [a]

sequence to check monotonicity with

-> Bool

Tests whether a given integer valued set function is indeed monotone increasing in at most unit steps

isMonotoneDecreasingBool

Arguments

:: Ord a

=> (Set a -> Bool)

the indep function (or similar)

-> [a]

sequence to check monotonicity with

-> Bool

Tests whether a given boolean valued set function indeed only flips from true to false once when adding elements to its argument

hasIndepExchangeProperty

Arguments

:: Ord a

=> (Set a -> Bool)

the indep function

-> Set a

X

-> Set a

Y

-> Bool

Tests the exchange property of the indep function of a matroid

isIsotoneSetMap

Arguments

:: Ord a

=> (Set a -> Set a)

the cl function (or similar)

-> [a]

sequence to check monotonicity with

-> Bool

Tests whether a given set valued set function is isotone in the set lattice