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 provides implementations of uniform matroids.
Synopsis
- data UniformMatroid a
- uniformOn :: Ord a => Set a -> Int -> UniformMatroid a
- uniform :: Int -> Int -> UniformMatroid Int
- data FreeMatroid a
- freeOn :: Ord a => Set a -> FreeMatroid a
Documentation
data UniformMatroid a Source #
data type representing a uniform matroid over a given ground set
Instances
:: Ord a | |
=> Set a | ground set of the uniform matroid |
-> Int | rank of the uniform matroid (r) |
-> UniformMatroid a |
returns a uniform matroid on a given ground set of rank r
:: Int | size of the uniform matroid (number of edges, n) |
-> Int | rank of the uniform matroid (r) |
-> UniformMatroid Int |
returns a uniform matroid on the intergers from 1..n of rank r
data FreeMatroid a Source #
data type that represents a free matroid over a given set (free matroids are of course uniform)