** file: red.mod
** examples for reduction command 

select RAT 
reduce 4 / 2 + 3 .
red 4 / 2 + 3 .
parse 4 / 2 + 3 .

red in RAT : 4 / 2 + 3 .

open RAT
red 4 / 2 + 3 .
close

select RAT 
red 1/2 == 2/4 .

open RAT
red 1/2 == 2/4 .
red 1/2 = 2/4 .

op r : -> Rat .
red r == 2 / 4 .
close

open (RAT + EQL)
red 1/2 == 2/4 .
red 1/2 = 2/4 .

op r : -> Rat .

red r == 2 / 4 .
red not(r == 2 / 4) .

red r = 2 / 4 .
red not(r = 2 / 4) .

close