matroid-0.0.0: 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.Generators

Description

This module contains QuickCheck generators for testing purposes.

Synopsis

Documentation

genUniformMatroids :: Gen (UniformMatroid Int) Source #

a generator for uniform matroids of a reasonable size

genGraphicMatroids :: Gen (GraphicMatroid Int (Int, Int, Int)) Source #

a generator for graphic matroids of reasonable size

genMKnMatroids :: Gen (GraphicMatroid Int (Int, Int)) Source #

a generator for M(K_n) matroids of reasonable size

genFreeMatroids :: Gen (FreeMatroid Int) Source #

a generator for free matroids of a reasonable size

viaRank :: Matroid m a => Gen (m a) -> Gen (RkMatroid a) Source #

a generator for consintency matroid type based on another generator

viaIndep :: Matroid m a => Gen (m a) -> Gen (IndepMatroid a) Source #

a generator for consintency matroid type based on another generator

viaBasisFilter :: Matroid m a => Gen (m a) -> Gen (BasisFilterMatroid a) Source #

a generator for consintency matroid type based on another generator

viaRestriction :: Matroid m a => Gen (m a) -> Gen (AMatroid a) Source #

a generator for matroids of the form M|X based on a generator for M

viaContraction :: Matroid m a => Gen (m a) -> Gen (AMatroid a) Source #

a generator for matroids of the form M.X based on a generator for M

viaDual :: Matroid m a => Gen (m a) -> Gen (AMatroid a) Source #

a generator for matroids of the form M^* based on a generator for M