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

5.4.3 Simplification, Evaluation and Substitution

45B006 ^VAR=LIST ( idnt {} → {}' )
Replaces all elements of the initial list by idnt=element.
464006 ^SYMBEXEC ( ob symb → ob' )
If symb is an equation, executes the corresponding change of variables in ob, otherwise tries to find symb so that ob is zero. Note that change of variable works for change of user functions.
465006 ^MEVALext ( ob {} {}' → ob' )
Replaces all occurrances of an element of list2 by the corresponding element of list1 in ob. Looks in ob from outer to inner expressions. list2 and list1 may contain secondaries. If vxxlflag is set SIGN var are leaved unchanged.
466006 ^CASNUMEVAL ( symb list1 list2 → symb' )
Evaluation of a symbolic. The lists' formats are list1={idnt/lam1... idnt_n/lam_n} list2={value1...value_n}. The idnt's/lam's in list1 are not evaluated before replacing value1...value_n.
467006 ^CASCOMPEVAL ( symb → symb' )
Evaluation of a symbolic.
468006 ^REPLACE2BY1 ( symb idnt a → symb' )
Evaluation of a symbolic replacing an idnt by a value; for example evaluation of F(X) for X=1/2)
469006 ^NR_REPLACE ( symb idnt a → symb' )
Like <REF>REPLACE2BY1 but prevents evaluation of INT.
46A006 ^SYMBWHERE
46B006 ^CASCRUNCH ( ob → % )
Like <REF>CRUNCH but in approximate mode.
46C006 ^APPROXCOMPEVAL ( symb → symb' )
Like <REF>CASCOMPEVAL but in approximate mode.
11A007 ^ALGCASCOMPEVAL ( expr → expr )
First available in ROM 1.11.
297006 ^SLVARext ( Lvar → Lvar' )
Simplifies all elements of the list that are supposed to be variables.
298006 ^SIMPLIFY ( symb → symb' )
Simplifies one object like <REF>xEVAL.
299006 ^SIMP1ext ( symb → symb' )
Simplifies one object like <REF>xEXPAND. Object must be a symbolic, a real or a complex number.
29A006 ^SYMEXPAN ( symb → symb' )
Simplifies one object like <REF>xEXPAN. Object must be symb/real/cmplx.
29B006 ^SIMPVAR ( ob → ob' )
Simplifies variable.
2A0006 ^SIMPSYMBS ( inf sup fcn var → int(inf,sup,fcn,var) )
2A1006 ^SYMINTEGRAL
2A2006 ^SIMPUSERFCN ( ob1..obn #n ob → id[] )
Simplification of user functions. Tests for derivative of user functions. Ob must be an id, a symbolic, a secondary or a romptr.
2A3006 ^EVALUSERFCN ( V1..Vn #n fcn → f[] )
Evaluates a user function with stack checking.
2A4006 ^SIMP| ( ob list → ob' )
Executes the WHERE operator.
2A9006 ^SIMPext ( ob1 ob2 → ob1' ob2' )
Simplifies two objects in internal representation. Checks that o2 is not a complex or an irrquad because decomposition of the corresponding fraction with larg would generate a "Try to recover Memory".
2AA006 ^SIMPEXTOK
2AC006 ^SLOWSIMP2L
2AD006 ^SIMPGCDext ( o1 o2 gcd → o1/gcd o2/gcd )
Divides o1 and o2 by gcd.
2AE006 ^SIMP3ext ( a b → g a" b" )
Calculates g = gcd(a,b) and a"=a/g and b"=b/g.
2AF006 ^SIMP3LISText
2B0006 ^SIMP3LSTSLOW
2B9006 ^TSIMP2ext ( symb → symb )
Transcendental simplifications. Converts only sqrt ^ and XROOT to EXP/LN. LN are returned as -1/INV[-LN[]] for use by SERIES.
2BA006 ^TSIMPext ( symb → symb )
Transcendental simplifications. Convert transcendental functions to EXP and LN.
2BB006 ^TSIMP3ext ( symb → symb )


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

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