本经验介绍在Maude中，如何使用RAT有理数模块。RAT有理数模块默认包含在启动时载入的CONVERSION模块中。
工具/原料
Maude 2.7.1
方法/步骤
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，但是只有当其中的项都可以化简为分数时，才能求得结果。
总结
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，但是只有当其中的项都可以化简为分数时，才能求得结果。
注意事项
如果遇到问题，可以在下面提出疑问。
下一篇：整数加法的速算方法