Lua abs変換器

ソースコード（入力）

変換設定

== の変換ルール

abs(x) == n

x^2 == n^2

(x == -n or x == n)

<= の変換ルール

abs(x) <= n

x^2 <= n^2

(-n <= x and x <= n)

対象は abs(任意の変数)。n は数値／識別子／簡単な式に対応。

ソースコード（出力）