>>708
(a,0):=a,(0,b):=-b,(c,0):=c,(0,d):=-d
とかくことにすると普通の整数の掛け算の関係式をみたすようですね。
マイナスを記号として使わないという苦労している部分はうしなわれ
ますが。よく定義できていると思います。