F# ITE Expression 001 210 \A æA 002 220 ]/'A ÇäA 010 100 \]A æÇA 011 001 \/A æäA 020 120 ]/['A ÇäÈA 022 002 [\'A ÈæA 100 010 \'A æA 101 101 [/['A ÈäÈA 110 210 [/'A ÈäA 112 221 /\A äæA 121 121 ]\]A ÇæÇA 122 012 /A äA 200 020 ]/A ÇäA 202 102 [\]A ÈæÇA 211 021 ]\'A ÇæA 212 112 /['A äÈA 220 202 [\A ÈæA 221 212 /'A äA |
ITE F# Expression 001 011 \/A æäA 002 022 [\'A ÈæA 010 100 \'A æA 012 122 /A äA 020 200 ]/A ÇäA 021 211 ]\'A ÇæA 101 101 [/['A ÈäÈA 102 202 [\]A ÈæÇA 110 010 \]A æÇA 112 212 /['A äÈA 120 020 ]/['A ÇäÈA 121 121 ]\]A ÇæÇA 201 110 [/'A ÈäA 202 220 [\A ÈæA 210 001 \A æA 212 221 /'A ÇæA 220 002 ]/'A ÇäA 221 112 /\A äæA |
F# Name Diff:012 Inverse Expression 012 buffer ''' 012 A A 021 swap 1/2 '/\ 021 ['A ÈA 102 swap 0/1 /\' 102 ]'A ÇA 120 rotate up /// 201 ]A ÇA 201 rotate down \\\ 120 [A ÈA 210 swap 0/2 \'/ 210 'A A |
Algebraic Laws '(/A) = \'A = \[A '(\A) = /'A = /]A '([A) = ]'A '(]A) = ['A ]]A = [A [[A = ]A ][A = []A = A ''A = A \\A = 0 //A = 2 |
Modified Sun Mar 25 08:48:47 2007
generated Sun Mar 25 08:56:33 2007
http://jeff.tk/trinary/unary.html