| intvec iv = 1,3,5,7,8;
iv+1; // add 1 to each entry
==> 2,4,6,8,9
iv*2;
==> 2,6,10,14,16
iv;
==> 1,3,5,7,8
iv-10;
==> -9,-7,-5,-3,-2
iv=iv,0;
iv;
==> 1,3,5,7,8,0
iv div 2;
==> 0,1,2,3,4,0
iv+iv; // component-wise addition
==> 2,6,10,14,16,0
iv[size(iv)-1]; // last-1 entry
==> 8
intvec iw=2,3,4,0;
iv==iw; // lexicographic comparison
==> 0
iv < iw;
==> 1
iv != iw;
==> 1
iv[2];
==> 3
iw = 4,1,2;
iv[iw];
==> 7 1 3
|