Standard ML of New Jersey, Version 75, November 11, 1991 Arrays have changed; see Release Notes val it = () : unit - std_in:6.1-7.48 Warning: match not exhaustive nil => ... (x :: _) :: rows => ... val headcol = fn : 'a list list -> 'a list std_in:9.1-10.52 Warning: match not exhaustive nil => ... (_ :: xs) :: rows => ... val tailcols = fn : 'a list list -> 'a list list val transp = fn : 'a list list -> 'a list list std_in:17.1-18.47 Warning: match not exhaustive (nil,nil) => ... (x :: xs,y :: ys) => ... val dotprod = fn : real list * real list -> real val rowprod = fn : real list * real list list -> real list val rowlistprod = fn : real list list * real list list -> real list list val matprod = fn : real list list * real list list -> real list list std_in:34.1-38.31 Warning: match not exhaustive row :: nil => ... row1 :: row2 :: rows => ... val pivotrow = fn : real list list -> real list val delrow = fn : ''a * ''a list list -> ''a list list val scalarprod = fn : real * real list -> real list std_in:49.1-50.53 Warning: match not exhaustive (nil,nil) => ... (x :: xs,y :: ys) => ... val vectorsum = fn : real list * real list -> real list std_in:55.11-58.33 Warning: match not exhaustive nil => ... (x :: xs) :: rows => ... std_in:54.11-54.37 Warning: binding not exhaustive p :: prow = ... val gausselim = fn : real list list -> real list list std_in:62.1-65.45 Warning: match not exhaustive nil => ... (x :: xs) :: rows => ... val solutions = fn : real list list -> real list val it = [[~4.0,0.0,3.0,~5.0,~2.0],[1.0,2.0,7.0,7.0],[3.0,~1.0,14.0],[3.0,3.0]] : real list list val it = [3.0,~10.0,5.0,1.0,~1.0] : real list -