normalize

# Differences

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

 normalize [2017/11/14 07:20]waruna [Normalization Rules] normalize [2017/11/14 07:22]waruna [Normalization Rules] Both sides previous revision Previous revision 2017/11/14 07:50 waruna [Example] 2017/11/14 07:46 waruna [Normalization Rules] Fixed rule 4 and 5. latex plugin does not work anymore, therefore used the mathjax plugin 2017/11/14 07:22 waruna [Normalization Rules] 2017/11/14 07:20 waruna [Normalization Rules] 2017/04/19 14:14 external edit 2017/11/14 07:50 waruna [Example] 2017/11/14 07:46 waruna [Normalization Rules] Fixed rule 4 and 5. latex plugin does not work anymore, therefore used the mathjax plugin 2017/11/14 07:22 waruna [Normalization Rules] 2017/11/14 07:20 waruna [Normalization Rules] 2017/04/19 14:14 external edit Next revision Both sides next revision Line 13: Line 13: - <​latex>​ $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ ​ - <​latex>​ $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ ​ - <​latex>​ $(D:​e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$​ - <​latex>​ $(D:​e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$​ - - <​latex>​ $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{1} \oplus e_{2})$​ + - <​latex>​ $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{2} \oplus e_{2})$​ - <​latex>​ $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$​ - <​latex>​ $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$​ - <​latex>​ $D_{1}:​(D_{2}:​e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$ ​ - <​latex>​ $D_{1}:​(D_{2}:​e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$