Add dot operator, fix separation_by_order, add realistic eqn for testing