matroid-0.0.0.1: matroid (combinatorial pre-geometries) library
Copyright(c) Immanuel Albrecht 2020-202x
LicenseBSD-3
Maintainermail@immanuel-albrecht.de
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Matroid.Helpers

Description

This module contains helpers for the matroid unit tests.

Synopsis

Documentation

isMonotoneUnitIncreasing Source #

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 Source #

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 Source #

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 Source #

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