1441 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
1441 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
1442 |
1442 |
1443 ... with sml-nj: |
1443 ... with sml-nj: |
1444 (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1444 (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1445 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1445 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1446 common_nominator_p wird nicht angewendet, weil ... |
1446 add_fractions_p wird nicht angewendet, weil ... |
1447 add_fract terminiert nicht: 030603 |
1447 add_fract terminiert nicht: 030603 |
1448 siehe Rational.ML rational.sml |
1448 siehe Rational.ML rational.sml |
1449 *) |
1449 *) |
1450 |
1450 |
1451 (* |
1451 (* |
1480 === rewrites to: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + -1 * (-1 * (b * x))) / (a + b * x) = 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1480 === rewrites to: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + -1 * (-1 * (b * x))) / (a + b * x) = 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1481 |
1481 |
1482 ### try calc: op *' |
1482 ### try calc: op *' |
1483 === 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) |
1483 === 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) |
1484 |
1484 |
1485 ## rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + 1 * (b * x)) / (a + b * x) = |
1485 ## rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + 1 * (b * x)) / (a + b * x) = |
1486 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1486 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1487 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1487 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1488 |
1488 |
1489 ## rls: discard_minus on: |
1489 ## rls: discard_minus on: |
1490 ## rls: powers on: |
1490 ## rls: powers on: |
1494 ### try thm: real_mult_1 |
1494 ### try thm: real_mult_1 |
1495 === rewrites to: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1495 === rewrites to: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1496 |
1496 |
1497 ## rls: order_add_mult on: |
1497 ## rls: order_add_mult on: |
1498 |
1498 |
1499 ## rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1499 ## rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1500 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1500 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1501 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1501 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1502 |
1502 |
1503 ## rls: discard_minus on: |
1503 ## rls: discard_minus on: |
1504 ## rls: powers on: |
1504 ## rls: powers on: |
1505 ## rls: rat_mult_divide on: |
1505 ## rls: rat_mult_divide on: |
1506 ## rls: expand on: |
1506 ## rls: expand on: |
1507 ## rls: reduce_0_1_2 on: |
1507 ## rls: reduce_0_1_2 on: |
1508 ## rls: order_add_mult on: |
1508 ## rls: order_add_mult on: |
1509 ## rls: collect_numerals on: |
1509 ## rls: collect_numerals on: |
1510 ## rls: common_nominator_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1510 ## rls: add_fractions_p on: (a + b * x) / (a + -1 * (b * x)) + (-1 * a + b * x) / (a + b * x) = |
1511 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1511 4 * (a * b) / (a ^^^ 2 + -1 * b ^^^ 2) |
1512 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1512 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!GC |
1513 *) |
1513 *) |
1514 |
1514 |
1515 |
1515 |