AERN2.Sequence.Field

Field operations on convergent sequences.

Orphan instances

(CanDiv MPBall b, SuitableForSeq b, HasNorm (EnsureNoCN b), CanEnsureCN b, CanSetPrecision (DivType MPBall b), CanSetPrecision (DivTypeNoCN MPBall b)) => CanDiv MPBall (Sequence b)

Associated Types

type DivTypeNoCN MPBall (Sequence b) :: *

type DivType MPBall (Sequence b) :: *

Methods

divideNoCN :: MPBall -> Sequence b -> DivTypeNoCN MPBall (Sequence b)

divide :: MPBall -> Sequence b -> DivType MPBall (Sequence b)

(QAArrow to0, CanDiv Int b0, SuitableForSeq b0, SuitableForSeq (DivType Int b0), SuitableForSeq (DivTypeNoCN Int b0), HasNorm (EnsureNoCN b0)) => CanDiv Int (SequenceA to0 b0)

Associated Types

type DivTypeNoCN Int (SequenceA to0 b0) :: *

type DivType Int (SequenceA to0 b0) :: *

Methods

divideNoCN :: Int -> SequenceA to0 b0 -> DivTypeNoCN Int (SequenceA to0 b0)

divide :: Int -> SequenceA to0 b0 -> DivType Int (SequenceA to0 b0)

(QAArrow to0, CanDiv Integer b0, SuitableForSeq b0, SuitableForSeq (DivType Integer b0), SuitableForSeq (DivTypeNoCN Integer b0), HasNorm (EnsureNoCN b0)) => CanDiv Integer (SequenceA to0 b0)

Associated Types

type DivTypeNoCN Integer (SequenceA to0 b0) :: *

type DivType Integer (SequenceA to0 b0) :: *

Methods

divideNoCN :: Integer -> SequenceA to0 b0 -> DivTypeNoCN Integer (SequenceA to0 b0)

divide :: Integer -> SequenceA to0 b0 -> DivType Integer (SequenceA to0 b0)

(QAArrow to0, CanDiv Rational b0, SuitableForSeq b0, SuitableForSeq (DivType Rational b0), SuitableForSeq (DivTypeNoCN Rational b0), HasNorm (EnsureNoCN b0)) => CanDiv Rational (SequenceA to0 b0)

Associated Types

type DivTypeNoCN Rational (SequenceA to0 b0) :: *

type DivType Rational (SequenceA to0 b0) :: *

Methods

divideNoCN :: Rational -> SequenceA to0 b0 -> DivTypeNoCN Rational (SequenceA to0 b0)

divide :: Rational -> SequenceA to0 b0 -> DivType Rational (SequenceA to0 b0)

(QAArrow to0, CanDiv Dyadic b0, SuitableForSeq b0, SuitableForSeq (DivType Dyadic b0), SuitableForSeq (DivTypeNoCN Dyadic b0), HasNorm (EnsureNoCN b0)) => CanDiv Dyadic (SequenceA to0 b0)

Associated Types

type DivTypeNoCN Dyadic (SequenceA to0 b0) :: *

type DivType Dyadic (SequenceA to0 b0) :: *

Methods

divideNoCN :: Dyadic -> SequenceA to0 b0 -> DivTypeNoCN Dyadic (SequenceA to0 b0)

divide :: Dyadic -> SequenceA to0 b0 -> DivType Dyadic (SequenceA to0 b0)

(CanDiv a MPBall, SuitableForSeq a, CanSetPrecision (DivType a MPBall), CanSetPrecision (DivTypeNoCN a MPBall)) => CanDiv (Sequence a) MPBall

Associated Types

type DivTypeNoCN (Sequence a) MPBall :: *

type DivType (Sequence a) MPBall :: *

Methods

divideNoCN :: Sequence a -> MPBall -> DivTypeNoCN (Sequence a) MPBall

divide :: Sequence a -> MPBall -> DivType (Sequence a) MPBall

(QAArrow to0, CanDiv a0 Dyadic, SuitableForSeq a0, SuitableForSeq (DivType a0 Dyadic), SuitableForSeq (DivTypeNoCN a0 Dyadic)) => CanDiv (SequenceA to0 a0) Dyadic

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Dyadic :: *

type DivType (SequenceA to0 a0) Dyadic :: *

Methods

divideNoCN :: SequenceA to0 a0 -> Dyadic -> DivTypeNoCN (SequenceA to0 a0) Dyadic

divide :: SequenceA to0 a0 -> Dyadic -> DivType (SequenceA to0 a0) Dyadic

(QAArrow to0, CanDiv a0 Rational, SuitableForSeq a0, SuitableForSeq (DivType a0 Rational), SuitableForSeq (DivTypeNoCN a0 Rational)) => CanDiv (SequenceA to0 a0) Rational

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Rational :: *

type DivType (SequenceA to0 a0) Rational :: *

Methods

divideNoCN :: SequenceA to0 a0 -> Rational -> DivTypeNoCN (SequenceA to0 a0) Rational

divide :: SequenceA to0 a0 -> Rational -> DivType (SequenceA to0 a0) Rational

(QAArrow to0, CanDiv a0 Int, SuitableForSeq a0, SuitableForSeq (DivType a0 Int), SuitableForSeq (DivTypeNoCN a0 Int)) => CanDiv (SequenceA to0 a0) Int

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Int :: *

type DivType (SequenceA to0 a0) Int :: *

Methods

divideNoCN :: SequenceA to0 a0 -> Int -> DivTypeNoCN (SequenceA to0 a0) Int

divide :: SequenceA to0 a0 -> Int -> DivType (SequenceA to0 a0) Int

(QAArrow to0, CanDiv a0 Integer, SuitableForSeq a0, SuitableForSeq (DivType a0 Integer), SuitableForSeq (DivTypeNoCN a0 Integer)) => CanDiv (SequenceA to0 a0) Integer

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Integer :: *

type DivType (SequenceA to0 a0) Integer :: *

Methods

divideNoCN :: SequenceA to0 a0 -> Integer -> DivTypeNoCN (SequenceA to0 a0) Integer

divide :: SequenceA to0 a0 -> Integer -> DivType (SequenceA to0 a0) Integer

(CanDiv a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (DivType a (SequenceA to b)), CanEnsureCE es (DivTypeNoCN a (SequenceA to b)), SuitableForCE es) => CanDiv (CollectErrors es a) (SequenceA to b)

Associated Types

type DivTypeNoCN (CollectErrors es a) (SequenceA to b) :: *

type DivType (CollectErrors es a) (SequenceA to b) :: *

Methods

divideNoCN :: CollectErrors es a -> SequenceA to b -> DivTypeNoCN (CollectErrors es a) (SequenceA to b)

divide :: CollectErrors es a -> SequenceA to b -> DivType (CollectErrors es a) (SequenceA to b)

(CanDiv (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (DivType (SequenceA to a) b), CanEnsureCE es (DivTypeNoCN (SequenceA to a) b), SuitableForCE es) => CanDiv (SequenceA to a) (CollectErrors es b)

Associated Types

type DivTypeNoCN (SequenceA to a) (CollectErrors es b) :: *

type DivType (SequenceA to a) (CollectErrors es b) :: *

Methods

divideNoCN :: SequenceA to a -> CollectErrors es b -> DivTypeNoCN (SequenceA to a) (CollectErrors es b)

divide :: SequenceA to a -> CollectErrors es b -> DivType (SequenceA to a) (CollectErrors es b)

(QAArrow to, CanDiv a b, HasNorm (EnsureNoCN a), HasNorm (EnsureNoCN b), SuitableForSeq a, SuitableForSeq b, SuitableForSeq (DivType a b), SuitableForSeq (DivTypeNoCN a b)) => CanDiv (SequenceA to a) (SequenceA to b)

Associated Types

type DivTypeNoCN (SequenceA to a) (SequenceA to b) :: *

type DivType (SequenceA to a) (SequenceA to b) :: *

Methods

divideNoCN :: SequenceA to a -> SequenceA to b -> DivTypeNoCN (SequenceA to a) (SequenceA to b)

divide :: SequenceA to a -> SequenceA to b -> DivType (SequenceA to a) (SequenceA to b)