Copyright | (c) Immanuel Albrecht 2020-202x |
---|---|
License | BSD-3 |
Maintainer | mail@immanuel-albrecht.de |
Stability | experimental |
Portability | POSIX |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This module contains helpers for the matroid unit tests.
Documentation
isMonotoneUnitIncreasing Source #
:: 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 #
:: 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 #
Tests the exchange property of the indep function of a matroid