|
TypeTools[Type] - 式が与えれらた型であるかどうかのテスト
使い方
Type(e, t)
パラメータ
e - 式
t - 型
|
|
説明
|
|
|
•
|
Type 関数は、式 e が型 t であるかどうかをテストします。この関数は、トップレベルの type と同じです。
|
|
|
|
例
|
|
|
>
|
TypeTools[Type]( 7, 'integer' );
|
|
| (2.1) |
|
>
|
TypeTools[Type]( 2/3, 'integer' );
|
|
| (2.2) |
|
>
|
TypeTools[Type]( [2.3,5.6,8.9], 'list(float)' );
|
|
| (2.3) |
|
>
|
TypeTools[Type]( 2*x^7+3*x+1, 'polynom(integer)' );
|
|
| (2.4) |
|
|
