User Tools

Site Tools


normalize

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
normalize [2017/11/14 07:20]
waruna [Normalization Rules]
normalize [2017/11/14 07:46]
waruna [Normalization Rules] Fixed rule 4 and 5. latex plugin does not work anymore, therefore used the mathjax plugin
Line 10: Line 10:
 ====Normalization Rules==== ====Normalization Rules====
 Normalize takes a program and applies a set of normalization rules on it. Some of the basic rules are shown below: Normalize takes a program and applies a set of normalization rules on it. Some of the basic rules are shown below:
-  - <​latex> ​$e.f \Rightarrow e$, if $f(z)=z$</​latex>​ +  - $e.f \Rightarrow e, if $f(z)=z$ 
-  - <​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_{1} \oplus e_{2})$ 
-  - <​latex> ​$(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$</​latex>​ +  - $(ef_{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}$ 
-  - <​latex> ​$(D:e). f \Rightarrow D':e$, where $D' = f^{-1}(D)$</​latex>​+  - $(D:e). f \Rightarrow D':e$, where $D' = f^{-1}(D)$
 ======== ========
 ====Example==== ====Example====
normalize.txt · Last modified: 2017/11/14 07:50 by waruna