4元体について
積算
加算と同様にF4の任意の元xとyについて、x*yを正の整数で計算した結果を「N:x*y=z」と書き、同様にF4上で計算した結果を「F4:x*y=z」と書きます。
ルール1
x=2またはx=3、かつy=2またはy=3ならば
F4:x*y=N:|x*y-7|
ルール2
F4:x*y=N:x*y
ただしルール1を優先する。
実に複雑だ。もっと簡単に書けないものか。
追記
この記事は数学SNSのMathlogにも投稿しているのですが、シンプルな解答を教えていただきました。
https://mathlog.info/articles/1179