(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (CN (WithCurrentPrec p (CN MPBall))) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Limit |
(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Limit |
CanTakeErrors NumErrors t => CanTakeErrors NumErrors (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Type |
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric Integer a => CanAddAsymmetric Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric Int a => CanAddAsymmetric Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub Rational a => CanSub Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub Integer a => CanSub Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub Int a => CanSub Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv Rational a => CanDiv Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv Integer a => CanDiv Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv Int a => CanDiv Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric Rational a => HasEqAsymmetric Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric Integer a => HasEqAsymmetric Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric Int a => HasEqAsymmetric Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(ConvertibleWithPrecision t1 t2, KnownNat p) => ConvertibleExactly t1 (WithCurrentPrec p t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Type |
CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric Rational a => CanMulAsymmetric Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric Integer a => CanMulAsymmetric Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric Int a => CanMulAsymmetric Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric Rational a => HasOrderAsymmetric Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric Integer a => HasOrderAsymmetric Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric Int a => HasOrderAsymmetric Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric (CN Rational) a => CanAddAsymmetric (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric (CN Integer) a => CanAddAsymmetric (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric (CN Int) a => CanAddAsymmetric (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub (CN Rational) a => CanSub (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub (CN Integer) a => CanSub (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub (CN Int) a => CanSub (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv (CN Rational) a => CanDiv (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv (CN Integer) a => CanDiv (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv (CN Int) a => CanDiv (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric (CN Rational) a => HasEqAsymmetric (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric (CN Integer) a => HasEqAsymmetric (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric (CN Int) a => HasEqAsymmetric (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric (CN Rational) a => CanMinMaxAsymmetric (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric (CN Integer) a => CanMinMaxAsymmetric (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric (CN Int) a => CanMinMaxAsymmetric (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric (CN Rational) a => CanMulAsymmetric (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric (CN Integer) a => CanMulAsymmetric (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric (CN Int) a => CanMulAsymmetric (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric (CN Rational) a => HasOrderAsymmetric (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric (CN Integer) a => HasOrderAsymmetric (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric (CN Int) a => HasOrderAsymmetric (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
KnownNat p => Floating (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.PreludeInstances |
(KnownNat p, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.PreludeInstances |
(KnownNat p, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.PreludeInstances |
Show t => Show (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Type |
Eq t => Eq (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.PreludeInstances |
Ord t => Ord (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.PreludeInstances |
CanNeg t => CanNeg (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanExp t => CanExp (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanLog t => CanLog (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanSinCos t => CanSinCos (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanSqrt t => CanSqrt (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
KnownNat p => Field (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec |
KnownNat p => OrderedField (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec |
CanAbs t => CanAbs (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanTestIsIntegerType t => CanTestIsIntegerType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Type |
KnownNat p => OrderedRing (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec |
KnownNat p => Ring (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a Rational => CanAddAsymmetric (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a Integer => CanAddAsymmetric (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a Int => CanAddAsymmetric (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a Dyadic => CanSub (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a Rational => CanSub (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a Integer => CanSub (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a Int => CanSub (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a Dyadic => CanDiv (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a Rational => CanDiv (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a Integer => CanDiv (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a Int => CanDiv (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a Rational => HasEqAsymmetric (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a Integer => HasEqAsymmetric (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a Int => HasEqAsymmetric (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a Rational => CanMulAsymmetric (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a Integer => CanMulAsymmetric (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a Int => CanMulAsymmetric (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a Rational => HasOrderAsymmetric (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a Integer => HasOrderAsymmetric (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a Int => HasOrderAsymmetric (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanPow b Rational => CanPow (WithCurrentPrec p b) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanPow b Integer => CanPow (WithCurrentPrec p b) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanPow b Int => CanPow (WithCurrentPrec p b) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a (CN Rational) => CanAddAsymmetric (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a (CN Integer) => CanAddAsymmetric (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanAddAsymmetric a (CN Int) => CanAddAsymmetric (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a (CN Dyadic) => CanSub (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a (CN Rational) => CanSub (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a (CN Integer) => CanSub (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanSub a (CN Int) => CanSub (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a (CN Rational) => CanDiv (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a (CN Integer) => CanDiv (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanDiv a (CN Int) => CanDiv (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a (CN Rational) => HasEqAsymmetric (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a (CN Integer) => HasEqAsymmetric (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasEqAsymmetric a (CN Int) => HasEqAsymmetric (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a (CN Rational) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a (CN Integer) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMinMaxAsymmetric a (CN Int) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a (CN Rational) => CanMulAsymmetric (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a (CN Integer) => CanMulAsymmetric (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
CanMulAsymmetric a (CN Int) => CanMulAsymmetric (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a (CN Rational) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a (CN Integer) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
HasOrderAsymmetric a (CN Int) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
(CanSub t1 t2, p1 ~ p2) => CanSub (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
(CanDiv t1 t2, p1 ~ p2) => CanDiv (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
(CanPow t1 t2, p1 ~ p2) => CanPow (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Limit |
type LimitType ix (WithCurrentPrec p (CN MPBall)) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Limit |
type AddType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type EqCompareType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MulType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type OrderCompareType Dyadic (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType Rational (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType Integer (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType Int (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type PPowType Rational (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PPowType Integer (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PPowType Int (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType Rational (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType Integer (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType Int (WithCurrentPrec p e) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type AddType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type EqCompareType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MulType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (CN Rational) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (CN Integer) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (CN Int) (WithCurrentPrec p a) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type NegType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type ExpType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type LogType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type SinCosType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type SqrtType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type AbsType (WithCurrentPrec p t) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type AddType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type EqCompareType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MulType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type OrderCompareType (WithCurrentPrec p a) Dyadic Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type PPowType (WithCurrentPrec p b) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PPowType (WithCurrentPrec p b) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PPowType (WithCurrentPrec p b) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType (WithCurrentPrec p b) Rational Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType (WithCurrentPrec p b) Integer Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType (WithCurrentPrec p b) Int Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type AddType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type AddType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type EqCompareType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type EqCompareType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MulType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type MulType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) (CN Rational) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) (CN Integer) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type OrderCompareType (WithCurrentPrec p a) (CN Int) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Field |
type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Comparisons |
type PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |
type PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # | |
Instance detailsDefined in AERN2.MP.WithCurrentPrec.Elementary |