qcml
qcml copied to clipboard
Add concatenation behavior
Actually, this behavior should be removed. The only concatenation that will be allowed is in "norm".
norm([x; y]) gets rewritten as as norm(s,t), norm(x) <= s, and norm(y) <= t. This should be sufficient.