Maude如何使用RAT有理数模块

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

2、使用show all RAT .命令可以查看RAT模块的定义，另外也可以查看安装目录下的prelude.maude文件。

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

4、对于乘法，减法，求余rem，求商quo操作，都可以计算出结果。

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

6、另外也可以计算RAT数的gcd，lcm，abs绝对值等。

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