Rewrite a sum as a polynomial object, if possible. More...
Public Member Functions | |
| IdentifyPolynomialSum () | |
| virtual | ~IdentifyPolynomialSum () |
| virtual bool | doTransform (const RCP< ScalarExpr > &left, const RCP< ScalarExpr > &right, int sign, RCP< ScalarExpr > &rtn) const |
| Test whether the transform is applicable in this case, and if it is, apply it. | |
Detailed Description
Rewrite a sum as a polynomial object, if possible.
Definition at line 60 of file SundanceStdSumTransformations.hpp.
Constructor & Destructor Documentation
| Sundance::IdentifyPolynomialSum::IdentifyPolynomialSum | ( | ) | [inline] |
Definition at line 64 of file SundanceStdSumTransformations.hpp.
| virtual Sundance::IdentifyPolynomialSum::~IdentifyPolynomialSum | ( | ) | [inline, virtual] |
Definition at line 67 of file SundanceStdSumTransformations.hpp.
Member Function Documentation
| bool IdentifyPolynomialSum::doTransform | ( | const RCP< ScalarExpr > & | left, |
| const RCP< ScalarExpr > & | right, | ||
| int | sign, | ||
| RCP< ScalarExpr > & | rtn | ||
| ) | const [virtual] |
Test whether the transform is applicable in this case, and if it is, apply it.
The return value is true is the transformation was applied, otherwise false. Returns by non-const reference the transformed expression.
Implements Sundance::SumTransformation.
Definition at line 140 of file SundanceStdSumTransformations.cpp.
References Sundance::FunctionalPolynomial::isConvertibleToPoly(), polysumTimer(), Sundance::FunctionalPolynomial::toPoly(), and Sundance::SymbolicTransformation::useOptimizedPolynomials().