142
142
<body lang="pt" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
144
144
<a name="zeilberger"></a>
145
<a name="SEC266"></a>
145
<a name="SEC265"></a>
146
146
<table cellpadding="1" cellspacing="1" border="0">
147
<tr><td valign="middle" align="left">[<a href="maxima_71.html#SEC265" title="Previous section in reading order"> < </a>]</td>
148
<td valign="middle" align="left">[<a href="#SEC267" title="Next section in reading order"> > </a>]</td>
147
<tr><td valign="middle" align="left">[<a href="maxima_71.html#SEC264" title="Previous section in reading order"> < </a>]</td>
148
<td valign="middle" align="left">[<a href="#SEC266" title="Next section in reading order"> > </a>]</td>
149
149
<td valign="middle" align="left"> </td>
150
<td valign="middle" align="left">[<a href="maxima_71.html#SEC263" title="Beginning of this chapter or previous chapter"> << </a>]</td>
150
<td valign="middle" align="left">[<a href="maxima_71.html#SEC262" title="Beginning of this chapter or previous chapter"> << </a>]</td>
151
151
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Up section"> Up </a>]</td>
152
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
152
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
153
153
<td valign="middle" align="left"> </td>
154
154
<td valign="middle" align="left"> </td>
155
155
<td valign="middle" align="left"> </td>
156
156
<td valign="middle" align="left"> </td>
157
157
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
158
158
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
159
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
159
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
160
160
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
162
162
<h1 class="chapter"> 72. zeilberger </h1>
164
164
<table class="menu" border="0" cellspacing="0">
165
<tr><td align="left" valign="top"><a href="#SEC267">72.1 Introdução a zeilberger</a></td><td> </td><td align="left" valign="top">
165
<tr><td align="left" valign="top"><a href="#SEC266">72.1 Introdução a zeilberger</a></td><td> </td><td align="left" valign="top">
167
<tr><td align="left" valign="top"><a href="#SEC271">72.2 Definições para zeilberger</a></td><td> </td><td align="left" valign="top">
167
<tr><td align="left" valign="top"><a href="#SEC270">72.2 Definições para zeilberger</a></td><td> </td><td align="left" valign="top">
172
172
<a name="Introdu_00e7_00e3o-a-zeilberger"></a>
173
<a name="SEC267"></a>
173
<a name="SEC266"></a>
174
174
<table cellpadding="1" cellspacing="1" border="0">
175
<tr><td valign="middle" align="left">[<a href="#SEC266" title="Previous section in reading order"> < </a>]</td>
176
<td valign="middle" align="left">[<a href="#SEC268" title="Next section in reading order"> > </a>]</td>
175
<tr><td valign="middle" align="left">[<a href="#SEC265" title="Previous section in reading order"> < </a>]</td>
176
<td valign="middle" align="left">[<a href="#SEC267" title="Next section in reading order"> > </a>]</td>
177
177
<td valign="middle" align="left"> </td>
178
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
179
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
180
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
178
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
179
<td valign="middle" align="left">[<a href="#SEC265" title="Up section"> Up </a>]</td>
180
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
181
181
<td valign="middle" align="left"> </td>
182
182
<td valign="middle" align="left"> </td>
183
183
<td valign="middle" align="left"> </td>
184
184
<td valign="middle" align="left"> </td>
185
185
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
186
186
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
187
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
187
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
188
188
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
190
190
<h2 class="section"> 72.1 Introdução a zeilberger </h2>
201
201
<p><code>load (zeilberger)</code> torna esse pacote disponível para uso.
204
<a name="SEC268"></a>
204
<a name="SEC267"></a>
205
205
<table cellpadding="1" cellspacing="1" border="0">
206
<tr><td valign="middle" align="left">[<a href="#SEC267" title="Previous section in reading order"> < </a>]</td>
207
<td valign="middle" align="left">[<a href="#SEC269" title="Next section in reading order"> > </a>]</td>
206
<tr><td valign="middle" align="left">[<a href="#SEC266" title="Previous section in reading order"> < </a>]</td>
207
<td valign="middle" align="left">[<a href="#SEC268" title="Next section in reading order"> > </a>]</td>
208
208
<td valign="middle" align="left"> </td>
209
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
210
<td valign="middle" align="left">[<a href="#SEC267" title="Up section"> Up </a>]</td>
211
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
209
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
210
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
211
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
212
212
<td valign="middle" align="left"> </td>
213
213
<td valign="middle" align="left"> </td>
214
214
<td valign="middle" align="left"> </td>
215
215
<td valign="middle" align="left"> </td>
216
216
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
217
217
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
218
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
218
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
219
219
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
221
221
<h4 class="subsubsection"> 72.1.0.1 O problema dos somatórios hipergeométricos indefinidos </h4>
226
226
hipergeométrica, isto é, um termo hipergeométrico <em>f_k</em> tal que <em>F_k = f_(k+1) - f_k</em>.
229
<a name="SEC269"></a>
229
<a name="SEC268"></a>
230
230
<table cellpadding="1" cellspacing="1" border="0">
231
<tr><td valign="middle" align="left">[<a href="#SEC268" title="Previous section in reading order"> < </a>]</td>
232
<td valign="middle" align="left">[<a href="#SEC270" title="Next section in reading order"> > </a>]</td>
231
<tr><td valign="middle" align="left">[<a href="#SEC267" title="Previous section in reading order"> < </a>]</td>
232
<td valign="middle" align="left">[<a href="#SEC269" title="Next section in reading order"> > </a>]</td>
233
233
<td valign="middle" align="left"> </td>
234
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
235
<td valign="middle" align="left">[<a href="#SEC267" title="Up section"> Up </a>]</td>
236
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
234
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
235
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
236
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
237
237
<td valign="middle" align="left"> </td>
238
238
<td valign="middle" align="left"> </td>
239
239
<td valign="middle" align="left"> </td>
240
240
<td valign="middle" align="left"> </td>
241
241
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
242
242
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
243
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
243
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
244
244
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
246
246
<h4 class="subsubsection"> 72.1.0.2 O problema dos somatórios hipergeométricos definidos </h4>
258
258
<em>Delta_k(t_k) := t_(k+1) - t_k</em>.
261
<a name="SEC270"></a>
261
<a name="SEC269"></a>
262
262
<table cellpadding="1" cellspacing="1" border="0">
263
<tr><td valign="middle" align="left">[<a href="#SEC269" title="Previous section in reading order"> < </a>]</td>
264
<td valign="middle" align="left">[<a href="#SEC271" title="Next section in reading order"> > </a>]</td>
263
<tr><td valign="middle" align="left">[<a href="#SEC268" title="Previous section in reading order"> < </a>]</td>
264
<td valign="middle" align="left">[<a href="#SEC270" title="Next section in reading order"> > </a>]</td>
265
265
<td valign="middle" align="left"> </td>
266
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
267
<td valign="middle" align="left">[<a href="#SEC267" title="Up section"> Up </a>]</td>
268
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
266
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
267
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
268
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
269
269
<td valign="middle" align="left"> </td>
270
270
<td valign="middle" align="left"> </td>
271
271
<td valign="middle" align="left"> </td>
272
272
<td valign="middle" align="left"> </td>
273
273
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
274
274
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
275
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
275
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
276
276
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
278
278
<h3 class="subsection"> 72.1.1 Níveis de detalhe nas informações </h3>
305
305
<a name="Defini_00e7_00f5es-para-zeilberger"></a>
306
<a name="SEC271"></a>
306
<a name="SEC270"></a>
307
307
<table cellpadding="1" cellspacing="1" border="0">
308
<tr><td valign="middle" align="left">[<a href="#SEC270" title="Previous section in reading order"> < </a>]</td>
309
<td valign="middle" align="left">[<a href="#SEC272" title="Next section in reading order"> > </a>]</td>
308
<tr><td valign="middle" align="left">[<a href="#SEC269" title="Previous section in reading order"> < </a>]</td>
309
<td valign="middle" align="left">[<a href="#SEC271" title="Next section in reading order"> > </a>]</td>
310
310
<td valign="middle" align="left"> </td>
311
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
312
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
313
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
311
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
312
<td valign="middle" align="left">[<a href="#SEC265" title="Up section"> Up </a>]</td>
313
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
314
314
<td valign="middle" align="left"> </td>
315
315
<td valign="middle" align="left"> </td>
316
316
<td valign="middle" align="left"> </td>
317
317
<td valign="middle" align="left"> </td>
318
318
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
319
319
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
320
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
320
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
321
321
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
323
323
<h2 class="section"> 72.2 Definições para zeilberger </h2>
326
326
<dt><u>Função:</u> <b>AntiDifference</b><i> (<var>F_k</var>, <var>k</var>)</i>
327
<a name="IDX2031"></a>
327
<a name="IDX2032"></a>
329
329
<dd><p>Retorna a anti-diferença hipergeométrica
330
330
de <var>F_k</var>, se essa anti-diferença.
435
<a name="SEC272"></a>
435
<a name="SEC271"></a>
436
436
<table cellpadding="1" cellspacing="1" border="0">
437
<tr><td valign="middle" align="left">[<a href="#SEC271" title="Previous section in reading order"> < </a>]</td>
438
<td valign="middle" align="left">[<a href="#SEC273" title="Next section in reading order"> > </a>]</td>
437
<tr><td valign="middle" align="left">[<a href="#SEC270" title="Previous section in reading order"> < </a>]</td>
438
<td valign="middle" align="left">[<a href="#SEC272" title="Next section in reading order"> > </a>]</td>
439
439
<td valign="middle" align="left"> </td>
440
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
441
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
442
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
440
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
441
<td valign="middle" align="left">[<a href="#SEC265" title="Up section"> Up </a>]</td>
442
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
443
443
<td valign="middle" align="left"> </td>
444
444
<td valign="middle" align="left"> </td>
445
445
<td valign="middle" align="left"> </td>
446
446
<td valign="middle" align="left"> </td>
447
447
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
448
448
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
449
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
449
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
450
450
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
452
452
<h2 class="section"> 72.3 Variáveis globais gerais </h2>
455
455
<dt><u>Variável global:</u> <b>MAX_ORD</b>
456
<a name="IDX2036"></a>
456
<a name="IDX2037"></a>
458
458
<dd><p>Valor por omissão: 5
518
<a name="SEC273"></a>
518
<a name="SEC272"></a>
519
519
<table cellpadding="1" cellspacing="1" border="0">
520
<tr><td valign="middle" align="left">[<a href="#SEC272" title="Previous section in reading order"> < </a>]</td>
521
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next section in reading order"> > </a>]</td>
520
<tr><td valign="middle" align="left">[<a href="#SEC271" title="Previous section in reading order"> < </a>]</td>
521
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next section in reading order"> > </a>]</td>
522
522
<td valign="middle" align="left"> </td>
523
<td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
524
<td valign="middle" align="left">[<a href="#SEC266" title="Up section"> Up </a>]</td>
525
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
523
<td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
524
<td valign="middle" align="left">[<a href="#SEC265" title="Up section"> Up </a>]</td>
525
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
526
526
<td valign="middle" align="left"> </td>
527
527
<td valign="middle" align="left"> </td>
528
528
<td valign="middle" align="left"> </td>
529
529
<td valign="middle" align="left"> </td>
530
530
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
531
531
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
532
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
532
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
533
533
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
535
535
<h2 class="section"> 72.4 Variáveis relacionadas ao teste modular </h2>
538
538
<dt><u>Variável global:</u> <b>mod_test</b>
539
<a name="IDX2042"></a>
539
<a name="IDX2043"></a>
541
541
<dd><p>Valor por omissão: <code>false</code>
588
588
<table cellpadding="1" cellspacing="1" border="0">
589
<tr><td valign="middle" align="left">[<a href="#SEC266" title="Beginning of this chapter or previous chapter"> << </a>]</td>
590
<td valign="middle" align="left">[<a href="maxima_73.html#SEC274" title="Next chapter"> >> </a>]</td>
589
<tr><td valign="middle" align="left">[<a href="#SEC265" title="Beginning of this chapter or previous chapter"> << </a>]</td>
590
<td valign="middle" align="left">[<a href="maxima_73.html#SEC273" title="Next chapter"> >> </a>]</td>
591
591
<td valign="middle" align="left"> </td>
592
592
<td valign="middle" align="left"> </td>
593
593
<td valign="middle" align="left"> </td>
595
595
<td valign="middle" align="left"> </td>
596
596
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
597
597
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
598
<td valign="middle" align="left">[<a href="maxima_74.html#SEC275" title="Index">Índice</a>]</td>
598
<td valign="middle" align="left">[<a href="maxima_74.html#SEC274" title="Index">Índice</a>]</td>
599
599
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
603
This document was generated by <em>Robert Dodier</em> on <em>Agosto, 25 2007</em> using <a href="http://texi2html.cvshome.org/"><em>texi2html 1.76</em></a>.
603
This document was generated by <em>Robert Dodier</em> on <em>Dezembro, 14 2008</em> using <a href="http://texi2html.cvshome.org/"><em>texi2html 1.76</em></a>.