>>632
(m@(v1 - v0)).length
正しく動作するのは、ローカルとグローバルで原点一致の場合のみ。

(m@v1 - m@v0).length