Floating CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
Fractional CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
Num CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
Arbitrary CReal Source # | |
Instance detailsDefined in AERN2.Real.Tests |
CanSqrt CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
CanExp CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
CanLog CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
CanSinCos CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
Field CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
OrderedField CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
Ring CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
OrderedRing CReal Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSelect CKleenean Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
HasLimits Int CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
HasLimits Integer CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
HasLimits Rational CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
ConvertibleExactly Int CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
ConvertibleExactly Integer CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
ConvertibleExactly Rational CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
ConvertibleExactly Dyadic CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
ConvertibleExactly CReal CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
ConvertibleWithPrecision CReal (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Type |
CanTakeErrors NumErrors (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.Type |
(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Int a, CanTestZero a) => CanDiv Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Integer a, CanTestZero a) => CanDiv Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Rational a, CanTestZero a) => CanDiv Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv MPBall b, CanTestZero b) => CanDiv MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Dyadic a, CanTestZero a) => CanDiv Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanMulAsymmetric MPBall b => CanMulAsymmetric MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Int a => CanAddAsymmetric Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Integer a => CanAddAsymmetric Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric MPBall b => CanAddAsymmetric MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Int a => CanSub Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Integer a => CanSub Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Rational a => CanSub Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub MPBall b => CanSub MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Dyadic a => CanSub Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric MPBall a => CanMinMaxAsymmetric MPBall (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Int a, IsBool (CSequence (EqCompareType Int a))) => HasEqAsymmetric Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Integer a, IsBool (CSequence (EqCompareType Integer a))) => HasEqAsymmetric Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Rational a, IsBool (CSequence (EqCompareType Rational a))) => HasEqAsymmetric Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasEqAsymmetric MPBall b => HasEqAsymmetric MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Dyadic a, IsBool (CSequence (EqCompareType Dyadic a))) => HasEqAsymmetric Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Int a, IsBool (CSequence (OrderCompareType Int a))) => HasOrderAsymmetric Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Integer a, IsBool (CSequence (OrderCompareType Integer a))) => HasOrderAsymmetric Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Rational a, IsBool (CSequence (OrderCompareType Rational a))) => HasOrderAsymmetric Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasOrderAsymmetric MPBall b => HasOrderAsymmetric MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Dyadic a, IsBool (CSequence (OrderCompareType Dyadic a))) => HasOrderAsymmetric Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
(HasCReals t, HasIntegers t) => ConvertibleExactly CReal (Complex t) Source # | |
Instance detailsDefined in AERN2.Complex |
HasLimits Rational (CReal -> CReal) Source # | |
Instance detailsDefined in AERN2.Real.Limit |
HasEqCertainly a a => Eq (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqCertainly a a, HasOrderCertainly a a) => Ord (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
Show t => Show (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.Type |
CanClearPotentialErrors (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.Type |
CanAbs t1 => CanAbs (CSequence t1) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanNeg t => CanNeg (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv b MPBall => CanDiv (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Integer => CanDiv (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Int => CanDiv (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Rational => CanDiv (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Dyadic => CanDiv (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanMulAsymmetric b MPBall => CanMulAsymmetric (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub b MPBall => CanSub (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Integer => CanSub (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Int => CanSub (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Rational => CanSub (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Dyadic => CanSub (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanMinMaxAsymmetric a MPBall => CanMinMaxAsymmetric (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasEqAsymmetric a MPBall => HasEqAsymmetric (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Integer, IsBool (CSequence (EqCompareType a Integer))) => HasEqAsymmetric (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Int, IsBool (CSequence (EqCompareType a Int))) => HasEqAsymmetric (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Rational, IsBool (CSequence (EqCompareType a Rational))) => HasEqAsymmetric (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Dyadic, IsBool (CSequence (EqCompareType a Dyadic))) => HasEqAsymmetric (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasOrderAsymmetric a MPBall => HasOrderAsymmetric (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Integer, IsBool (CSequence (OrderCompareType a Integer))) => HasOrderAsymmetric (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Int, IsBool (CSequence (OrderCompareType a Int))) => HasOrderAsymmetric (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Rational, IsBool (CSequence (OrderCompareType a Rational))) => HasOrderAsymmetric (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Dyadic, IsBool (CSequence (OrderCompareType a Dyadic))) => HasOrderAsymmetric (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
ConvertibleExactly (WithAnyPrec (CN MPBall)) CReal Source # | |
Instance detailsDefined in AERN2.Real.Type |
CanExtractApproximation (CSequence t) Precision Source # | |
|
HasAccuracy t => CanExtractApproximation (CSequence t) Accuracy Source # | |
|
(CanPow b e, HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, CanTestInteger e) => CanPow (CSequence b) (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Int a, CanTestZero a) => CanDiv (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Integer a, CanTestZero a) => CanDiv (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Rational a, CanTestZero a) => CanDiv (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv MPBall b, CanTestZero b) => CanDiv (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv Dyadic a, CanTestZero a) => CanDiv (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanDiv t1 t2, CanTestZero t2) => CanDiv (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv b MPBall => CanDiv (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Integer => CanDiv (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Int => CanDiv (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Rational => CanDiv (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanDiv a Dyadic => CanDiv (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric MPBall b, CanGiveUpIfVeryInaccurate (MulType MPBall b)) => CanMulAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric t1 t2, CanGiveUpIfVeryInaccurate (MulType t1 t2)) => CanMulAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric b MPBall, CanGiveUpIfVeryInaccurate (MulType b MPBall)) => CanMulAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Int a => CanAddAsymmetric (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Integer a => CanAddAsymmetric (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Rational a => CanAddAsymmetric (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric MPBall b => CanAddAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric Dyadic a => CanAddAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric t1 t2 => CanAddAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Int a => CanSub (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Integer a => CanSub (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Rational a => CanSub (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub MPBall b => CanSub (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub Dyadic a => CanSub (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub t1 t2 => CanSub (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub b MPBall => CanSub (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Integer => CanSub (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Int => CanSub (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Rational => CanSub (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanSub a Dyadic => CanSub (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric MPBall a => CanMinMaxAsymmetric (CN MPBall) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a MPBall => CanMinMaxAsymmetric (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric t1 t2 => CanMinMaxAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Int a, IsBool (CSequence (EqCompareType Int a))) => HasEqAsymmetric (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Integer a, IsBool (CSequence (EqCompareType Integer a))) => HasEqAsymmetric (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Rational a, IsBool (CSequence (EqCompareType Rational a))) => HasEqAsymmetric (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasEqAsymmetric MPBall b => HasEqAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric Dyadic a, IsBool (CSequence (EqCompareType Dyadic a))) => HasEqAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasEqAsymmetric a MPBall => HasEqAsymmetric (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric t1 t2, IsBool (CSequence (EqCompareType t1 t2))) => HasEqAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Integer, IsBool (CSequence (EqCompareType a Integer))) => HasEqAsymmetric (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Int, IsBool (CSequence (EqCompareType a Int))) => HasEqAsymmetric (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Rational, IsBool (CSequence (EqCompareType a Rational))) => HasEqAsymmetric (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasEqAsymmetric a Dyadic, IsBool (CSequence (EqCompareType a Dyadic))) => HasEqAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Int a, IsBool (CSequence (OrderCompareType Int a))) => HasOrderAsymmetric (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Integer a, IsBool (CSequence (OrderCompareType Integer a))) => HasOrderAsymmetric (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Rational a, IsBool (CSequence (OrderCompareType Rational a))) => HasOrderAsymmetric (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasOrderAsymmetric MPBall b => HasOrderAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric Dyadic a, IsBool (CSequence (OrderCompareType Dyadic a))) => HasOrderAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
HasOrderAsymmetric a MPBall => HasOrderAsymmetric (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric t1 t2, IsBool (CSequence (OrderCompareType t1 t2))) => HasOrderAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Integer, IsBool (CSequence (OrderCompareType a Integer))) => HasOrderAsymmetric (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Int, IsBool (CSequence (OrderCompareType a Int))) => HasOrderAsymmetric (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Rational, IsBool (CSequence (OrderCompareType a Rational))) => HasOrderAsymmetric (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
(HasOrderAsymmetric a Dyadic, IsBool (CSequence (OrderCompareType a Dyadic))) => HasOrderAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
CanAndOrAsymmetric t1 t2 => CanAndOrAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
type SqrtType CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
type ExpType CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
type LogType CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
type SinCosType CReal Source # | |
Instance detailsDefined in AERN2.Real.Elementary |
type SelectType CKleenean Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
type LimitType Int CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
type LimitType Integer CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
type LimitType Rational CReal Source # | |
Instance detailsDefined in AERN2.Real.Limit |
type PowType Int (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type PowType Integer (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type PowType Rational (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MinMaxType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType MPBall (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType Int (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType Integer (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType Rational (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType MPBall (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType Dyadic (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type IfThenElseType CKleenean (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
type LimitType Rational (CReal -> CReal) Source # | |
Instance detailsDefined in AERN2.Real.Limit |
type AbsType (CSequence t1) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type NegType (CSequence t) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |
type PowType (CSequence b) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
type PowType (CSequence b) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
type PowType (CSequence b) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence b) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MinMaxType (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) MPBall Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) Dyadic Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) Rational Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) Int Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) Integer Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type ExtractedApproximation (CSequence t) Precision Source # | |
|
type ExtractedApproximation (CSequence t) Accuracy Source # | |
|
type PowType (CSequence b) (CSequence e) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type DivType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MulType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type AddType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence b) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type SubType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Field |
type MinMaxType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CN MPBall) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type MinMaxType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type EqCompareType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CN Int) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CN Integer) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CN Rational) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CN MPBall) (CSequence b) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CN Dyadic) (CSequence a) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) (CN MPBall) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) (CN Int) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type OrderCompareType (CSequence a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.Real.Comparisons |
type AndOrType (CSequence t1) (CSequence t2) Source # | |
Instance detailsDefined in AERN2.Real.CKleenean |