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 は数値／識別子／簡単な式に対応。
ソースコード（出力）
コピー