拡張スカラーの計算表

無限大を含む算術（Erlang実装）の件：

まず、おおざっぱに符号の掛け算：

×	-	0	+
-	+	0	-
0	0	0	0
+	-	0	+

これはいいよね。

無限大を含む掛け算、n, n'は有限負数、p, p'は有限正数。

×	-∞	n	0	p	+∞
-∞	+∞	+∞	0	-∞	-∞
n'	+∞	nn'	0	pn'	-∞
0	0	0	0	0	0
p'	-∞	np'	0	pp'	+∞
+∞	-∞	-∞	0	+∞	+∞

足し算のほうが簡単、x, x'は有限数、Undefは未定義。

＋	-∞	x	+∞
-∞	-∞	-∞	Undef
x'	-∞	xx'	+∞
+∞	Undef	+∞	+∞

別に代数的な合理性はどうでもよくて、実用になればオッケ。