主页>百科达人>详情

Maude如何使用RAT有理数模块

villain/2022-07-27/17阅读 /0评论
Maude如何使用RAT有理数模块简介:首先,RAT中含有除法,而NAT不含有除法。如图1/2得到PosRat 1/2。Maude如何使用RAT有理数模块[图]使用show all RAT .命令可以查看RAT模块的定义,另外也可以查看安装目录下的prelude.maude文件。

Maude如何使用RAT有理数模块

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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]


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

Maude如何使用RAT有理数模块[图]

Maude如何使用RAT有理数模块[图]

总结

本文用户投稿或网站收集转载,如有侵权请联系本站。