Chris@10: module fvector;
Chris@5: 
Chris@9: import java.util: Arrays;
Chris@9: 
Chris@5: zeros n = new double[n];
Chris@5: ones  n = (a = zeros n; for [0..n-1] do i: a[i] := 1.0 done; a);
Chris@5: 
Chris@8: vector l is list?<number> -> ~double[] =
Chris@8:    (arr = array(l);
Chris@8:     len = length arr;
Chris@10:     v = zeros len;
Chris@10:     for [0..len-1] do i: v[i] := arr[i] done;
Chris@8:     v);
Chris@8: 
Chris@5: arrayWrap a is ~double[] -> array<number> = array(a);
Chris@5: 
Chris@10: vectorLength v = length (arrayWrap v);
Chris@5: 
Chris@9: copyOfVector v is ~double[] -> ~double[] = Arrays#copyOf(v, length(arrayWrap v));
Chris@9: 
Chris@5: {
Chris@8: zeros, ones, vector,
Chris@10: vectorLength,
Chris@10: copyOfVector,
Chris@5: }
Chris@5: