CSMat Constructor (Int32, FSharpOptionBoolean) |
Creates a new square identity or zero matrix.
Namespace: Microsoft.Research.LiquidAssembly: Liquid1 (in Liquid1.dll) Version: 1.0.5981.24943 (1.0.*)
Syntax new :
n : int *
zero : FSharpOption<bool> -> CSMat
Parameters
- n
- Type: SystemInt32
The dimension of the matrix; that is, the row or column count. - zero
- Type: Microsoft.FSharp.CoreFSharpOptionBoolean
An option to create a zero matrix rather than an identity matrix, if true.
The default is false, which creates an identity matrix.
See Also