Go to the first, previous, next, last section, table of contents.
- 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.