CVec Constructor (Double[], FSharpOption(Double[]), FSharpOption(Boolean))

CVec Constructor (Double[], FSharpOption<Double[]>, FSharpOption<Boolean>)

Creates a new vector from initial value vectors, real and imaginary. Note that the length of the new vector must be no more than 2^20.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)

Syntax

new : 
        rs : float[] * 
        is : FSharpOption<float[]> * 
        force : FSharpOption<bool> -> CVec

rs: Type:System.Double[]
The vector of real initial values
is: Type: Microsoft.FSharp.Core.FSharpOption<Double[]>
An optional vector of imaginary initial values; default is zero
force: Type: Microsoft.FSharp.Core.FSharpOption<Boolean>
Option to force complete (non-sparse) allocation of the vector; defaults to false