34 lines
570 B
Plaintext
34 lines
570 B
Plaintext
|
calculation NumberRule1a:
|
||
|
|
0 * a -> 0
|
||
|
|
calculation NumberRule1b:
|
||
|
|
a * 0 -> 0
|
||
|
|
|
||
|
|
calculation NumberRule2a:
|
||
|
|
1 * a -> a
|
||
|
|
calculation NumberRule2b:
|
||
|
|
a * 1 -> a
|
||
|
|
|
||
|
|
calculation NumberRule3a:
|
||
|
|
a - a -> 0
|
||
|
|
calculation NumberRule3b:
|
||
|
|
(-1 * a) + a -> 0
|
||
|
|
calculation NumberRule3c:
|
||
|
|
a +- a -> [0, 2*a]
|
||
|
|
|
||
|
|
expansion NumberRule4:
|
||
|
|
a +- b -> [a + b, a - b]
|
||
|
|
|
||
|
|
calculation NumberRule5a:
|
||
|
|
a + 0 -> a
|
||
|
|
calculation NumberRule5b:
|
||
|
|
0 + a -> a
|
||
|
|
calculation NumberRule5c:
|
||
|
|
a - 0 -> a
|
||
|
|
calculation NumberRule5d:
|
||
|
|
0 - a -> -1 * a
|
||
|
|
calculation NumberRule5e:
|
||
|
|
a +- 0 -> a
|
||
|
|
|
||
|
|
expansion NumberRule7:
|
||
|
|
a + a -> 2 * a
|