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