le 0 Y true le s X 0 false le s X s Y le X Y minus 0 Y 0 minus s X Y ifMinus le s X Y s X Y ifMinus true s X Y 0 ifMinus false s X Y s minus X Y quot 0 s Y 0 quot s X s Y s quot minus X Y s Y le 2 0 0 true 0 s 1 false 0 minus 2 ifMinus 3 quot 2 FULL ./TRS/Rubio/division.trs