pymor.algorithms.simplify

Module Contents

class pymor.algorithms.simplify.ContractRules

Bases: pymor.algorithms.rules.RuleTable

RuleTable for the contract algorithm.

Methods

action_ConcatenationOperator
action_LincombOperator
action_recurse

action_ConcatenationOperator(op)

action_LincombOperator(op)

action_recurse(op)

class pymor.algorithms.simplify.ExpandRules

Bases: pymor.algorithms.rules.RuleTable

RuleTable for the expand algorithm.

Methods

action_ConcatenationOperator
action_LincombOperator
action_recurse

action_ConcatenationOperator(op)

action_LincombOperator(op)

action_recurse(op)

pymor.algorithms.simplify.contract(obj)

Contract linear combinations and concatenations of Operators.

To any given Operator or Model, the following transformations are applied recursively:

• Concatenations of non-parametric linear Operators are contracted into a single Operator when possible. Products of sparse matrices are not computed, however.

• Non-parametric linear combinations of non-parametric operators are merged.

Parameters

obj

Either a Model or an Operator to which the contraction rules are applied recursively for all children.

Returns

The transformed object.

pymor.algorithms.simplify.expand(obj)

Expand concatenations of LincombOperators.

To any given Operator or Model, the following transformations are applied recursively:

• Concatenations of LincombOperators are expanded. E.g.

  (O1 + O2) @ (O3 + O4)
  

  becomes:

  O1 @ O3 + O1 @ O4 + O2 @ O3 + O2 @ O4
  

• LincombOperators inside LincombOperators are merged into a single LincombOperator

• ConcatenationOperators inside ConcatenationOperators are merged into a single ConcatenationOperator.

Parameters

obj

Either a Model or an Operator to which the expansion rules are applied recursively for all children.

Returns

The transformed object.