A number can generally be described as zero or the signed ratio of two whole numbers greater than 0.
A location in 2D space can be described by an x and y coordinate:
And a location in 3D space by x, y, z, coordinates:
A rotation may be applied to any coordinate:
Normalizing to these canonical units ensures arithmetic behaves as expected.
| c*0^{p} | [c,p] |
|---|---|
| 1*0^{0}=1 | [1,0] |
| -1*0^{0}=-1 | [-1,0] |
| 1*0^{1}=0 | [0,1] |
| 1*0^{-1}=w | [0,-1] |
A traction may be recursive.
A traction may contain operations. These tractions are considered operational.
Tractions are considered composite if they have the capacity to be both recursive and operational.
To define the operational rules, we must first define a few helper functions. These functions enable our operations to handle edge cases involving zero-rollover.
| a<>b | [c,d] |
|---|---|
| [a_{1},a_{2}]+[b_{1},b_{2}] | [a_{1}+b_{1},(a_{2}+b_{2})/2] |
| [a_{1},a_{2}]*[b_{1},b_{2}] | [a_{1}*b_{1},a_{2}+b_{2}] |
| [a_{1},a_{2}]^[b_{1},b_{2}] | [a_{1}^b_{1}, b_{2}*a_{2}] |
| -[a_{1},a_{2}] | [-a_{1},1/r(a_{2})-v(a_{2})] |
| 1/[a_{1},a_{2}] | [1/r(a_{1}),-a_{2}-v(a_{1})] |
| |[a_{1},a_{2}]| | √( a_{1}^2+a_{2}^2 ) |
| [[a_{1},a_{2}],[b_{1},b_{2}]] | [a_{1}*b_{2}, a_{2}+b_{1}] |
So, the coefficient behaves additively, and the phase behaves exponentially over multiplication but logarithmically over addition.
From these operation rules, subtraction and division may be derived.
Special rules apply to scalar arithmetic when evaluating these operations. Some of these rules are redundant, but included for specificity.