CVec Constructor (UInt64, FSharpOption<Double[]>, FSharpOption<Double[]>, FSharpOption<Boolean>) |
Creates a new vector.
By default, the vector is all zero.
Optionally, the real and impaginary initial values may be provided;
in this case, the vector must be no more than 2^20 in length.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntaxnew :
_len : uint64 *
rsInit : FSharpOption<float[]> *
isInit : FSharpOption<float[]> *
forceAlloc : FSharpOption<bool> -> CVec
Parameters
- _len
- Type: System.UInt64
The length of the vector - rsInit
- Type: Microsoft.FSharp.Core.FSharpOption<Double[]>
Optional real parts of the initial values; if provided, there
must be an entry for each element in the vector. Default is zero. - isInit
- Type: Microsoft.FSharp.Core.FSharpOption<Double[]>
Optional imaginary of the initial values; if provided, there
must be an entry for each element in the vector. Default is zero. - forceAlloc
- Type: Microsoft.FSharp.Core.FSharpOption<Boolean>
Option to force complete (non-sparse) allocation of
the vector; defaults to false
See Also