6.8 型を求める函数

6.8.1 type

type(obj)

:: obj の 型 (整数) を返す.

return

整数

obj

任意

• obj の 型の値は次の通り.

  0

  0

  1

  数

  2

  多項式 (数でない)

  3

  有理式 (多項式でない)

  4

  リスト

  5

  ベクトル

  6

  行列

  7

  文字列

  8

  構造体

  9

  分散表現多項式

  10

  32bit 符号なし整数

  11

  エラーオブジェクト

  12

  GF(2) 上の行列

  13

  MATHCAP オブジェクト

  14

  一階述語論理式

  -1

  VOID オブジェクト

• 数の型を求めるには, ntype を用いる. 不定元の型を求めるには, vtype を用いる.

参照

ntype, vtype.

6.8.2 ntype

ntype(num)

:: num (数) の 型 (整数) を返す.

return

自然数

obj

数

• 数の型の値は次の通り.

  0

  有理数

  1

  倍精度浮動小数

  2

  代数的数

  3

  任意精度浮動小数 (bigfloat)

  4

  複素数

  5

  有限体の元

  6

  大標数素体の元

  7

  標数 2 の有限体の元

• newalg(x^2+1) で生成した数と, 虚数単位 @i は, 異なるものとして扱われる.
• 代数的数に関しては, See section 代数的数に関する演算.

[0] [10/37,ntype(10/37)];
[10/37,0]
[1] [10.0/37.0,ntype(10.0/37.0)];
[0.27027,1]
[2] [newalg(x^2+1)+1,ntype(newalg(x^2+1)+1)];
[(#0+1),2]
[3] [eval(sin(@pi/6)),ntype(eval(sin(@pi/6)))];
[0.49999999999999999991,3]
[4] [@i+1,ntype(@i+1)];
[(1+1*@i),4]

参照

type.

6.8.3 vtype

vtype(var)

:: var (不定元) の 型 (整数) を返す.

return

整数

var

不定元

• var (不定元) の型の値は次の通り. 詳細は See section 不定元の型.

  0

  一般不定元 (a,b,x,afo,bfo,...,etc)

  1

  uc() で生成された不定元 (_0, _1, _2, ... etc)

  2

  函数形式 (sin(x), log(a+1), acosh(1), @pi, @e, ... etc)

  3

  函数子 (組み込み函数子, ユーザ定義函数子, 初等函数子 : sin, log, ... etc)

• a(); を実行(通常ではエラー)しただけでも ntype(a) は 3 となる. すなわち a はユーザ定義函数子とみなされる.
• ユーザが函数形式を定義するためにはキーワード function を用いる.
• @pi, @e は不定元として扱われるが, eval(), pari() においては数として扱われる.

参照

type, ntype, uc.

この文書は10月 30, 2025にtexi2html 5.0を用いて生成されました。