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


qt_is_var, qt_is_coef

qt_is_var(Expr)
:: Expr が不定元に対応する quote なら 1 を戻す.
qt_is_coef(Expr)
:: Expr が係数の有理関数体に属するとき 1 を戻す.
return
整数
Expr
quote型
[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.