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

5.9 Summation

0F8007 ^QUOTExSIGMA
0F9007 ^SUM ( sym idntsym )
Internal SUM. The variable can be specified.
0FA007 ^FLAGSUM
0FB007 ^SUMVX ( symsym )
Internal SUMVX. Works always with respect to the current variable.
--
<REF>TEXT:Reserved|VX
0FC007 ^FLAGSUMVX
0FD007 ^RATSUM ( symsym )
Discrete rational sum.
0FE007 ^FTAYL ( f shift → f' )
Taylor shift for rational fractions.
0FF007 ^CSTFRACTION? ( ob → ob flag )
Taylor shift for rational fractions. Returns TRUE if ob is a cst fraction.
104007 ^HYPERGEO ( symb → symb )
Tests and does hypergeometric summation. First available in ROM 1.11.
100007 ^NONRATSUM ( z/symb → symb )
Discrete summation (hypergeometric case).
103007 ^meta_cst? ( meta → meta flag )
Tests for meta to be cst with respect to current var. First available in ROM 1.11.
105007 ^fk+1/fk
First available in ROM 1.11.
108007 ^ZEILBERGER ( f(n,k) n k d → C T )
( f(n,k) n k d → F )
Zeilberger algorithm * NOT IMPLEMENTED YET*. First available in ROM 1.11.
109007 ^SYMPSI ( sym → Psi(x) )
Digamma function. First available in ROM 1.11.
10A007 ^sympsi
First available in ROM 1.11.
10B007 ^SYMPSIN ( sym int → Psi(x,n) )
Digamma function. First available in ROM 1.11.
10C007 ^sympsin
First available in ROM 1.11.
11C007 ^%%PSI ( %%x → %% )
Digamma function. First available in ROM 1.11.
10D007 ^IBERNOULLI ( #/zint → Q )
Bernoulli numbers. First available in ROM 1.11.
0CD007 ^PARITYTEST
0CE007 ^COSTEST
0D9007 ^NDEvalN/D ( num deno n d → num' deno' )
Evals list poly over a list fraction.
0DA007 ^PEvalN/D ( P n d → num d # )
Evals list poly over a list fraction.
3C1006 ^vgerxssSYMSUM ( Meta2 Meta1 → meta )
Symbolic sum with tests for two zints. lam'sumvar bound to 'id/lam' and lam'sumexpr to 'expr'.


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

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