AERN2.AD.GenericOperations

Documentation

clampedCos :: (CanSinCosSameType a, CanMinMaxSameType a, HasIntegers a) => a -> a

clampedSin :: (CanSinCosSameType a, CanMinMaxSameType a, HasIntegers a) => a -> a

Orphan instances

(CanSqrtSameType a, CanMulSameType a, CanNegSameType a, CanAddSameType a, CanMulBy a Integer, CanRecipSameType a) => CanSqrt (Differential a)

Associated Types

type SqrtType (Differential a)

Methods

sqrt :: Differential a -> SqrtType (Differential a)

(CanExpSameType a, CanMulSameType a, CanAddSameType a) => CanExp (Differential a)

Associated Types

type ExpType (Differential a)

Methods

exp :: Differential a -> ExpType (Differential a)

(CanSinCosSameType a, CanMulSameType a, CanNegSameType a, CanSubSameType a, CanAddSameType a, HasIntegers a, CanMinMaxSameType a) => CanSinCos (Differential a)

Associated Types

type SinCosType (Differential a)

Methods

cos :: Differential a -> SinCosType (Differential a)

sin :: Differential a -> SinCosType (Differential a)

CanMulBy (Differential a) Integer => CanNeg (Differential a)

Associated Types

type NegType (Differential a)

Methods

negate :: Differential a -> NegType (Differential a)

(CanDiv a a, CanSubSameType a, CanMulSameType a, CanMulBy a Integer, CanAddSameType a, CanSubSameType (DivType a a)) => CanDiv (Differential a) (Differential a)

Associated Types

type DivType (Differential a) (Differential a)

Methods

divide :: Differential a -> Differential a -> DivType (Differential a) (Differential a)

(CanMulSameType a, CanAddSameType a, CanPowBy a a, CanSubThis a Integer, CanLogSameType a, CanDivSameType a) => CanPow (Differential a) (Differential a)

Associated Types

type PowType (Differential a) (Differential a)

type PPowType (Differential a) (Differential a)

Methods

pow :: Differential a -> Differential a -> PowType (Differential a) (Differential a)

ppow :: Differential a -> Differential a -> PPowType (Differential a) (Differential a)

(CanMulSameType a, CanAddSameType a) => CanMulAsymmetric (Differential a) (Differential a)

Associated Types

type MulType (Differential a) (Differential a)

Methods

mul :: Differential a -> Differential a -> MulType (Differential a) (Differential a)

CanAddSameType a => CanAddAsymmetric (Differential a) (Differential a)

Associated Types

type AddType (Differential a) (Differential a)

Methods

add :: Differential a -> Differential a -> AddType (Differential a) (Differential a)

CanSubSameType a => CanSub (Differential a) (Differential a)

Associated Types

type SubType (Differential a) (Differential a)

Methods

sub :: Differential a -> Differential a -> SubType (Differential a) (Differential a)

CanMinMaxSameType a => CanMinMaxAsymmetric (Differential a) (Differential a)

Associated Types

type MinMaxType (Differential a) (Differential a)

Methods

min :: Differential a -> Differential a -> MinMaxType (Differential a) (Differential a)

max :: Differential a -> Differential a -> MinMaxType (Differential a) (Differential a)