Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Reduce
Description
Quickcheck properties of operations that reduce the size of polynomials.
AERN-RnToRm-0.5.0.1: polynomial function enclosures (PFEs) approximating exact real functions
Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Data.Number.ER.RnToRm.UnitDom.Base.Tests.Properties.Reduce
Description
Quickcheck properties of operations that reduce the size of polynomials.