Combining Vectors

Is there a built-in for combining two vectors, or is a for loop the approach?

As an example:

vec1 = vector( 1, 2, 3 );
vec2 = vector( 4, 5, 6 );

...Magic happens here...

vec3 = (1,2,3,4,5,6)


This is how I implemented the “merge” I needed:

for (i in vec1) { vec3[|vec3|] = vec1[i]; }
for (i in vec2) { vec3[|vec3|] = vec2[i]; }


Hi Dave,

I am not aware of a merge built-in for combining vectors; so your approach
probably is the best there is.