>>873
そうじゃなくて、分母、分子、両方一致したときだけ等しいとか有理数としておかしいだろってことかと。
>>869
でも 20.10.3p2 で gcd で割って正規化されるんで正しい規定だと思うよ。