|
| funct::COMBINE (SUM(A, B), SUM(B, A), num< 1 >()) |
|
| funct::COMBINE (SUM_S(A, B), C,(_1._1/_2)+(_1._2/_2)) |
|
| funct::NUM (n)) |
|
A | funct::NUM (1) > |
|
| funct::POWER_S (A, NUM(n))> |
|
| funct::POWER_S (A, C) > |
|
| funct::POWER_S (A, B) > |
|
| funct::PROD_S (A, B)> |
|
| funct::PROD_S (NUM(n), A)> |
|
| funct::PROD_S (C, D)> |
|
| funct::RATIO_RULE (TYPT1, NUM(0), A, NUM(0), num< 0 >()) |
|
| funct::RATIO_RULE (TYPT1, A, NUM(1), A, _1) |
|
| funct::RATIO_RULE (TYPT2, PROD_S(A, B), NUM(1), PROD(A, B), _1) |
|
| funct::RATIO_RULE (TYPT2, MINUS_S(A), B, MINUS(RATIO(A, B)),-(_1._/_2)) |
|
| funct::RATIO_RULE (TYPN1T1, MINUS_S(A), NUM(n), MINUS(RATIO(A, NUM(n))),-(_1._/_2)) |
|
| funct::RATIO_RULE (TYPT3, RATIO_S(A, B), C, RATIO(A, PROD(B, C)), _1._1/(_1._2 *_2)) |
|
| funct::RATIO_RULE (TYPN1T2, RATIO_S(A, B), NUM(n), RATIO(A, PROD(NUM(n), B)), _1._1/(_2 *_1._2)) |
|
| funct::RATIO_RULE (TYPT4, RATIO_S(A, B), PROD_S(C, D), RATIO(A, PROD(PROD(B, C), D)), _1._1/(_1._2 *_2)) |
|
| funct::RATIO_RULE (TYPT4, PROD_S(A, B), RATIO_S(C, D), RATIO(PROD(PROD(A, B), D), C),(_1 *_2._2)/_2._1) |
|
| funct::RATIO_RULE (TYPN2T2, PROD_S(NUM(n), A), PROD_S(NUM(m), B), PROD_S(FRACT(n, m), RATIO(A, B)),(PROD_S(FRACT(n, m), RATIO(A, B))((fract< n, m >()),(_1._2/_2._2)))) |
|
| funct::RATIO_RULE (TYPT3, A, RATIO_S(B, C), RATIO(PROD(A, C), B),(_1 *_2._2)/_2._1) |
|
| funct::RATIO_RULE (TYPT4, SUM_S(A, B), RATIO_S(C, D), RATIO(PROD(SUM(A, B), D), C),(_1 *_2._2)/_2._1) |
|
| funct::RATIO_RULE (TYPT4, RATIO_S(A, B), RATIO_S(C, D), RATIO(PROD(A, D), PROD(B, C)),(_1._1 *_2._2)/(_1._2 *_2._1)) |
|
| funct::RATIO_RULE (TYPN1, NUM(n), NUM(n), NUM(1), num< 1 >()) |
|
| funct::SUM_S (B, A)> |
|
| funct::TEMPL (T1) struct Divides0 |
|
| funct::TEMPL (T2) struct Divides |
|
| funct::TEMPL (N1T1) struct Divides< POWER_S(A |
|
| funct::TEMPL (T3) struct Divides< PROD_S(A |
|
| funct::TEMPL (T4) struct Divides< PROD_S(A |
|
| funct::TEMPL (N1T2) struct Sum< PROD_S(A |
|