This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
documentation:ref:transformation [2015/09/22 19:15] poslavskysv [Basics] |
documentation:ref:transformation [2015/09/22 19:15] poslavskysv [Basics] |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| * Applying ''Transformation'' using ''%%>>%%'' operator is equivalent to direct invocation of method ''.transform(exp)''. | * Applying ''Transformation'' using ''%%>>%%'' operator is equivalent to direct invocation of method ''.transform(exp)''. | ||
| - | * The identity transformation does nothing (''t == Identity >> t'') | + | * The identity transformation does nothing (''expr == Identity %%>>%% expr'') |
| ====Examples==== | ====Examples==== | ||
| [[Expand]] is a ''Transformation'' that expands out product of sums: | [[Expand]] is a ''Transformation'' that expands out product of sums: | ||