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型

- 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.