Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Properties of real approximations we want to check in tests.
Documentation
type RAPropTupleUnary ira = ira -> String -> ((Ix20, RAThin ira) -> Bool, (Ix20, RAConsistent ira) -> Bool, (Ix20, RAThin ira) -> Bool, (Ix20, RAConsistent ira) -> Bool, (Ix20, RADirected ira) -> Bool)Source
props_ra_AMinusA_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_ADivA_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_AddCommut_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_MultCommut_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_AddAssoc_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_MultAssoc_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_Distr_eq_oi :: (ERIntApprox ira, ERInnerOuterApprox ira) => RAPropTupleUnary iraSource
props_ra_SinCos_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource
props_ra_TanATan_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource
props_ra_LogExp_eq_oi :: (ERInnerOuterApproxElementary ira, ERApproxElementary ira) => RAPropTupleUnary iraSource