Maude如何使用RAT有理数模块
Maude如何使用RAT有理数模块简介:首先，RAT中含有除法，而NAT不含有除法。如图1/2得到PosRat 1/2。Maude如何使用RAT有理数模块[图]使用show all RAT .命令可以查看RAT模块的定义，另外也可以查看安装目录下的prelude.maude文件。
首先，RAT中含有除法，而NAT不含有除法。如图1/2得到PosRat 1/2。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/7c84d1672b5fd54680b353a77fd0b503c9d224b9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
使用show all RAT .命令可以查看RAT模块的定义，另外也可以查看安装目录下的prelude.maude文件。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/47bf594ec28333bfb5cadefcdbb8b43ea9db1db9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
使用如图命令可以看到合法的RAT表示形式。不过除以0比较特殊，在Maude 2.7.1里边也算合法了。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/560be432939c2cf7489737aa452c5b1b1fde12b9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
对于乘法，减法，求余rem，求商quo操作，都可以计算出结果。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/1f9feadca039131f51c9386ae275f2c4ed990ab9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
在RAT中，次方可以计算自然数次方，分数次方和负数次方会保留原样。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/f385f29959430401eedbf5f1d66b04d1482905b9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
另外也可以计算RAT数的gcd，lcm，abs绝对值等。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/5c2a1ad149299a889536035667eeadbcbf2f7fb9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
同样的，对于整数适用的min，max同样适用于NAT，但是只有当其中的项都可以化简为分数时，才能求得结果。
![Maude如何使用RAT有理数模块[图]](https://exp-picture.cdn.bcebos.com/9bc92713e8e5ecee0299559ccc704618deda7ab9.jpg?x-bce-process=image%2Fresize%2Cm_lfit%2Cw_640%2Climit_1%2Fformat%2Cf_auto%2Fquality%2Cq_80)
Maude如何使用RAT有理数模块[图]
总结
本文用户投稿或网站收集转载，如有侵权请联系本站。
