[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.1 Type Checking and Conversion

157006 ^SYMBINCOMP ( symb → ob1 .. obN #n )
( ob → ob #1 )
( {} → {} #1 )
Explodes symbolic object into meta. Other objects are converted into one-object metas by pushing #1 into the stack.
12A006 ^2SYMBINCOMP ( ob1 ob2 → meta1 meta2 )
Does ^SYMBINCOMP for 2 objects.
4D7006 ^VXXLext ( ob Lvar → Q )
Converts object to internal form. The object can be a symbolic, a symbolic vector or a symbolic matrix. If the conversion was not successfull, vxxxlflag is cleared.
400006 ^R2SYM ( lvar ob → ob )
Back conversion of a scalar object.
4D8006 ^METALISTVXXL ( Meta → Meta )
Conversion of all elements of a meta object with respect to the variables in LAM1.
4D9006 ^VXXLFext ( n/d → Z1/Z2 )
Conversion of a fraction which does not depend on any variables.
4DA006 ^VXXL1ext ( n → Z )
Conversion of an object which does not depend on any variables.
4DB006 ^VXXL0 ( ob → Q )
Conversion of object with respect to Lvar in LAM1.
4DC006 ^VXXL2NR ( Meta → Q )
Converts symbolic meta to internal form (LAM1=Lvar). Set nocareflag to avoid square root problems.
4DD006 ^VXXL2 ( Meta → Q )
Converts symbolic meta to internal form (LAM1=Lvar).
167006 ^TYPEIRRQ? ( ob → flag )
Is ob an irrquad?
168006 ^DTYPEIRRQ? ( ob → ob flag )
DUP, then ^TYPEIRRQ?.
177006 ^CKMATRIXELEM ( ob → ob )
Checks that ob is a valid internal matrix element. Look for CK[]NCK for user matrix element.
18F006 ^CKFPOLYext ( ob → ob )
Errors if list contains secondaries or empty lists.
190006 ^CK2FPOLY ( ob ob → ob ob )
Does CKFPOLYext on two objects.
19E006 ^CLEANIDLAM ( ob → ob )
Suppresses SYMB if not needed.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated by Carsten Dominik on May, 30 2005 using texi2html