SundanceStdSumTransformations.hpp File Reference

Go to the source code of this file.

Classes

class Sundance::StdSumTransformations

Apply a standard set of transformations. More...

class Sundance::IdentifyPolynomialSum

Rewrite a sum as a polynomial object, if possible. More...

class Sundance::ReorderSum

Put terms in a standard order. More...

class Sundance::RemoveUnaryMinusFromSum

Simplify sums involving unary minuses
$x + (-y) \rightarrow x-y.$

$(-x) + (-y) \rightarrow -(x+y).$

$(-x) + y \rightarrow y-x.$
. More...

class Sundance::RemoveZeroFromSum

Transform a sum by removing a zero term:
$x + 0 \rightarrow x.$
. More...

class Sundance::SumConstants

Sum two constant exprs without transformation. More...

class Sundance::MoveConstantsToLeftOfSum

Transform a sum by moving any constants to the left:
$x + a \rightarrow a + x$
. More...

class Sundance::RearrangeRightSumWithConstant

Rearrange a sum whose right operand is a sum including a constant such that constants are grouped on the left:
$\alpha + s_1 (\beta + s_2 u) \rightarrow (\alpha + s_1 \beta) + s_1 s_2 u$

$u + s_1 (\alpha + s_2 v) \rightarrow s_1 \alpha + (u + s_1 s_2 v)$
. More...

class Sundance::RearrangeLeftSumWithConstant

Rearrange a sum whose left operand is a sum including a constant such that constants are grouped on the left:
$(\alpha + s_1 u) + s_2 \beta \rightarrow (\alpha + s_2 \beta) + s_1 u$

$(\alpha + s_1 u) + s_2 v \rightarrow \alpha + (s_1 u + s_2 v)$
. More...

class Sundance::SumIntegrals

Transform sum of integrals to SumOfIntegral objects. More...

Namespaces

namespace Sundance


Classes
class	Sundance::StdSumTransformations
	Apply a standard set of transformations. More...
class	Sundance::IdentifyPolynomialSum
	Rewrite a sum as a polynomial object, if possible. More...
class	Sundance::ReorderSum
	Put terms in a standard order. More...
class	Sundance::RemoveUnaryMinusFromSum
	Simplify sums involving unary minuses $x + (-y) \rightarrow x-y.$ $(-x) + (-y) \rightarrow -(x+y).$ $(-x) + y \rightarrow y-x.$ . More...
class	Sundance::RemoveZeroFromSum
	Transform a sum by removing a zero term: $x + 0 \rightarrow x.$ . More...
class	Sundance::SumConstants
	Sum two constant exprs without transformation. More...
class	Sundance::MoveConstantsToLeftOfSum
	Transform a sum by moving any constants to the left: $x + a \rightarrow a + x$ . More...
class	Sundance::RearrangeRightSumWithConstant
	Rearrange a sum whose right operand is a sum including a constant such that constants are grouped on the left: $\alpha + s_1 (\beta + s_2 u) \rightarrow (\alpha + s_1 \beta) + s_1 s_2 u$ $u + s_1 (\alpha + s_2 v) \rightarrow s_1 \alpha + (u + s_1 s_2 v)$ . More...
class	Sundance::RearrangeLeftSumWithConstant
	Rearrange a sum whose left operand is a sum including a constant such that constants are grouped on the left: $(\alpha + s_1 u) + s_2 \beta \rightarrow (\alpha + s_2 \beta) + s_1 u$ $(\alpha + s_1 u) + s_2 v \rightarrow \alpha + (s_1 u + s_2 v)$ . More...
class	Sundance::SumIntegrals
	Transform sum of integrals to SumOfIntegral objects. More...
Namespaces
namespace	Sundance