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 |
(CanDiv MPBall b, CanTestZero b) => CanDiv MPBall (CSequence b) Source # | |
Instance details |
CanMulAsymmetric MPBall b => CanMulAsymmetric MPBall (CSequence b) Source # | |
Instance details |
CanAddAsymmetric MPBall b => CanAddAsymmetric MPBall (CSequence b) Source # | |
Instance details |
CanSub MPBall b => CanSub MPBall (CSequence b) Source # | |
Instance details |
CanDiv b MPBall => CanDiv (CSequence b) MPBall Source # | |
Instance details |
CanMulAsymmetric b MPBall => CanMulAsymmetric (CSequence b) MPBall Source # | |
Instance details |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) MPBall Source # | |
Instance details |
CanSub b MPBall => CanSub (CSequence b) MPBall Source # | |
Instance details |
(CanDiv MPBall b, CanTestZero b) => CanDiv (CN MPBall) (CSequence b) Source # | |
Instance details |
CanDiv b MPBall => CanDiv (CSequence b) (CN MPBall) Source # | |
Instance details |
(CanDiv t1 t2, CanTestZero t2) => CanDiv (CSequence t1) (CSequence t2) Source # | |
Instance details |
(CanPow b e, HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, CanTestInteger e, CanTestIsIntegerType b, CanTestIsIntegerType e) => CanPow (CSequence b) (CSequence e) Source # | |
Instance details |
(CanMulAsymmetric MPBall b, CanGiveUpIfVeryInaccurate (MulType MPBall b)) => CanMulAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance details |
(CanMulAsymmetric b MPBall, CanGiveUpIfVeryInaccurate (MulType b MPBall)) => CanMulAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance details |
(CanMulAsymmetric t1 t2, CanGiveUpIfVeryInaccurate (MulType t1 t2)) => CanMulAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance details |
CanAddAsymmetric MPBall b => CanAddAsymmetric (CN MPBall) (CSequence b) Source # | |
Instance details |
CanAddAsymmetric b MPBall => CanAddAsymmetric (CSequence b) (CN MPBall) Source # | |
Instance details |
CanAddAsymmetric t1 t2 => CanAddAsymmetric (CSequence t1) (CSequence t2) Source # | |
Instance details |
CanSub MPBall b => CanSub (CN MPBall) (CSequence b) Source # | |
Instance details |
CanSub b MPBall => CanSub (CSequence b) (CN MPBall) Source # | |
Instance details |
CanSub t1 t2 => CanSub (CSequence t1) (CSequence t2) Source # | |
Instance details |