AlphaZ

User Tools

Site Tools

Trace:
normalize

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision Both sides next revision
normalize [2017/04/19 14:14]
127.0.0.1 external edit 		normalize [2017/11/14 07:20]
waruna [Normalization Rules]
Line 13: Line 13:
   - <latex> $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ </latex>   - <latex> $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ </latex>
   - <latex> $(D:e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$</latex>   - <latex> $(D:e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$</latex>
-  - <latex> $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{2} \oplus e_{2})$</latex>+  - <latex> $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{1} \oplus e_{2})$</latex>
   - <latex> $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$</latex>   - <latex> $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$</latex>
   - <latex> $D_{1}:(D_{2}:e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$ </latex>   - <latex> $D_{1}:(D_{2}:e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$ </latex>
normalize.txt ยท Last modified: 2017/11/14 07:50 by waruna

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
Public Domain Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki