mrdivide edit page

scaling of the ODF

overload the / operator, i.e. one can now write ODF / 2 in order to scale an ODF