1F38B |
(SYMWHERE)
|
( symf {} → symf )
|
1F439 |
(XEQSYMWHERE)
|
( symf QN1 id1..QNn idn → symf )
|
1F43E |
(CKWHEREARGS)
|
checks pairs of quoted names
Checks pairs of quoted names/ids.
|
547B5 |
SYMBWHERE
|
( symf QN1 id1..QNn idn #2n+1 → symf )
|
547E2 |
(WHERE1)
|
( QN1 id1..QNn idn #n meta1 → symf )
Used when meta size is 1.
|
54887 |
(WHEREN)
|
( QN1 id1..QNn idn #2 metan → symf )
|
58D75 |
SYMSHOW
|
( sym id/lam → symf )
|
20B00 |
XEQSHOWLS
|
( sym {} → symf )
|
5910B |
(SHOWLS)
|
( sym {names} → symf )
See this for a good example of recursive
parameval.
|
1A4A3 |
(%IFTE)
|
( % ob1 ob2 → ? )
|
54564 |
(SYMIFTE)
|
( sym symf symf → symf )
Uses cknumdsptch1 with:
|
54609 |
(MetaIFTE)
|
|
54653 |
(NumIFTE)
|
|
591AD |
(SYMQUAD)
|
( sym id → symf )
Avoids the obvious in solving a quadratic
equation.
|
595DD |
(SYMTAYLR)
|
( sym id % → symf )
Calculates taylor polynomial.
|
57293 |
(SYMISOL)
|
( sym id → symb )
Isolate a variable.
|
1F113 |
(XEQSYMDERCON)
|
( QN %/C%/u → symf )
|
1F0F5 |
(XEQSYMDERSTEP)
|
( QN sym → symf )
|
54977 |
(SYMDERSTEP)
|
( QN sym → symf )
No CKSYMBTYPE check.
|
54954 |
(SYMDER)
|
( sym sym → symf )
|
56949 |
(SYMSUM)
|
( sym sym sym ob → symf )
|
56A06 |
(SYM%SUM)
|
( sym sym % ob → symf )
|
56A4C |
(%SYMSUM)
|
( sym % sym ob → symf )
|
56AC9 |
(%%SUM)
|
( sym % % ob → symf )
|