Go backward to Example Go up to Top Go forward to Examples |
0 := I(0N, 0N); 1 := I(1N, 0N); 2 := I(2N, 0N).
x + y := I(x0 +N y0, x1 +N y1); x * y := I((x0 *N y0) +N (x1 *N y1), (x0 *N y1) +N (x1 *N y0)) -x := <x1, x0>; x - y := x + (-y).
x <= y : <=> (x0+y1 <N y0+x1).