|
| funct::COMBINE (SIN_S(A), COS_S(A), type(_1._)) |
|
| funct::COMBINE (SIN_S(A), TAN_S(A), type(_1._)) |
|
| funct::COMBINE (COS_S(A), TAN_S(A), sin(_1._)) |
|
| funct::COMBINE (POWER_S(COS_S(A), B), POWER_S(TAN_S(A), B), pow(sin(_1._1._), _1._2)) |
|
| funct::COMBINE (PROD(NUM(n), SIN2(A)), PROD(NUM(m), COS2(A)),(num< n-p >()*_1._2+num< m-p >()*_2._2)+num< p >()) |
|
| funct::COS_RULE (TYPT1, MINUS_S(A), COS(A), cos(_._)) |
|
| funct::COS_S (A)> |
|
| funct::NUM (n)) |
|
| funct::NUM (2)) |
|
| funct::POWER_S (TAN_S(A), B)> |
|
| funct::POWER_S (TAN_S(A), NUM(n))> |
|
| funct::POWER_S (COS_S(A), NUM(2))> |
|
| funct::POWER_S (SIN_S(A), NUM(2))> |
|
| funct::PROD_RULE (TYPT1, SIN_S(A), A, PROD(A, SIN(A)), _2 *_1) |
|
| funct::PROD_RULE (TYPT1, COS_S(A), A, PROD(A, COS(A)), _2 *_1) |
|
| funct::PROD_RULE (TYPT1, TAN_S(A), A, PROD(A, TAN(A)), _2 *_1) |
|
| funct::PROD_S (NUM(m), POWER_S(COS_S(A), NUM(2)))> |
|
| funct::PROD_S (NUM(n), POWER_S(SIN_S(A), NUM(2)))> |
|
| funct::SIN_RULE (TYPT1, MINUS_S(A), MINUS(SIN(A)),-sin(_._)) |
|
| funct::SIN_S (A)> |
|
typedef | funct::SUM (SUM(PROD(NUM(n-p), SIN2(A)), PROD(NUM(m-p), COS2(A))), NUM(p)) type |
|
| funct::TAN_RULE (TYPT1, MINUS_S(A), MINUS(TAN(A)),-tan(_._)) |
|
| funct::TAN_S (A)> |
|
| funct::TEMPL (T1) struct Divides0 |
|
| funct::TEMPL (T2) struct Divides |
|
| funct::TEMPL (N1T1) struct Divides< POWER_S(A |
|
| funct::TEMPL (N2T1) struct ParametricDivN<n |
|