previous up next
Go backward to Translation
Go up to Top
Go forward to Proof
RISC-Linz logo


Proposition: cartesian and polar are bijections.

cartesian o polar = 1C,
polar o cartesian = 1C'
x *C' y := <x0*y0, shift(x1+y1)>

Proposition: C and C' are isomorphic with respect to multiplication.

polar: C ->iso(*C, *C') C'
cartesian: C' ->iso(*C', *C) C

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next