1F201 |
(XEQINTEGID)
|
( ob ob ob id/lam → symf )
|
1F27A |
(XEQINTEG)
|
( ob ob ob QN → symf )
|
5AAC7 |
(SYMINTEG)
|
( symf symf symf QN → symf )
|
5662E |
(NUMINTEG)
|
( symf QN symf_lo symf_hi → % )
|
52C36 |
(CALCINTEG)
|
( seco %precision %lo %hi → %integral %error )
Low level numeric integration. If %low = %hi
returns %0 %0. Checks that
1E-12 ≤ %accuracy ≤1 1.
seco gets % as input and should return one
value.
|
5ACC7 |
(intg)
|
( #0 #0 meta → meta_ok meta_fail )
Integrates meta where variable of integration
has been changed to LAMdvar. Meta objects
should be merged by addition. Use colunfac
to resume /, -, etc. from *, +.
|
5D0C2 |
(forceadd)
|
( meta → meta' )
Forces top level operators to be +, NEG when
possible by changing from -, +, NEG. Attempts
to arrange rightmost term to be second
argument for top +. Example:
'A+(B+C)' 'A+B+-C'
|
5B659 |
(forcemul?aga)
|
( meta → meta' )
Recursive Meta<-D, MetaD-> and forcemul
calling. If any operation was successful
AGAIN is executed.
|
5B717 |
(forcemul)
|
( meta → meta' )
Forces top level operator to be + and NEG
when possible by changing from / and INV.
LAMdvar is ordered specially.
|
5AFAB |
(intg1)
|
( M_ok M_fail M_temp meta → M_ok' M_fail' M_temp )
Integrates meta, ok part is adds to meta1
(meta3 is the next part to integrate in the
top level loop.)
|
5B0FA |
(intg1ok)
|
( M1 M2 M3 M4 → M1' M2 M3 T )
Adds M4 to M1. (Successful intg1).
|
5B09B |
(intg1fail)
|
( M1 M2 M3 M4 → M1 M2' M4 T )
Adds M4 to M2. (Unsuccessful intg1).
|
5B0CD |
(intgconst)
|
( M_ok M_fail M_temp meta → M_ok' M_fail' M_temp )
Integrates constant to meta. (dvars? gives
FALSE).
|
5B131 |
(intglinear)
|
( M1 M2 M3 M4 → M1' M2 M3 )
Integrates linear term (M4).
|
5B140 |
(intgaddlin)
|
( meta #loc → meta' )
Adds 2^/2 to LAMdvar in meta at stack level
#loc.
|
5AD80 |
(linear?)
|
( meta #level → meta' T )
( meta #level → meta' #loc F )
Is meta linear in LAMdvar?
#level is first location of LAMdvar obtained
from dvars?
:: linear DUP IT SWAPDROP ;
|
5AD9E |
(linear)
|
( meta #level → meta #loc flag )
:: linear SWAPDROP ;
|
5AD6C |
(linear!)
|
( meta #level → meta' flag )
|