Classes |
struct | funct::AuxSum< Prod, simplify > |
struct | funct::AuxSum< Prod, false > |
struct | funct::ParametricSimplifiedSum< TYPN2T1, parametric > |
struct | funct::ParametricSimplifiedSum< 1, 1, A, false > |
struct | funct::ParametricSimplifiedSum< 1, 1, A, true > |
struct | funct::ParametricSimplifiedSum< n, m, A, false > |
struct | funct::SimplSumOrd< F, G, H >::prod0 |
struct | funct::SimplSumOrd< F, G, H >::prod1 |
struct | funct::SimplSumOrd< F, G, H >::prod2 |
struct | funct::SimplSumOrd< F, G, H > |
struct | funct::Sum< A, A > |
struct | funct::Sum< A, PROD_S(NUM(n), A) > |
struct | funct::Sum< MINUS_S(A), MINUS_S(A) > |
struct | funct::Sum< MINUS_S(PROD_S(A, B)), MINUS_S(PROD_S(A, B)) > |
struct | funct::Sum< NUM(n), NUM(n) > |
struct | funct::Sum< PROD_S(A, B), PROD_S(A, B) > |
struct | funct::Sum< PROD_S(NUM(n), A), A > |
struct | funct::Sum< PROD_S(NUM(n), A), PROD_S(NUM(m), A) > |
struct | funct::Sum< PROD_S(NUM(n), A), PROD_S(NUM(n), A) > |
struct | funct::Sum< SUM_S(A, B), C > |
struct | funct::Sum< SUM_S(A, B), PROD_S(C, D) > |
Namespaces |
namespace | funct |
Functions |
| funct::DIFF_RULE (TYPT2, A, MINUS_S(B), SUM(A, B), _1+_2._) |
| funct::SUM_RULE (TYP0, NUM(0), NUM(0), NUM(0), num< 0 >()) |
| funct::SUM_RULE (TYPT2, NUM(0), SUM_S(A, B), SUM_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), MINUS_S(PROD_S(A, B)), MINUS_S(PROD_S(A, B)), _2) |
| funct::SUM_RULE (TYPT2, NUM(0), PROD_S(A, B), PROD_S(A, B), _2) |
| funct::SUM_RULE (TYPT2, PROD_S(A, B), NUM(0), PROD_S(A, B), _1) |
| funct::SUM_RULE (TYPN1T1, NUM(n), A, SUM(A, NUM(n)), _2+_1) |
| funct::SUM_RULE (TYPT1, A, NUM(0), A, _1) |
| funct::SUM_RULE (TYPN1T2, NUM(n), SUM_S(A, B), SUM(SUM_S(A, B), NUM(n)), _2+_1) |
| 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) |