Maude如何使用RAT有理数模块

1、首先，RAT中含有除法，而NAT不含有除法。如图1/2得到PosRat 1/2。

3、使用如图命令可以看到合法的RAT表示形式。不过除以0比较特殊，在Maude 2.7.1里边也算合法了。

5、在RAT中，次方可以计算自然数次方，分数次方和负数次方会保留原样。

7、同样的，对于整数适用的min，max同样适用于NAT，但是只有当其中的项都可以化简为分数时，才能求得结果。