Previous Page Next Page Contents

Type::Property -- type to identify properties

Introduction

With Type::Property, properties can be identified.

Call(s)

testtype(obj, Type::Property)

Parameters

obj - any MuPAD object

Returns

see testtype

Related Functions

testtype, is

Details

Example 1

Is Type::PosInt a property?

>> testtype(Type::PosInt, Type::Property)
                                   TRUE

Also an interval created with Type::Interval is a property:

>> testtype(Type::Interval(0, 1), Type::Property)
                                   TRUE

Is Type::Constant a property?

>> testtype(Type::Constant, Type::Property)
                                   FALSE

Type::Constant is not a property and cannot be used as argument of assume:

>> assume(x, Type::Constant)
      Error: second argument must be a property [property::assume]

The next example shows the usage of testtype to select properties among operands of Type:

>> T := Type::Numeric, Type::PosInt, Type::Unknown, Type::Zero:
   select(T, testtype, Type::Property)
                         Type::PosInt, Type::Zero
>> delete x, T:

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000