mathnet-numerics/src/FSharp/Complex.fs

// First version copied from the F# Power Pack
// https://raw.github.com/fsharp/powerpack/master/src/FSharp.PowerPack/math/complex.fs
// (c) Microsoft Corporation 2005-2009.

namespace MathNet.Numerics

    open Microsoft.FSharp.Math
    open System
    open System.Globalization

#if NOSYSNUMERICS
#else
    open System.Numerics
#endif

    type complex = Complex
    type complex32 = Complex32

    [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
    [<RequireQualifiedAccess>]
    module Complex =

        let mkRect(a,b) = new Complex(a,b)
        let mkPolar(a,b) = Complex.FromPolarCoordinates(a,b)
        let cis b = mkPolar(1.0,b)
        let ofComplex32 (x:complex32) = new Complex(float x.Real, float x.Imaginary)

        let zero = Complex.Zero
        let one = Complex.One
        let onei = Complex.ImaginaryOne
        let pi = mkRect (Math.PI,0.0)

        let realPart (c:complex) = c.Real
        let imagPart (c:complex) = c.Imaginary
        let magnitude (c:complex) = c.Magnitude
        let phase (c:complex) = c.Phase

        let neg (a:complex) = -a
        let conjugate (c:complex) = c.Conjugate()

        let add (a:complex) (b:complex) = a + b
        let sub (a:complex) (b:complex) = a - b
        let mul (a:complex) (b:complex) = a * b
        let div (x:complex) (y:complex) = x / y

        let smul (a:float) (b:complex) = new Complex(a * b.Real, a * b.Imaginary)
        let muls (a:complex) (b:float) = new Complex(a.Real * b, a.Imaginary * b)

        let exp (x:complex) = Complex.Exp(x)
        let ln x = Complex.Log(x)
        let log10 x = Complex.Log10(x)
        let log b x = Complex.Log(x,b)
        let pow (power:complex) x = Complex.Pow(x,power)
        let powf (power:float) x = Complex.Pow(x,power)
        let sqr (x:complex) = x.Square()
        let sqrt (x:complex) = x.SquareRoot() // numerically more stable than Complex.Sqrt

        let sin x = Complex.Sin(x)
        let cos x = Complex.Cos(x)
        let tan x = Complex.Tan(x)
        let cot (x:complex) = Trig.Cot(x)
        let sec (x:complex) = Trig.Sec(x)
        let csc (x:complex) = Trig.Csc(x)

        let asin (x:complex) = Trig.Asin(x) // numerically more stable than Complex.Asin
        let acos (x:complex) = Trig.Acos(x) // numerically more stable than Complex.Acos
        let atan x = Complex.Atan(x)
        let acot (x:complex) = Trig.Acot(x)
        let asec (x:complex) = Trig.Asec(x)
        let acsc (x:complex) = Trig.Acsc(x)

        let sinh x = Complex.Sinh(x)
        let cosh x = Complex.Cosh(x)
        let tanh x = Complex.Tanh(x)
        let coth (x:complex) = Trig.Coth(x)
        let sech (x:complex) = Trig.Sech(x)
        let csch (x:complex) = Trig.Csch(x)

        let asinh (x:complex) = Trig.Asinh(x)
        let acosh (x:complex) = Trig.Acosh(x)
        let atanh (x:complex) = Trig.Atanh(x)
        let acoth (x:complex) = Trig.Acoth(x)
        let asech (x:complex) = Trig.Asech(x)
        let acsch (x:complex) = Trig.Acsch(x)

    [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
    [<RequireQualifiedAccess>]
    module Complex32 =

        let mkRect(a,b) = new Complex32(a,b)
        let mkPolar(a,b) = Complex32.FromPolarCoordinates(a,b)
        let cis b = mkPolar(1.0f,b)
        let ofComplex (x:complex) = new Complex32(float32 x.Real, float32 x.Imaginary)

        let zero = Complex32.Zero
        let one = Complex32.One
        let onei = Complex32.ImaginaryOne
        let pi = mkRect (float32 Math.PI,0.0f)

        let realPart (c:complex32) = c.Real
        let imagPart (c:complex32) = c.Imaginary
        let magnitude (c:complex32) = c.Magnitude
        let phase (c:complex32) = c.Phase

        let neg (a:complex32) = -a
        let conjugate (c:complex32) = c.Conjugate()

        let add (a:complex32) (b:complex32) = a + b
        let sub (a:complex32) (b:complex32) = a - b
        let mul (a:complex32) (b:complex32) = a * b
        let div (x:complex32) (y:complex32) = x / y

        let smul (a:float32) (b:complex32) = new Complex32(a * b.Real, a * b.Imaginary)
        let muls (a:complex32) (b:float32) = new Complex32(a.Real * b, a.Imaginary * b)

        let exp (x:complex32) = Complex32.Exp(x)
        let ln x = Complex32.Log(x)
        let log10 x = Complex32.Log10(x)
        let log b x = Complex32.Log(x,b)
        let pow (power:complex32) x = Complex32.Pow(x,power)
        let powf (power:float32) x = Complex32.Pow(x,power)
        let sqr (x:complex32) = x.Square()
        let sqrt (x:complex32) = x.SquareRoot() // numerically more stable than Complex.Sqrt

        // no complex32 implementations available yet for some, fix once available
        let sin x = Complex32.Sin(x)
        let cos x = Complex32.Cos(x)
        let tan x = Complex32.Tan(x)
        let cot (x:complex32) = ofComplex <| Trig.Cot(x.ToComplex())
        let sec (x:complex32) = ofComplex <| Trig.Sec(x.ToComplex())
        let csc (x:complex32) = ofComplex <| Trig.Csc(x.ToComplex())

        let asin (x:complex32) = ofComplex <| Trig.Asin(x.ToComplex()) // numerically more stable than Complex.Asin
        let acos (x:complex32) = ofComplex <| Trig.Acos(x.ToComplex()) // numerically more stable than Complex.Acos
        let atan x = Complex32.Atan(x)
        let acot (x:complex32) = ofComplex <| Trig.Acot(x.ToComplex())
        let asec (x:complex32) = ofComplex <| Trig.Asec(x.ToComplex())
        let acsc (x:complex32) = ofComplex <| Trig.Acsc(x.ToComplex())

        let sinh x = Complex32.Sinh(x)
        let cosh x = Complex32.Cosh(x)
        let tanh x = Complex32.Tanh(x)
        let coth (x:complex32) = ofComplex <| Trig.Coth(x.ToComplex())
        let sech (x:complex32) = ofComplex <| Trig.Sech(x.ToComplex())
        let csch (x:complex32) = ofComplex <| Trig.Csch(x.ToComplex())

        let asinh (x:complex32) = ofComplex <| Trig.Asinh(x.ToComplex())
        let acosh (x:complex32) = ofComplex <| Trig.Acosh(x.ToComplex())
        let atanh (x:complex32) = ofComplex <| Trig.Atanh(x.ToComplex())
        let acoth (x:complex32) = ofComplex <| Trig.Acoth(x.ToComplex())
        let asech (x:complex32) = ofComplex <| Trig.Asech(x.ToComplex())
        let acsch (x:complex32) = ofComplex <| Trig.Acsch(x.ToComplex())

    [<AutoOpen>]
    module ComplexExtensions =

        let complex x y = Complex.mkRect (x,y)
        let complex32 x y = Complex32.mkRect (x,y)

        type Complex with
            member x.r = x.Real
            member x.i = x.Imaginary

            static member Create(a,b) = Complex.mkRect (a,b)
            static member CreatePolar(a,b) = Complex.mkPolar (a,b)

        type Complex32 with
            member x.r = x.Real
            member x.i = x.Imaginary

            static member Create(a,b) = Complex32.mkRect (a,b)
            static member CreatePolar(a,b) = Complex32.mkPolar (a,b)