pymor.algorithms.simplify

Module Contents

class pymor.algorithms.simplify.ContractRules

Bases: pymor.algorithms.rules.RuleTable

Define algorithm by a table of match conditions and corresponding actions.

RuleTable manages a table of rules, stored in the rules attributes, which can be applied to given objects.

A new table is created by subclassing RuleTable and defining new methods which are decorated with match_class, match_generic or another rule subclass. The order of the method definitions determines the order in which the defined rules are applied.

Parameters

use_caching

If True, cache results of apply.

rules

list of all defined rules.

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

Define algorithm by a table of match conditions and corresponding actions.

RuleTable manages a table of rules, stored in the rules attributes, which can be applied to given objects.

A new table is created by subclassing RuleTable and defining new methods which are decorated with match_class, match_generic or another rule subclass. The order of the method definitions determines the order in which the defined rules are applied.

Parameters

use_caching

If True, cache results of apply.

rules

list of all defined rules.

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.