1.1 --- a/test/Tools/isac/Knowledge/rlang.sml	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rlang.sml	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -1443,7 +1443,7 @@
     1.4  ... with sml-nj:
     1.5   (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) =
     1.6      4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2)
     1.7 -common_nominator_p wird nicht angewendet, weil ...
     1.8 +add_fractions_p wird nicht angewendet, weil ...
     1.9  add_fract terminiert nicht: 030603
    1.10  siehe Rational.ML rational.sml
    1.11  *)
    1.12 @@ -1482,7 +1482,7 @@
    1.13  ###  try calc: op *'
    1.14  ===  calc. to: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + 1 * (b * x)) / (a +b * x) = 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2)
    1.15  
    1.16 -##  rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + 1 * (b * x)) / (a + b * x) = 
    1.17 +##  rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + 1 * (b * x)) / (a + b * x) = 
    1.18                                                                                                      4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2)
    1.19  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC
    1.20  
    1.21 @@ -1496,7 +1496,7 @@
    1.22  
    1.23  ##  rls: order_add_mult on:
    1.24  
    1.25 -##  rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) =
    1.26 +##  rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) =
    1.27                                                                                                      4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2)
    1.28  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC
    1.29  
    1.30 @@ -1507,7 +1507,7 @@
    1.31  ##  rls: reduce_0_1_2 on:
    1.32  ##  rls: order_add_mult on:
    1.33  ##  rls: collect_numerals on:
    1.34 -##  rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) =
    1.35 +##  rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) =
    1.36  4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2)
    1.37  !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC
    1.38  *)