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

2.11.5 Integration

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 )


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

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