Question

任何人都可以在下面的算法中解释我＆＃34; ISZERO＆＃34;函数检查多项式是否为零。这里＆＃34; REM（P，e）＆＃34;函数使用指数＆＃34; e＆＃34;删除所有值。如果COEF（P，e）= - c＆＃34;我无法理解的是＆＃34;的重要性。这也是什么＆＃34; SMULT＆＃34;功能

 structure POLYNOMIAL
    declare ZERO( ) poly; ISZERO(poly) Boolean
    COEF(poly,exp) coef;
    ATTACH(poly,coef,exp) poly
    REM(poly,exp) poly
    SMULT(poly,coef,exp) poly
    ADD(poly,poly) poly; MULT(poly,poly) poly;
    for all P,Q, poly c,d, coef e,f exp let
    REM(ZERO,f) :: = ZERO
    REM(ATTACH(P,c,e),f) :: =
    if e = f then REM(P,f) else ATTACH(REM(P,f),c,e)
    ***ISZERO(ZERO) :: = true
    ISZERO(ATTACH(P,c,e)):: =
    if COEF(P,e) = - c then ISZERO(REM(P,e)) else false***
    COEF(ZERO,e) :: = 0
    COEF(ATTACH(P,c,e),f) :: =
    if e = f then c + COEF(P,f) else COEF(P,f)
    SMULT(ZERO,d,f) :: = ZERO
    SMULT(ATTACH(P,c,e),d,f) :: =
    ATTACH(SMULT(P,d,f),c d,e + f)
    ADD(P,ZERO):: = P
    ADD(P,ATTACH(Q,d,f)) :: = ATTACH(ADD(P,Q),d,f)
    MULT(P,ZERO) :: = ZERO
    MULT(P,ATTACH(Q,d,f)) :: =
    ADD(MULT(P,Q),SMULT(P,d,f))
    end
    end POLYNOMIAL

Answer 1

不知道这是什么语言，它看起来像这一行

ISZERO(ATTACH(P,c,e)):: =
if COEF(P,e) = - c then ISZERO(REM(P,e)) else false

以递归方式指定ISZERO。我们正在尝试确定ATTACH(P, c, e)（也称为P(x) + cx^e）是否为零。它首先检查x^e P系数-c是否为P(x) + cx^e。如果没有，那么P(x) + cx^e = REM(P, e)绝对不是零，你可以立即返回false。否则，ISZERO(REM(P, e))，因此您必须检查SMULT。

我认为SMULT(P, a, b)是乘法，因此a * x^b * P(x)相当于{{1}}。

检查零多项式

1 个答案: