Scalar multiplication is commutative. (demo)
It is axiom that "a * b = b * a" if "a" and "b" are scalars.
Scalar addition is commutative too.
It is axiom that "a + b = b + a" if "a" and "b" are scalars.
If the diagram cleanup recognized such a thing, then it could switch leads on a multiply icon to undo a crossed wire, without changing anything in the function. I tried it, and to my poor ability to tell, it seems to not be undoing the wire-crossings that it could clean up. There are plenty of things that do commutate, and if re-arranging inputs was enabled for them, then cleaner diagrams could be made.
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.