CMat Constructor (Int32, FSharpOption(Boolean))

CMat Constructor (Int32, FSharpOptionBoolean)

Creates a square identity or zero matrix.

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

Syntax

new : 
        n : int * 
        zero : FSharpOption<bool> -> CMat

n: Type: SystemInt32
The row (or column) length of the matrix.
zero: Type: Microsoft.FSharp.CoreFSharpOptionBoolean
Option to initialize to a zero matrix rather than to the identity matrix. The default is to initialize to the identity.