qt_is_var, qt_is_coef

qt_is_var(Expr)

:: Expr が不定元に対応する quote なら 1 を戻す.

qt_is_coef(Expr)

:: Expr が係数の有理関数体に属するとき 1 を戻す.

return

整数

Expr

quote型

• Expr が不定元に対応する quote なら 1 を戻す. そうでないとき 0 を戻す.

[qt_is_var(quote(x)), qt_is_var(quote(3/2))];
     出力: [1,0]

参照

section qt_rewrite, section nqt_match_rewrite

ChangeLog

• -----まだ書いてない.

Go to the first, previous, next, last section, table of contents.