|
| funct::DIFF_RULE (TYPT2, A, MINUS_S(B), SUM(A, B), _1+_2._) |
|
| funct::SUM_RULE (TYPT3, A, SUM_S(B, C), SUM(SUM(A, B), C),(_1+_2._1)+_2._2) |
|
| funct::SUM_RULE (TYPT4, SUM_S(A, B), SUM_S(C, D), SUM(SUM(SUM(A, B), C), D),(_1+_2._1)+_2._2) |
|
| funct::SUM_RULE (TYPN1T1, NUM(n), A, SUM(A, NUM(n)), _2+_1) |
|
| funct::SUM_RULE (TYPN1T2, NUM(n), SUM_S(A, B), SUM(SUM_S(A, B), NUM(n)), _2+_1) |
|
| funct::SUM_RULE (TYPT1, A, NUM(0), A, _1) |
|
| funct::SUM_RULE (TYP0, NUM(0), NUM(0), NUM(0), num< 0 >()) |
|
| funct::SUM_RULE (TYPT2, PROD_S(A, B), NUM(0), PROD_S(A, B), _1) |
|
| funct::SUM_RULE (TYPT2, NUM(0), PROD_S(A, B), PROD_S(A, B), _2) |
|
| funct::SUM_RULE (TYPT2, NUM(0), MINUS_S(PROD_S(A, B)), MINUS_S(PROD_S(A, B)), _2) |
|
| funct::SUM_RULE (TYPT2, SUM_S(A, B), NUM(0), SUM_S(A, B), _1) |
|
| funct::SUM_RULE (TYPT2, NUM(0), SUM_S(A, B), SUM_S(A, B), _2) |
|