Fractional CReal Source # | |
Instance details |
Num CReal Source # | |
Instance details |
Field CReal Source # | |
Instance details |
OrderedField CReal Source # | |
Instance details |
Ring CReal Source # | |
Instance details |
OrderedRing CReal Source # | |
Instance details |
(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (CSequence e) Source # | |
Instance details |
(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (CSequence e) Source # | |
Instance details |
(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (CSequence e) Source # | |
Instance details |
(CanDiv Int a, CanTestZero a) => CanDiv Int (CSequence a) Source # | |
Instance details |
(CanDiv Integer a, CanTestZero a) => CanDiv Integer (CSequence a) Source # | |
Instance details |
(CanDiv Rational a, CanTestZero a) => CanDiv Rational (CSequence a) Source # | |
Instance details |
(CanDiv MPBall b, CanTestZero b) => CanDiv MPBall (CSequence b) Source # | |
Instance details |
(CanDiv Dyadic a, CanTestZero a) => CanDiv Dyadic (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric Int (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric Integer (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric Rational (CSequence a) Source # | |
Instance details |
CanMulAsymmetric MPBall b => CanMulAsymmetric MPBall (CSequence b) Source # | |
Instance details |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric Dyadic (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Int a => CanAddAsymmetric Int (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Integer a => CanAddAsymmetric Integer (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (CSequence a) Source # | |
Instance details |
CanAddAsymmetric MPBall b => CanAddAsymmetric MPBall (CSequence b) Source # | |
Instance details |
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (CSequence a) Source # | |
Instance details |
CanSub Int a => CanSub Int (CSequence a) Source # | |
Instance details |
CanSub Integer a => CanSub Integer (CSequence a) Source # | |
Instance details |
CanSub Rational a => CanSub Rational (CSequence a) Source # | |
Instance details |
CanSub MPBall b => CanSub MPBall (CSequence b) Source # | |
Instance details |
CanSub Dyadic a => CanSub Dyadic (CSequence a) Source # | |
Instance details |
(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Integer Source # | |
Instance details |
(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Int Source # | |
Instance details |
(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CSequence b) Rational Source # | |
Instance details |
CanDiv b MPBall => CanDiv (CSequence b) MPBall Source # | |
Instance details |
CanDiv a Integer => CanDiv (CSequence a) Integer Source # | |
Instance details |
CanDiv a Int => CanDiv (CSequence a) Int Source # | |
Instance details |
CanDiv a Rational => CanDiv (CSequence a) Rational Source # | |
Instance details |
CanDiv a Dyadic => CanDiv (CSequence a) Dyadic Source # | |
Instance details |
CanMulAsymmetric b MPBall => CanMulAsymmetric (CSequence b) MPBall Source # | |
Instance details |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) Integer Source # | |
Instance details |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) Int Source # | |
Instance details |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) Rational Source # | |
Instance details |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) Dyadic Source # | |
Instance details |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) MPBall Source # | |
Instance details |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) Integer Source # | |
Instance details |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) Int Source # | |
Instance details |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) Rational Source # | |
Instance details |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) Dyadic Source # | |
Instance details |
CanSub b MPBall => CanSub (CSequence b) MPBall Source # | |
Instance details |
CanSub a Integer => CanSub (CSequence a) Integer Source # | |
Instance details |
CanSub a Int => CanSub (CSequence a) Int Source # | |
Instance details |
CanSub a Rational => CanSub (CSequence a) Rational Source # | |
Instance details |
CanSub a Dyadic => CanSub (CSequence a) Dyadic Source # | |
Instance details |
(CanPow b e, HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, CanTestInteger e) => CanPow (CSequence b) (CSequence e) Source # | |
Instance details |
(CanDiv Int a, CanTestZero a) => CanDiv (CN Int) (CSequence a) Source # | |
Instance details |
(CanDiv Integer a, CanTestZero a) => CanDiv (CN Integer) (CSequence a) Source # | |
Instance details |
(CanDiv Rational a, CanTestZero a) => CanDiv (CN Rational) (CSequence a) Source # | |
Instance details |
(CanDiv MPBall b, CanTestZero b) => CanDiv (CN MPBall) (CSequence b) Source # | |
Instance details |
(CanDiv Dyadic a, CanTestZero a) => CanDiv (CN Dyadic) (CSequence a) Source # | |
Instance details |
(CanDiv t1 t2, CanTestZero t2) => CanDiv (CSequence t1) (CSequence t2) Source # | |
Instance details |
CanDiv b MPBall => CanDiv (CSequence b) (CN MPBall) Source # | |
Instance details |
CanDiv a Integer => CanDiv (CSequence a) (CN Integer) Source # | |
Instance details |
CanDiv a Int => CanDiv (CSequence a) (CN Int) Source # | |
Instance details |
CanDiv a Rational => CanDiv (CSequence a) (CN Rational) Source # | |
Instance details |
CanDiv a Dyadic => CanDiv (CSequence a) (CN Dyadic) Source # | |
Instance details |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric (CN Int) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric (CN Integer) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric (CN Rational) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric MPBall b, CanGiveUpIfVeryInaccurate (MulType MPBall b)) => CanMulAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance details |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric t1 t2, CanGiveUpIfVeryInaccurate (MulType t1 t2)) => CanMulAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance details |
(CanMulAsymmetric b MPBall, CanGiveUpIfVeryInaccurate (MulType b MPBall)) => CanMulAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance details |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) (CN Integer) Source # | |
Instance details |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) (CN Int) Source # | |
Instance details |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) (CN Rational) Source # | |
Instance details |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance details |
CanAddAsymmetric Int a => CanAddAsymmetric (CN Int) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Integer a => CanAddAsymmetric (CN Integer) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Rational a => CanAddAsymmetric (CN Rational) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric MPBall b => CanAddAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance details |
CanAddAsymmetric Dyadic a => CanAddAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric t1 t2 => CanAddAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance details |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance details |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) (CN Integer) Source # | |
Instance details |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) (CN Int) Source # | |
Instance details |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) (CN Rational) Source # | |
Instance details |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance details |
CanSub Int a => CanSub (CN Int) (CSequence a) Source # | |
Instance details |
CanSub Integer a => CanSub (CN Integer) (CSequence a) Source # | |
Instance details |
CanSub Rational a => CanSub (CN Rational) (CSequence a) Source # | |
Instance details |
CanSub MPBall b => CanSub (CN MPBall) (CSequence b) Source # | |
Instance details |
CanSub Dyadic a => CanSub (CN Dyadic) (CSequence a) Source # | |
Instance details |
CanSub t1 t2 => CanSub (CSequence t1) (CSequence t2) Source # | |
Instance details |
CanSub b MPBall => CanSub (CSequence b) (CN MPBall) Source # | |
Instance details |
CanSub a Integer => CanSub (CSequence a) (CN Integer) Source # | |
Instance details |
CanSub a Int => CanSub (CSequence a) (CN Int) Source # | |
Instance details |
CanSub a Rational => CanSub (CSequence a) (CN Rational) Source # | |
Instance details |
CanSub a Dyadic => CanSub (CSequence a) (CN Dyadic) Source # | |
Instance details |