0 # # + # x x + 0 x 0 y 0 + x y + 0 x 1 y 1 + x y + 0 x j y j + x y + 1 x 1 y j + 1 # + x y + j x j y 1 + j # + x y + 1 x j y 0 + x y opp # # opp 0 x 0 opp x opp 1 x j opp x opp j x 1 opp x - x y + opp y x * # x # * 0 x y 0 * x y * 1 x y + 0 * x y y * j x y - 0 * x y y abs x test_abs_pos x x test_abs_pos # x x test_abs_pos 0 x y test_abs_pos x y test_abs_pos 1 x y test_abs_pos x y test_abs_pos j x y test_abs_neg x y test_abs_neg # x opp x test_abs_neg 0 x y test_abs_neg x y test_abs_neg 1 x y test_abs_pos x y test_abs_neg j x y test_abs_neg x y signe # # signe 0 x signe x signe 1 x test_signe_pos x signe j x test_signe_neg x test_signe_pos # 1 # test_signe_pos 0 x test_signe_pos x test_signe_pos 1 x test_signe_pos x test_signe_pos j x test_signe_neg x test_signe_neg # j # test_signe_neg 0 x test_signe_neg x test_signe_neg 1 x test_signe_pos x test_signe_neg j x test_signe_neg x min x y test_min_pos - abs y abs x x y min' x y test_min_pos - abs 1 y abs 1 x x y min'' x y test_min_pos - abs j y abs j x x y test_min_pos # x y x test_min_pos 0 x y z test_min_pos x y z test_min_pos 1 x y z test_min_pos x y z test_min_pos j x y z test_min_neg x y z test_min_neg # x y y test_min_neg 0 x y z test_min_neg x y z test_min_neg 1 x y z test_min_pos x y z test_min_neg j x y z test_min_neg x y z f # x # f x # signe x f 0 x 0 y f x y f 0 x 1 y 0 f x 1 y f 0 x j y 0 f x j y f 1 x 0 y f 1 x y f 1 x 1 y + 0 f - x min' x y 1 y f min 1 x 1 y - x y f 1 x j y + 0 f + min'' opp x y x j y f min 1 x 1 opp y + x y f j x 0 y f j x y f j x 1 y + 0 f + min' opp x y x 1 y f min j x j opp y + x y f j x j y + 0 f - x min'' x y j y f min j x j y - x y rat x y irred * signe y f x y * signe y f y x +_Q irred x y irred u v irred + * x v * y u * y v *_Q irred x y irred u v rat * x u * y v 0 1 # 0 + 2 AC 1 1 j 1 opp 1 - 2 * 2 AC abs 1 test_abs_pos 2 test_abs_neg 2 signe 1 test_signe_pos 1 test_signe_neg 1 min 2 test_min_pos 3 min' 2 min'' 2 test_min_neg 3 f 2 rat 2 irred 2 +_Q 2 C *_Q 2 C FULL ./TRS/CimeAC/rationals.trs