function vector_add(a: number[], b: number[]) { return a.map((ai, i) => ai + b[i]) }