← Back to branch summary

~ubuntu-branches/ubuntu/karmic/maxima/karmic

« back to all changes in this revision

Viewing changes to doc/info/pt_BR/maxima_38.html

  • Committer: Bazaar Package Importer
  • Author(s): Christophe Sauthier
  • Date: 2009-07-13 15:38:41 UTC
  • mfrom: (3.1.3 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090713153841-gtux06oun30kuuo7
Tags: 5.17.1-1ubuntu1
https://launchpad.net/bugs/296643
https://launchpad.net/bugs/242243
* Merge from debian unstable, remaining changes (LP: #296643, LP: #242243):
   - debian/maxima-doc.doc-base.{tips, plotting}:
    + Use .shtml instead of .html to fix lintian errors.
   - debian/maxima-emacs.emacsen-install:
    + Install symlinks for source files rather than copying them.  This
      makes find-function work.
    + Install symlink for *.lisp so that we don't need to add
      /usr/share/emacs/site-lisp/maxima to load-path.
  - debian/maxima-emacs.emacsen-startup:
    + Remove use of /usr/share/emacs/site-lisp/maxima, since this
      causes load-path shadows and is not needed anymore.

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/info/pt_BR/maxima_38.html
1
1
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
2
2
<html>
3
 
<!-- Created on Agosto, 25 2007 by texi2html 1.76 -->
 
3
<!-- Created on Dezembro, 14 2008 by texi2html 1.76 -->
4
4
<!--
5
5
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
6
6
            Karl Berry  <karl@freefriends.org>
125
125
div.categorybox
126
126
{
127
127
    border: 1px solid gray;
128
 
    padding-top: 1em;
129
 
    padding-bottom: 1em;
 
128
    padding-top: 0px;
 
129
    padding-bottom: 0px;
130
130
    padding-left: 1em;
131
131
    padding-right: 1em;
132
132
    background: rgb(247,242,220);
142
142
<body lang="pt" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
143
143
 
144
144
<a name="Conjuntos"></a>
145
 
<a name="SEC152"></a>
 
145
<a name="SEC151"></a>
146
146
<table cellpadding="1" cellspacing="1" border="0">
147
 
<tr><td valign="middle" align="left">[<a href="maxima_37.html#SEC151" title="Previous section in reading order"> &lt; </a>]</td>
148
 
<td valign="middle" align="left">[<a href="#SEC153" title="Next section in reading order"> &gt; </a>]</td>
 
147
<tr><td valign="middle" align="left">[<a href="maxima_37.html#SEC150" title="Previous section in reading order"> &lt; </a>]</td>
 
148
<td valign="middle" align="left">[<a href="#SEC152" title="Next section in reading order"> &gt; </a>]</td>
149
149
<td valign="middle" align="left"> &nbsp; </td>
150
 
<td valign="middle" align="left">[<a href="maxima_37.html#SEC149" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
150
<td valign="middle" align="left">[<a href="maxima_37.html#SEC148" title="Beginning of this chapter or previous chapter"> &lt;&lt; </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_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
152
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
153
153
<td valign="middle" align="left"> &nbsp; </td>
154
154
<td valign="middle" align="left"> &nbsp; </td>
155
155
<td valign="middle" align="left"> &nbsp; </td>
156
156
<td valign="middle" align="left"> &nbsp; </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_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
159
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
160
160
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
161
161
</tr></table>
162
162
<h1 class="chapter"> 38. Conjuntos </h1>
163
163
 
164
164
<table class="menu" border="0" cellspacing="0">
165
 
<tr><td align="left" valign="top"><a href="#SEC153">38.1 Introdu&ccedil;&atilde;o a Conjuntos</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">       
 
165
<tr><td align="left" valign="top"><a href="#SEC152">38.1 Introdu&ccedil;&atilde;o a Conjuntos</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">       
166
166
</td></tr>
167
 
<tr><td align="left" valign="top"><a href="#SEC158">38.2 Fun&ccedil;&otilde;es e Vari&aacute;veis Definidas para Conjuntos</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">       
 
167
<tr><td align="left" valign="top"><a href="#SEC157">38.2 Fun&ccedil;&otilde;es e Vari&aacute;veis Definidas para Conjuntos</a></td><td>&nbsp;&nbsp;</td><td align="left" valign="top">       
168
168
</td></tr>
169
169
</table>
170
170
 
171
171
<hr size="6">
172
172
<a name="Introdu_00e7_00e3o-a-Conjuntos"></a>
173
 
<a name="SEC153"></a>
 
173
<a name="SEC152"></a>
174
174
<table cellpadding="1" cellspacing="1" border="0">
175
 
<tr><td valign="middle" align="left">[<a href="#SEC152" title="Previous section in reading order"> &lt; </a>]</td>
176
 
<td valign="middle" align="left">[<a href="#SEC154" title="Next section in reading order"> &gt; </a>]</td>
 
175
<tr><td valign="middle" align="left">[<a href="#SEC151" title="Previous section in reading order"> &lt; </a>]</td>
 
176
<td valign="middle" align="left">[<a href="#SEC153" title="Next section in reading order"> &gt; </a>]</td>
177
177
<td valign="middle" align="left"> &nbsp; </td>
178
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
179
 
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
180
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
178
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
179
<td valign="middle" align="left">[<a href="#SEC151" title="Up section"> Up </a>]</td>
 
180
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
181
181
<td valign="middle" align="left"> &nbsp; </td>
182
182
<td valign="middle" align="left"> &nbsp; </td>
183
183
<td valign="middle" align="left"> &nbsp; </td>
184
184
<td valign="middle" align="left"> &nbsp; </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_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
187
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
188
188
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
189
189
</tr></table>
190
190
<h2 class="section"> 38.1 Introdu&ccedil;&atilde;o a Conjuntos </h2>
202
202
Maxima tamb&eacute;m define uma fun&ccedil;&atilde;o delta de Kronecker.
203
203
</p>
204
204
<hr size="6">
205
 
<a name="SEC154"></a>
 
205
<a name="SEC153"></a>
206
206
<table cellpadding="1" cellspacing="1" border="0">
207
 
<tr><td valign="middle" align="left">[<a href="#SEC153" title="Previous section in reading order"> &lt; </a>]</td>
208
 
<td valign="middle" align="left">[<a href="#SEC155" title="Next section in reading order"> &gt; </a>]</td>
 
207
<tr><td valign="middle" align="left">[<a href="#SEC152" title="Previous section in reading order"> &lt; </a>]</td>
 
208
<td valign="middle" align="left">[<a href="#SEC154" title="Next section in reading order"> &gt; </a>]</td>
209
209
<td valign="middle" align="left"> &nbsp; </td>
210
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
211
 
<td valign="middle" align="left">[<a href="#SEC153" title="Up section"> Up </a>]</td>
212
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
210
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
211
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
 
212
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
213
213
<td valign="middle" align="left"> &nbsp; </td>
214
214
<td valign="middle" align="left"> &nbsp; </td>
215
215
<td valign="middle" align="left"> &nbsp; </td>
216
216
<td valign="middle" align="left"> &nbsp; </td>
217
217
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
218
218
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
219
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
219
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
220
220
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
221
221
</tr></table>
222
222
<h3 class="subsection"> 38.1.1 Utiliza&ccedil;&atilde;o </h3>
356
356
<pre class="example">(%i1) subset ({x + y + z, x - y + 4, x + y - 5}, lambda ([e], freeof (z, e)));
357
357
(%o1)               {- y + x + 4, y + x - 5}
358
358
</pre>
359
 
<p>A se&ccedil;&atilde;o <a href="#SEC158">Fun&ccedil;&otilde;es e Vari&aacute;veis Definidas para Conjuntos</a> passui uma lista completa das
 
359
<p>A se&ccedil;&atilde;o <a href="#SEC157">Fun&ccedil;&otilde;es e Vari&aacute;veis Definidas para Conjuntos</a> passui uma lista completa das
360
360
fun&ccedil;&otilde;es de conjunto no Maxima.
361
361
</p>
362
362
<hr size="6">
363
 
<a name="SEC155"></a>
 
363
<a name="SEC154"></a>
364
364
<table cellpadding="1" cellspacing="1" border="0">
365
 
<tr><td valign="middle" align="left">[<a href="#SEC154" title="Previous section in reading order"> &lt; </a>]</td>
366
 
<td valign="middle" align="left">[<a href="#SEC156" title="Next section in reading order"> &gt; </a>]</td>
 
365
<tr><td valign="middle" align="left">[<a href="#SEC153" title="Previous section in reading order"> &lt; </a>]</td>
 
366
<td valign="middle" align="left">[<a href="#SEC155" title="Next section in reading order"> &gt; </a>]</td>
367
367
<td valign="middle" align="left"> &nbsp; </td>
368
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
369
 
<td valign="middle" align="left">[<a href="#SEC153" title="Up section"> Up </a>]</td>
370
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
368
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
369
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
 
370
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
371
371
<td valign="middle" align="left"> &nbsp; </td>
372
372
<td valign="middle" align="left"> &nbsp; </td>
373
373
<td valign="middle" align="left"> &nbsp; </td>
374
374
<td valign="middle" align="left"> &nbsp; </td>
375
375
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
376
376
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
377
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
377
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
378
378
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
379
379
</tr></table>
380
380
<h3 class="subsection"> 38.1.2 Itera&ccedil;&otilde;es entre Elementos de Conjuntos </h3>
406
406
<code>first</code> e <code>rest</code> podem vir a funcionar diferentemente ou n&atilde;o completamente.
407
407
</p>
408
408
<hr size="6">
409
 
<a name="SEC156"></a>
 
409
<a name="SEC155"></a>
410
410
<table cellpadding="1" cellspacing="1" border="0">
411
 
<tr><td valign="middle" align="left">[<a href="#SEC155" title="Previous section in reading order"> &lt; </a>]</td>
412
 
<td valign="middle" align="left">[<a href="#SEC157" title="Next section in reading order"> &gt; </a>]</td>
 
411
<tr><td valign="middle" align="left">[<a href="#SEC154" title="Previous section in reading order"> &lt; </a>]</td>
 
412
<td valign="middle" align="left">[<a href="#SEC156" title="Next section in reading order"> &gt; </a>]</td>
413
413
<td valign="middle" align="left"> &nbsp; </td>
414
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
415
 
<td valign="middle" align="left">[<a href="#SEC153" title="Up section"> Up </a>]</td>
416
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
414
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
415
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
 
416
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
417
417
<td valign="middle" align="left"> &nbsp; </td>
418
418
<td valign="middle" align="left"> &nbsp; </td>
419
419
<td valign="middle" align="left"> &nbsp; </td>
420
420
<td valign="middle" align="left"> &nbsp; </td>
421
421
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
422
422
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
423
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
423
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
424
424
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
425
425
</tr></table>
426
426
<h3 class="subsection"> 38.1.3 Erros </h3>
502
502
relate isso para a base de dados de falhas do Maxima. Veja <code>bug_report</code>.
503
503
</p>
504
504
<hr size="6">
505
 
<a name="SEC157"></a>
 
505
<a name="SEC156"></a>
506
506
<table cellpadding="1" cellspacing="1" border="0">
507
 
<tr><td valign="middle" align="left">[<a href="#SEC156" title="Previous section in reading order"> &lt; </a>]</td>
508
 
<td valign="middle" align="left">[<a href="#SEC158" title="Next section in reading order"> &gt; </a>]</td>
 
507
<tr><td valign="middle" align="left">[<a href="#SEC155" title="Previous section in reading order"> &lt; </a>]</td>
 
508
<td valign="middle" align="left">[<a href="#SEC157" title="Next section in reading order"> &gt; </a>]</td>
509
509
<td valign="middle" align="left"> &nbsp; </td>
510
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
511
 
<td valign="middle" align="left">[<a href="#SEC153" title="Up section"> Up </a>]</td>
512
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
510
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
511
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
 
512
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
513
513
<td valign="middle" align="left"> &nbsp; </td>
514
514
<td valign="middle" align="left"> &nbsp; </td>
515
515
<td valign="middle" align="left"> &nbsp; </td>
516
516
<td valign="middle" align="left"> &nbsp; </td>
517
517
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
518
518
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
519
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
519
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
520
520
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
521
521
</tr></table>
522
522
<h3 class="subsection"> 38.1.4 Autores </h3>
527
527
</p>
528
528
<hr size="6">
529
529
<a name="Fun_00e7_00f5es-e-Vari_00e1veis-Definidas-para-Conjuntos"></a>
530
 
<a name="SEC158"></a>
 
530
<a name="SEC157"></a>
531
531
<table cellpadding="1" cellspacing="1" border="0">
532
 
<tr><td valign="middle" align="left">[<a href="#SEC157" title="Previous section in reading order"> &lt; </a>]</td>
533
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next section in reading order"> &gt; </a>]</td>
 
532
<tr><td valign="middle" align="left">[<a href="#SEC156" title="Previous section in reading order"> &lt; </a>]</td>
 
533
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next section in reading order"> &gt; </a>]</td>
534
534
<td valign="middle" align="left"> &nbsp; </td>
535
 
<td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
536
 
<td valign="middle" align="left">[<a href="#SEC152" title="Up section"> Up </a>]</td>
537
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
535
<td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
536
<td valign="middle" align="left">[<a href="#SEC151" title="Up section"> Up </a>]</td>
 
537
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
538
538
<td valign="middle" align="left"> &nbsp; </td>
539
539
<td valign="middle" align="left"> &nbsp; </td>
540
540
<td valign="middle" align="left"> &nbsp; </td>
541
541
<td valign="middle" align="left"> &nbsp; </td>
542
542
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
543
543
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
544
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
544
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
545
545
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
546
546
</tr></table>
547
547
<h2 class="section"> 38.2 Fun&ccedil;&otilde;es e Vari&aacute;veis Definidas para Conjuntos </h2>
549
549
<p><a name="adjoin"></a>
550
550
</p><dl>
551
551
<dt><u>Fun&ccedil;&atilde;o:</u> <b>adjoin</b><i> (<var>x</var>, <var>a</var>) </i>
552
 
<a name="IDX1237"></a>
 
552
<a name="IDX1238"></a>
553
553
</dt>
554
554
<dd><p>Retorna a uni&atilde;o do conjunto <var>a</var> com <code>{<var>x</var>}</code>.
555
555
</p>
573
573
<p><a name="belln"></a>
574
574
</p><dl>
575
575
<dt><u>Fun&ccedil;&atilde;o:</u> <b>belln</b><i> (<var>n</var>)</i>
576
 
<a name="IDX1238"></a>
 
576
<a name="IDX1239"></a>
577
577
</dt>
578
578
<dd><p>Representa o <em>n</em>-&eacute;simo n&uacute;mero de Bell number.
579
579
<code>belln(n)</code> &eacute; o n&uacute;mero de parti&ccedil;&otilde;es de um conjunto <var>n</var> elementos.
605
605
<p><a name="cardinality"></a>
606
606
</p><dl>
607
607
<dt><u>Fun&ccedil;&atilde;o:</u> <b>cardinality</b><i> (<var>a</var>)</i>
608
 
<a name="IDX1239"></a>
 
608
<a name="IDX1240"></a>
609
609
</dt>
610
610
<dd><p>Retorna o n&uacute;mero de elementos distintos do conjunto <var>a</var>. 
611
611
</p>
628
628
<p><a name="cartesian_005fproduct"></a>
629
629
</p><dl>
630
630
<dt><u>Fun&ccedil;&atilde;o:</u> <b>cartesian_product</b><i> (<var>b_1</var>, ... , <var>b_n</var>)</i>
631
 
<a name="IDX1240"></a>
 
631
<a name="IDX1241"></a>
632
632
</dt>
633
633
<dd><p>Retorna um conjunto de listas da forma <code>[<var>x_1</var>, ..., <var>x_n</var>]</code>, onde
634
634
<var>x_1</var>, ..., <var>x_n</var> s&atilde;o elementos dos conjuntos <var>b_1</var>, ... , <var>b_n</var>,
652
652
<p><a name="disjoin"></a>
653
653
</p><dl>
654
654
<dt><u>Fun&ccedil;&atilde;o:</u> <b>disjoin</b><i> (<var>x</var>, <var>a</var>)</i>
655
 
<a name="IDX1241"></a>
 
655
<a name="IDX1242"></a>
656
656
</dt>
657
657
<dd><p>Retorna o conjunto <var>a</var> sem o elemento <var>x</var>.
658
658
Se <var>x</var> n&atilde;o for um elemento de <var>a</var>, retorna <var>a</var> sem modifica&ccedil;&otilde;es.
677
677
<p><a name="disjointp"></a>
678
678
</p><dl>
679
679
<dt><u>Fun&ccedil;&atilde;o:</u> <b>disjointp</b><i> (<var>a</var>, <var>b</var>) </i>
680
 
<a name="IDX1242"></a>
 
680
<a name="IDX1243"></a>
681
681
</dt>
682
682
<dd><p>Retorna <code>true</code> se e somente se os conjuntos <var>a</var> e <var>b</var> forem disjuntos.
683
683
</p>
695
695
<p><a name="divisors"></a>
696
696
</p><dl>
697
697
<dt><u>Fun&ccedil;&atilde;o:</u> <b>divisors</b><i> (<var>n</var>)</i>
698
 
<a name="IDX1243"></a>
 
698
<a name="IDX1244"></a>
699
699
</dt>
700
700
<dd><p>Representa o conjunto dos divisores de <var>n</var>.
701
701
</p>
742
742
<p><a name="elementp"></a>
743
743
</p><dl>
744
744
<dt><u>Fun&ccedil;&atilde;o:</u> <b>elementp</b><i> (<var>x</var>, <var>a</var>)</i>
745
 
<a name="IDX1244"></a>
 
745
<a name="IDX1245"></a>
746
746
</dt>
747
747
<dd><p>Retorna <code>true</code> se e somente se <var>x</var> for um elemento do 
748
748
conjunto <var>a</var>.
761
761
<p><a name="emptyp"></a>
762
762
</p><dl>
763
763
<dt><u>Fun&ccedil;&atilde;o:</u> <b>emptyp</b><i> (<var>a</var>)</i>
764
 
<a name="IDX1245"></a>
 
764
<a name="IDX1246"></a>
765
765
</dt>
766
766
<dd><p>Retorna <code>true</code> se e somente se <var>a</var> for o conjunto vazio ou
767
767
a lista vazia.
777
777
<p><a name="equiv_005fclasses"></a>
778
778
</p><dl>
779
779
<dt><u>Fun&ccedil;&atilde;o:</u> <b>equiv_classes</b><i> (<var>s</var>, <var>F</var>)</i>
780
 
<a name="IDX1246"></a>
 
780
<a name="IDX1247"></a>
781
781
</dt>
782
782
<dd><p>Retorna um conjunto das classes de equival&ecirc;ncias do conjunto <var>s</var> com rela&ccedil;&atilde;o
783
783
&agrave; rela&ccedil;&atilde;o de equival&ecirc;ncia <var>F</var>.
813
813
<p><a name="every"></a>
814
814
</p><dl>
815
815
<dt><u>Fun&ccedil;&atilde;o:</u> <b>every</b><i> (<var>f</var>, <var>s</var>)</i>
816
 
<a name="IDX1247"></a>
 
816
<a name="IDX1248"></a>
817
817
</dt>
818
818
<dt><u>Fun&ccedil;&atilde;o:</u> <b>every</b><i> (<var>f</var>, <var>L_1</var>, ..., <var>L_n</var>)</i>
819
 
<a name="IDX1248"></a>
 
819
<a name="IDX1249"></a>
820
820
</dt>
821
821
<dd><p>Retorna <code>true</code> se o predicado <var>f</var> for <code>true</code> para todos os argumentos fornecidos.
822
822
</p>
891
891
<p><a name="extremal_005fsubset"></a>
892
892
</p><dl>
893
893
<dt><u>Fun&ccedil;&atilde;o:</u> <b>extremal_subset</b><i> (<var>s</var>, <var>f</var>, max)</i>
894
 
<a name="IDX1249"></a>
 
894
<a name="IDX1250"></a>
895
895
</dt>
896
896
<dt><u>Fun&ccedil;&atilde;o:</u> <b>extremal_subset</b><i> (<var>s</var>, <var>f</var>, min)</i>
897
 
<a name="IDX1250"></a>
 
897
<a name="IDX1251"></a>
898
898
</dt>
899
899
<dd><p>Retorna o subconjunto de <var>s</var> para o qual a fun&ccedil;&atilde;o <var>f</var> toma valore m&aacute;ximos ou m&iacute;nimos.
900
900
</p>
915
915
<p><a name="flatten"></a>
916
916
</p><dl>
917
917
<dt><u>Fun&ccedil;&atilde;o:</u> <b>flatten</b><i> (<var>expr</var>)</i>
918
 
<a name="IDX1251"></a>
 
918
<a name="IDX1252"></a>
919
919
</dt>
920
920
<dd><p>Recebe argumentos de subexpress&otilde;es que possuem o mesmo operator como <var>expr</var>
921
921
e constr&oacute;i uma express&atilde;o a partir desses argumentos coletados.
978
978
<p><a name="full_005flistify"></a>
979
979
</p><dl>
980
980
<dt><u>Fun&ccedil;&atilde;o:</u> <b>full_listify</b><i> (<var>a</var>)</i>
981
 
<a name="IDX1252"></a>
 
981
<a name="IDX1253"></a>
982
982
</dt>
983
983
<dd><p>Substitui todo oeradr de conjutno em <var>a</var> por um operadro de lista,
984
984
e retorna o resultado.
999
999
<p><a name="fullsetify"></a>
1000
1000
</p><dl>
1001
1001
<dt><u>Fun&ccedil;&atilde;o:</u> <b>fullsetify</b><i> (<var>a</var>)</i>
1002
 
<a name="IDX1253"></a>
 
1002
<a name="IDX1254"></a>
1003
1003
</dt>
1004
1004
<dd><p>Quando <var>a</var> for uma lista, substitui o operador de lista por um operador de conjunto,
1005
1005
e aplica <code>fullsetify</code> a cada elemento que for um conjunto.
1022
1022
<p><a name="identity"></a>
1023
1023
</p><dl>
1024
1024
<dt><u>Fun&ccedil;&atilde;o:</u> <b>identity</b><i> (<var>x</var>)</i>
1025
 
<a name="IDX1254"></a>
 
1025
<a name="IDX1255"></a>
1026
1026
</dt>
1027
1027
<dd><p>Retorna <var>x</var> para qualquer argumento <var>x</var>.
1028
1028
</p>
1038
1038
<p><a name="integer_005fpartitions"></a>
1039
1039
</p><dl>
1040
1040
<dt><u>Fun&ccedil;&atilde;o:</u> <b>integer_partitions</b><i> (<var>n</var>)</i>
1041
 
<a name="IDX1255"></a>
 
1041
<a name="IDX1256"></a>
1042
1042
</dt>
1043
1043
<dt><u>Fun&ccedil;&atilde;o:</u> <b>integer_partitions</b><i> (<var>n</var>, <var>len</var>)</i>
1044
 
<a name="IDX1256"></a>
 
1044
<a name="IDX1257"></a>
1045
1045
</dt>
1046
1046
<dd><p>Retorna parti&ccedil;&otilde;es inteiras de <var>n</var>, isto &eacute;,
1047
1047
listas de inteiros cuja soma dos elementos de cada lista &eacute; <var>n</var>.
1089
1089
<p><a name="intersect"></a>
1090
1090
</p><dl>
1091
1091
<dt><u>Fun&ccedil;&atilde;o:</u> <b>intersect</b><i> (<var>a_1</var>, ..., <var>a_n</var>)</i>
1092
 
<a name="IDX1257"></a>
 
1092
<a name="IDX1258"></a>
1093
1093
</dt>
1094
1094
<dd><p><code>intersect</code> &eacute; o mesmo que <code>intersection</code>, como veremos.
1095
1095
</p>
1098
1098
<p><a name="intersection"></a>
1099
1099
</p><dl>
1100
1100
<dt><u>Fun&ccedil;&atilde;o:</u> <b>intersection</b><i> (<var>a_1</var>, ..., <var>a_n</var>)</i>
1101
 
<a name="IDX1258"></a>
 
1101
<a name="IDX1259"></a>
1102
1102
</dt>
1103
1103
<dd><p>Retorna um conjunto contendo os elementos que s&atilde;o comuns aos 
1104
1104
conjuntos <var>a_1</var> at&eacute; <var>a_n</var>.
1128
1128
 
1129
1129
<dl>
1130
1130
<dt><u>Fun&ccedil;&atilde;o:</u> <b>kron_delta</b><i> (<var>x</var>, <var>y</var>)</i>
1131
 
<a name="IDX1259"></a>
 
1131
<a name="IDX1260"></a>
1132
1132
</dt>
1133
1133
<dd><p>Representa a fun&ccedil;&atilde;o delta de Kronecker.
1134
1134
</p>
1243
1243
<p><a name="listify"></a>
1244
1244
</p><dl>
1245
1245
<dt><u>Fun&ccedil;&atilde;o:</u> <b>listify</b><i> (<var>a</var>)</i>
1246
 
<a name="IDX1260"></a>
 
1246
<a name="IDX1261"></a>
1247
1247
</dt>
1248
1248
<dd><p>Retorna uma lista contendo os elementos de <var>a</var> quando <var>a</var> for um conjunto.
1249
1249
De outra forma, <code>listify</code> retorna <var>a</var>.
1262
1262
<p><a name="lreduce"></a>
1263
1263
</p><dl>
1264
1264
<dt><u>Fun&ccedil;&atilde;o:</u> <b>lreduce</b><i> (<var>F</var>, <var>s</var>)</i>
1265
 
<a name="IDX1261"></a>
 
1265
<a name="IDX1262"></a>
1266
1266
</dt>
1267
1267
<dt><u>Fun&ccedil;&atilde;o:</u> <b>lreduce</b><i> (<var>F</var>, <var>s</var>, <var>s_0</var>)</i>
1268
 
<a name="IDX1262"></a>
 
1268
<a name="IDX1263"></a>
1269
1269
</dt>
1270
1270
<dd><p>Extende a fun&ccedil;&atilde;o de dois operadores <var>F</var> para uma fun&ccedil;&atilde;o de <code>n</code> operadores usando composi&ccedil;&atilde;o,
1271
1271
onde <var>s</var> &eacute; uma lista.
1294
1294
(%o1)                  f(f(f(4, 1), 2), 3)
1295
1295
</pre>
1296
1296
<p><code>lreduce</code> aplicada a operadores de dois argumentos internos (j&aacute; definidos por padr&atilde;o) do Maxima.
1297
 
<code>//</code> &eacute; o operador de divis&atilde;o.
 
1297
<code>/</code> &eacute; o operador de divis&atilde;o.
1298
1298
</p>
1299
1299
<pre class="example">(%i1) lreduce (&quot;^&quot;, args ({a, b, c, d}));
1300
1300
                               b c d
1301
1301
(%o1)                       ((a ) )
1302
 
(%i2) lreduce (&quot;//&quot;, args ({a, b, c, d}));
 
1302
(%i2) lreduce (&quot;/&quot;, args ({a, b, c, d}));
1303
1303
                                a
1304
1304
(%o2)                         -----
1305
1305
                              b c d
1309
1309
<p><a name="makeset"></a>
1310
1310
</p><dl>
1311
1311
<dt><u>Fun&ccedil;&atilde;o:</u> <b>makeset</b><i> (<var>expr</var>, <var>x</var>, <var>s</var>)</i>
1312
 
<a name="IDX1263"></a>
 
1312
<a name="IDX1264"></a>
1313
1313
</dt>
1314
1314
<dd><p>Retorna um conjunto com elementos gerados a partir da express&atilde;o <var>expr</var>,
1315
1315
onde <var>x</var> &eacute; uma lista de vari&aacute;veis em <var>expr</var>,
1349
1349
<p><a name="moebius"></a>
1350
1350
</p><dl>
1351
1351
<dt><u>Fun&ccedil;&atilde;o:</u> <b>moebius</b><i> (<var>n</var>)</i>
1352
 
<a name="IDX1264"></a>
 
1352
<a name="IDX1265"></a>
1353
1353
</dt>
1354
1354
<dd><p>Representa a fun&ccedil;&atilde;o de Moebius.
1355
1355
</p>
1388
1388
<p><a name="multinomial_005fcoeff"></a>
1389
1389
</p><dl>
1390
1390
<dt><u>Fun&ccedil;&atilde;o:</u> <b>multinomial_coeff</b><i> (<var>a_1</var>, ..., <var>a_n</var>)</i>
1391
 
<a name="IDX1265"></a>
 
1391
<a name="IDX1266"></a>
1392
1392
</dt>
1393
1393
<dt><u>Fun&ccedil;&atilde;o:</u> <b>multinomial_coeff</b><i> ()</i>
1394
 
<a name="IDX1266"></a>
 
1394
<a name="IDX1267"></a>
1395
1395
</dt>
1396
1396
<dd><p>Retorna o coeficiente multinomial.
1397
1397
</p>
1426
1426
<p><a name="num_005fdistinct_005fpartitions"></a>
1427
1427
</p><dl>
1428
1428
<dt><u>Fun&ccedil;&atilde;o:</u> <b>num_distinct_partitions</b><i> (<var>n</var>)</i>
1429
 
<a name="IDX1267"></a>
 
1429
<a name="IDX1268"></a>
1430
1430
</dt>
1431
1431
<dt><u>Fun&ccedil;&atilde;o:</u> <b>num_distinct_partitions</b><i> (<var>n</var>, list)</i>
1432
 
<a name="IDX1268"></a>
 
1432
<a name="IDX1269"></a>
1433
1433
</dt>
1434
1434
<dd><p>Retorna o n;umero de parti&ccedil;&otilde;es de inteiros distintos de <var>n</var>
1435
1435
quando <var>n</var> for um inteiro n&atilde;o negativo.
1456
1456
<p><a name="num_005fpartitions"></a>
1457
1457
</p><dl>
1458
1458
<dt><u>Fun&ccedil;&atilde;o:</u> <b>num_partitions</b><i> (<var>n</var>)</i>
1459
 
<a name="IDX1269"></a>
 
1459
<a name="IDX1270"></a>
1460
1460
</dt>
1461
1461
<dt><u>Fun&ccedil;&atilde;o:</u> <b>num_partitions</b><i> (<var>n</var>, list)</i>
1462
 
<a name="IDX1270"></a>
 
1462
<a name="IDX1271"></a>
1463
1463
</dt>
1464
1464
<dd><p>Retorna o n&uacute;mero das parti&ccedil;&otilde;es inteiras de <var>n</var>
1465
1465
quando <var>n</var> for um inteiro n&atilde;o negativo.
1488
1488
<p><a name="partition_005fset"></a>
1489
1489
</p><dl>
1490
1490
<dt><u>Fun&ccedil;&atilde;o:</u> <b>partition_set</b><i> (<var>a</var>, <var>f</var>)</i>
1491
 
<a name="IDX1271"></a>
 
1491
<a name="IDX1272"></a>
1492
1492
</dt>
1493
1493
<dd><p>Parti&ccedil;&otilde;es do conjunto <var>a</var> que satisfazem o predicado <var>f</var>.
1494
1494
</p>
1512
1512
<p><a name="permutations"></a>
1513
1513
</p><dl>
1514
1514
<dt><u>Fun&ccedil;&atilde;o:</u> <b>permutations</b><i> (<var>a</var>)</i>
1515
 
<a name="IDX1272"></a>
 
1515
<a name="IDX1273"></a>
1516
1516
</dt>
1517
1517
<dd><p>Retorna um conjunto todas as permuta&ccedil;&otilde;es distintas dos elementos da 
1518
1518
lista ou do conjunto <var>a</var>. Cada permuta&ccedil;&atilde;o &eacute; uma lista, n&atilde;o um conjunto. 
1536
1536
<p><a name="powerset"></a>
1537
1537
</p><dl>
1538
1538
<dt><u>Fun&ccedil;&atilde;o:</u> <b>powerset</b><i> (<var>a</var>)</i>
1539
 
<a name="IDX1273"></a>
 
1539
<a name="IDX1274"></a>
1540
1540
</dt>
1541
1541
<dt><u>Fun&ccedil;&atilde;o:</u> <b>powerset</b><i> (<var>a</var>, <var>n</var>)</i>
1542
 
<a name="IDX1274"></a>
 
1542
<a name="IDX1275"></a>
1543
1543
</dt>
1544
1544
<dd><p>Retorna o conjunto de todos os dubconjuntos de <var>a</var>, ou um subconjunto de <var>a</var>.
1545
1545
</p>
1571
1571
 
1572
1572
<dl>
1573
1573
<dt><u>Fun&ccedil;&atilde;o:</u> <b>random_permutation</b><i> (<var>a</var>)</i>
1574
 
<a name="IDX1275"></a>
 
1574
<a name="IDX1276"></a>
1575
1575
</dt>
1576
1576
<dd><p>Retorna uma permuta&ccedil;&atilde;o aleat&oacute;ria do conjunto ou da lista <var>a</var>,
1577
1577
como constru&iacute;do pelo algor&iacute;timo de embaralhar desenvolvido por Knuth.
1596
1596
<p><a name="rreduce"></a>
1597
1597
</p><dl>
1598
1598
<dt><u>Fun&ccedil;&atilde;o:</u> <b>rreduce</b><i> (<var>F</var>, <var>s</var>)</i>
1599
 
<a name="IDX1276"></a>
 
1599
<a name="IDX1277"></a>
1600
1600
</dt>
1601
1601
<dt><u>Fun&ccedil;&atilde;o:</u> <b>rreduce</b><i> (<var>F</var>, <var>s</var>, <var>s_{n + 1}</var>)</i>
1602
 
<a name="IDX1277"></a>
 
1602
<a name="IDX1278"></a>
1603
1603
</dt>
1604
1604
<dd><p>Extende a fun&ccedil;&atilde;o de dois argumentos <var>F</var> para uma fun&ccedil;&atilde;o de <var>n</var> argumentos usando composi&ccedil;&atilde;o de fun&ccedil;&otilde;es,
1605
1605
onde <var>s</var> &eacute; uma lista.
1628
1628
(%o1)                  f(1, f(2, f(3, 4)))
1629
1629
</pre>
1630
1630
<p><code>rreduce</code> aplicada a operadores de dois argumentos internos ( definidos por padr&atilde;o) ao Maxima.
1631
 
<code>//</code> &eacute; o operadro de divis&atilde;o.
 
1631
<code>/</code> &eacute; o operadro de divis&atilde;o.
1632
1632
</p>
1633
1633
<pre class="example">(%i1) rreduce (&quot;^&quot;, args ({a, b, c, d}));
1634
1634
                                 d
1635
1635
                                c
1636
1636
                               b
1637
1637
(%o1)                         a
1638
 
(%i2) rreduce (&quot;//&quot;, args ({a, b, c, d}));
 
1638
(%i2) rreduce (&quot;/&quot;, args ({a, b, c, d}));
1639
1639
                               a c
1640
1640
(%o2)                          ---
1641
1641
                               b d
1645
1645
<p><a name="setdifference"></a>
1646
1646
</p><dl>
1647
1647
<dt><u>Fun&ccedil;&atilde;o:</u> <b>setdifference</b><i> (<var>a</var>, <var>b</var>)</i>
1648
 
<a name="IDX1278"></a>
 
1648
<a name="IDX1279"></a>
1649
1649
</dt>
1650
1650
<dd><p>Retorna um conjunto contendo os elementos no conjunto <var>a</var> que
1651
1651
n&atilde;o est&atilde;ono conjunto <var>b</var>.
1674
1674
<p><a name="setequalp"></a>
1675
1675
</p><dl>
1676
1676
<dt><u>Fun&ccedil;&atilde;o:</u> <b>setequalp</b><i> (<var>a</var>, <var>b</var>)</i>
1677
 
<a name="IDX1279"></a>
 
1677
<a name="IDX1280"></a>
1678
1678
</dt>
1679
1679
<dd><p>Retorna <code>true</code> se os conjuntos <var>a</var> e <var>b</var> possuirem o mesmo n&uacute;mero de elementos
1680
1680
e <code>is(<var>x</var> = <var>y</var>)</code> for <code>true</code>
1697
1697
<p><a name="setify"></a>
1698
1698
</p><dl>
1699
1699
<dt><u>Fun&ccedil;&atilde;o:</u> <b>setify</b><i> (<var>a</var>)</i>
1700
 
<a name="IDX1280"></a>
 
1700
<a name="IDX1281"></a>
1701
1701
</dt>
1702
1702
<dd><p>Constr&oacute;i um conjunto de elementos a partir da lista <var>a</var>. Elementos
1703
1703
duplicados da lista <var>a</var> s&atilde;o apagados e os elementos
1719
1719
<p><a name="setp"></a>
1720
1720
</p><dl>
1721
1721
<dt><u>Fun&ccedil;&atilde;o:</u> <b>setp</b><i> (<var>a</var>)</i>
1722
 
<a name="IDX1281"></a>
 
1722
<a name="IDX1282"></a>
1723
1723
</dt>
1724
1724
<dd><p>Retorna <code>true</code> se e somente se <var>a</var> for um conjunto na interpreta&ccedil;&atilde;o do Maxima.
1725
1725
</p>
1743
1743
<p><a name="set_005fpartitions"></a>
1744
1744
</p><dl>
1745
1745
<dt><u>Fun&ccedil;&atilde;o:</u> <b>set_partitions</b><i> (<var>a</var>)</i>
1746
 
<a name="IDX1282"></a>
 
1746
<a name="IDX1283"></a>
1747
1747
</dt>
1748
1748
<dt><u>Fun&ccedil;&atilde;o:</u> <b>set_partitions</b><i> (<var>a</var>, <var>n</var>)</i>
1749
 
<a name="IDX1283"></a>
 
1749
<a name="IDX1284"></a>
1750
1750
</dt>
1751
1751
<dd><p>Retorna o conjunto de todas as parti&ccedil;&otilde;es de <var>a</var>, ou um subconjunto daquele conjunto de parti&ccedil;&otilde;es.
1752
1752
</p>
1779
1779
</p>
1780
1780
<pre class="example">(%i1) s: {0, 1, 2, 3, 4, 5}$
1781
1781
(%i2) p: set_partitions (s, 3)$ 
 
1782
(%i3) cardinality(p) = stirling2 (6, 3);
1782
1783
(%o3)                        90 = 90
1783
 
(%i4) cardinality(p) = stirling2 (6, 3);
1784
1784
</pre>
1785
1785
<p>Cada elemento de <code>p</code> pode ter <var>n</var> = 3 elementos; vamos verificar.
1786
1786
</p>
1787
1787
<pre class="example">(%i1) s: {0, 1, 2, 3, 4, 5}$
1788
1788
(%i2) p: set_partitions (s, 3)$ 
 
1789
(%i3) map (cardinality, p);
1789
1790
(%o3)                          {3}
1790
 
(%i4) map (cardinality, p);
1791
1791
</pre>
1792
1792
<p>Finalmente, para cada elementos de <code>p</code>, a uni&atilde;o de seus elementos possivelmente ser&aacute; 
1793
1793
igua a <code>s</code>; novamente vamos comprovar.
1794
1794
</p>
1795
1795
<pre class="example">(%i1) s: {0, 1, 2, 3, 4, 5}$
1796
1796
(%i2) p: set_partitions (s, 3)$ 
 
1797
(%i3) map (lambda ([x], apply (union, listify (x))), p);
1797
1798
(%o3)                 {{0, 1, 2, 3, 4, 5}}
1798
 
(%i4) map (lambda ([x], apply (union, listify (x))), p);
1799
1799
</pre></dd></dl>
1800
1800
 
1801
1801
<p><a name="some"></a>
1802
1802
</p><dl>
1803
1803
<dt><u>Fun&ccedil;&atilde;o:</u> <b>some</b><i> (<var>f</var>, <var>a</var>)</i>
1804
 
<a name="IDX1284"></a>
 
1804
<a name="IDX1285"></a>
1805
1805
</dt>
1806
1806
<dt><u>Fun&ccedil;&atilde;o:</u> <b>some</b><i> (<var>f</var>, <var>L_1</var>, ..., <var>L_n</var>)</i>
1807
 
<a name="IDX1285"></a>
 
1807
<a name="IDX1286"></a>
1808
1808
</dt>
1809
1809
<dd><p>Retorna <code>true</code> se o predicado <var>f</var> for <code>true</code> para um ou mais argumentos dados.
1810
1810
</p>
1880
1880
<p><a name="stirling1"></a>
1881
1881
</p><dl>
1882
1882
<dt><u>Fun&ccedil;&atilde;o:</u> <b>stirling1</b><i> (<var>n</var>, <var>m</var>)</i>
1883
 
<a name="IDX1286"></a>
 
1883
<a name="IDX1287"></a>
1884
1884
</dt>
1885
1885
<dd><p>Representa o n&uacute;mero de Stirling de primeiro tipo.
1886
1886
</p>
1946
1946
<p><a name="stirling2"></a>
1947
1947
</p><dl>
1948
1948
<dt><u>Fun&ccedil;&atilde;o:</u> <b>stirling2</b><i> (<var>n</var>, <var>m</var>)</i>
1949
 
<a name="IDX1287"></a>
 
1949
<a name="IDX1288"></a>
1950
1950
</dt>
1951
1951
<dd><p>Representa o n&uacute;mero de Stirling de segundo tipo.
1952
1952
</p>
2021
2021
<p><a name="subset"></a>
2022
2022
</p><dl>
2023
2023
<dt><u>Fun&ccedil;&atilde;o:</u> <b>subset</b><i> (<var>a</var>, <var>f</var>)</i>
2024
 
<a name="IDX1288"></a>
 
2024
<a name="IDX1289"></a>
2025
2025
</dt>
2026
2026
<dd><p>Retorna o subconjuntode um conjunto <var>a</var> que satisfaz o predicado <var>f</var>. 
2027
2027
</p>
2045
2045
<p><a name="subsetp"></a>
2046
2046
</p><dl>
2047
2047
<dt><u>Fun&ccedil;&atilde;o:</u> <b>subsetp</b><i> (<var>a</var>, <var>b</var>)</i>
2048
 
<a name="IDX1289"></a>
 
2048
<a name="IDX1290"></a>
2049
2049
</dt>
2050
2050
<dd><p>Retorna <code>true</code> se e somente se o conjunto <var>a</var> for um subconjunto de <var>b</var>.
2051
2051
</p>
2063
2063
<p><a name="symmdifference"></a>
2064
2064
</p><dl>
2065
2065
<dt><u>Fun&ccedil;&atilde;o:</u> <b>symmdifference</b><i> (<var>a_1</var>, ..., <var>a_n</var>)</i>
2066
 
<a name="IDX1290"></a>
 
2066
<a name="IDX1291"></a>
2067
2067
</dt>
2068
2068
<dd><p>Retorna a diferen&ccedil;a sim&eacute;trica, isto &eacute;,
2069
2069
o conjunto dos elemetnos que ocorrem em exatamente um conjunto <var>a_k</var>.
2097
2097
<p><a name="tree_005freduce"></a>
2098
2098
</p><dl>
2099
2099
<dt><u>Fun&ccedil;&atilde;o:</u> <b>tree_reduce</b><i> (<var>F</var>, <var>s</var>)</i>
2100
 
<a name="IDX1291"></a>
 
2100
<a name="IDX1292"></a>
2101
2101
</dt>
2102
2102
<dt><u>Fun&ccedil;&atilde;o:</u> <b>tree_reduce</b><i> (<var>F</var>, <var>s</var>, <var>s_0</var>)</i>
2103
 
<a name="IDX1292"></a>
 
2103
<a name="IDX1293"></a>
2104
2104
</dt>
2105
2105
<dd><p>Extende a fun&ccedil;&atilde;o bin&aacute;ria <var>F</var> a uma fun&ccedil;&atilde;o en&aacute;ria atrav&eacute;s de composi&ccedil;&atilde;o,
2106
2106
onde <var>s</var> &eacute; um conjunto ou uma lista.
2138
2138
<p><a name="union"></a>
2139
2139
</p><dl>
2140
2140
<dt><u>Fun&ccedil;&atilde;o:</u> <b>union</b><i> (<var>a_1</var>, ..., <var>a_n</var>)</i>
2141
 
<a name="IDX1293"></a>
 
2141
<a name="IDX1294"></a>
2142
2142
</dt>
2143
2143
<dd><p>Retorna a uni&atilde;o dos conjuntos de <var>a_1</var> a <var>a_n</var>. 
2144
2144
</p>
2170
2170
<p><a name="xreduce"></a>
2171
2171
</p><dl>
2172
2172
<dt><u>Fun&ccedil;&atilde;o:</u> <b>xreduce</b><i> (<var>F</var>, <var>s</var>)</i>
2173
 
<a name="IDX1294"></a>
 
2173
<a name="IDX1295"></a>
2174
2174
</dt>
2175
2175
<dt><u>Fun&ccedil;&atilde;o:</u> <b>xreduce</b><i> (<var>F</var>, <var>s</var>, <var>s_0</var>)</i>
2176
 
<a name="IDX1295"></a>
 
2176
<a name="IDX1296"></a>
2177
2177
</dt>
2178
2178
<dd><p>Extendendo a fun&ccedil;&atilde;o <var>F</var> para uma fun&ccedil;&atilde;o en&aacute;ria por composi&ccedil;&atilde;o,
2179
2179
ou, se <var>F</var> j&aacute; for en&aacute;ria, aplica-se <var>F</var> a <var>s</var>.
2219
2219
 
2220
2220
<hr size="6">
2221
2221
<table cellpadding="1" cellspacing="1" border="0">
2222
 
<tr><td valign="middle" align="left">[<a href="#SEC152" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
2223
 
<td valign="middle" align="left">[<a href="maxima_39.html#SEC159" title="Next chapter"> &gt;&gt; </a>]</td>
 
2222
<tr><td valign="middle" align="left">[<a href="#SEC151" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
 
2223
<td valign="middle" align="left">[<a href="maxima_39.html#SEC158" title="Next chapter"> &gt;&gt; </a>]</td>
2224
2224
<td valign="middle" align="left"> &nbsp; </td>
2225
2225
<td valign="middle" align="left"> &nbsp; </td>
2226
2226
<td valign="middle" align="left"> &nbsp; </td>
2228
2228
<td valign="middle" align="left"> &nbsp; </td>
2229
2229
<td valign="middle" align="left">[<a href="maxima.html#SEC_Top" title="Cover (top) of document">Top</a>]</td>
2230
2230
<td valign="middle" align="left">[<a href="maxima_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
2231
 
<td valign="middle" align="left">[<a href="maxima_77.html#SEC296" title="Index">&Iacute;ndice</a>]</td>
 
2231
<td valign="middle" align="left">[<a href="maxima_77.html#SEC295" title="Index">&Iacute;ndice</a>]</td>
2232
2232
<td valign="middle" align="left">[<a href="maxima_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
2233
2233
</tr></table>
2234
2234
<p>
2235
2235
 <font size="-1">
2236
 
  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>.
 
2236
  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>.
2237
2237
 </font>
2238
2238
 <br>
2239
2239