From: Jorge B. <fic...@us...> - 2006-06-10 16:25:38
|
Update of /cvsroot/maxima/maxima/doc/info/pt In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv6553 Modified Files: Command.texi Program.texi Expressions.texi Log Message: Manual Portuguese Translation. Command.texi -> Revised descriptions of evflag and evfun, and made some examples for them. Program.texi -> Rewrote outermap in an attempt to make it more complete and more accurate. It is longer now, at least. Expressions.texi -> In box, mention that box evaluates its argument. In declare, rework table formatting a little. Index: Command.texi =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/pt/Command.texi,v retrieving revision 1.7 retrieving revision 1.8 diff -u -d -r1.7 -r1.8 --- Command.texi 20 May 2006 15:24:45 -0000 1.7 +++ Command.texi 10 Jun 2006 16:25:30 -0000 1.8 @@ -1,5 +1,5 @@ @c Language: Portuguese, Encoding: iso-8859-1 -@c /Command.texi/1.39/Mon May 15 07:51:57 2006/-ko/ +@c /Command.texi/1.40/Fri Jun 9 07:49:22 2006/-ko/ @iftex @hyphenation{si-na-li-za-do-res} @hyphenation{de-mo-ra-da-men-te} @@ -535,15 +535,15 @@ @end deffn @defvr {Propriedade} evflag -Alguns sinalizadores Booleanos possuem a propriedae @code{evflag}. -@code{ev} trata tais sinalizadores especialmente. -Um sinalizador com a propriedade @code{evflag} n@~ao ser@'a associado a @code{true} -durante a execu@,{c}@~ao de @code{ev} se isso for -mensionado na chamada para @code{ev}. -Por exemplo, @code{demoivre} e @code{ratfac} s@~ao associados a @code{true} -durante a chamada @code{ev (%, demoivre, ratfac)}. +Quando um s@'imbolo @var{x} tem a propriedade @code{evflag}, +as express@~oes @code{ev(@var{expr}, @var{x})} e @code{@var{expr}, @var{x}} +(na linha de comando interativa) s@~ao equivalentes a @code{ev(@var{expr}, @var{x} = true)}. +Isto @'e, @var{x} est@'a associada a @code{true} enquanto @var{expr} for avaliada. -Os sinalizadores que possuem a propriedade @code{evflag} s@~ao: +A express@~ao @code{declare(@var{x}, evflag)} +fornece a propriedade @code{evflag} para a vari@'avel @var{x}. + +Os sinalizadores que possuem a propriedade @code{evflag} por padr@~ao s@~ao os seguintes: @c FOLLOWING LIST CONSTRUCTED FROM LIST UNDER (prog1 '(evflag properties) ...) @c NEAR LINE 2649 OF mlisp.lisp AT PRESENT (2004/11). @code{algebraic}, @@ -577,26 +577,78 @@ @code{ratsimpexpons}, @code{simp}, @code{simpsum}, -@code{sumexpand}, and +@code{sumexpand}, e @code{trigexpand}. -A constru@,{c}@~ao @code{:lisp (putprop '|$foo| t 'evflag)} -fornece a propriedade @code{evflag} para a vari@'avel @code{foo}, -ent@~ao @code{foo} @'associada a @code{true} durante a chamada @code{ev (%, foo)}. -Equivalentemente, @code{ev (%, foo:true)} tem o mesmo efeito. +Exemplos: + +@c ===beg=== +@c sin (1/2); +@c sin (1/2), float; +@c sin (1/2), float=true; +@c simp : false; +@c 1 + 1; +@c 1 + 1, simp; +@c simp : true; +@c sum (1/k^2, k, 1, inf); +@c sum (1/k^2, k, 1, inf), simpsum; +@c declare (aa, evflag); +@c if aa = true then YES else NO; +@c if aa = true then YES else NO, aa; +@c ===end=== +@example +(%i1) sin (1/2); + 1 +(%o1) sin(-) + 2 +(%i2) sin (1/2), float; +(%o2) 0.479425538604203 +(%i3) sin (1/2), float=true; +(%o3) 0.479425538604203 +(%i4) simp : false; +(%o4) false +(%i5) 1 + 1; +(%o5) 1 + 1 +(%i6) 1 + 1, simp; +(%o6) 2 +(%i7) simp : true; +(%o7) true +(%i8) sum (1/k^2, k, 1, inf); + inf + ==== + \ 1 +(%o8) > -- + / 2 + ==== k + k = 1 +(%i9) sum (1/k^2, k, 1, inf), simpsum; + 2 + %pi +(%o9) ---- + 6 +(%i10) declare (aa, evflag); +(%o10) done +(%i11) if aa = true then SIM else N@~AO; +(%o11) N@~AO +(%i12) if aa = true then SIM else N@~AO, aa; +(%o12) SIM +@end example @end defvr @defvr {Propriedade} evfun -Agumas fun@,{c}@~oes possuem a proriedade @code{evfun}. -@code{ev} trata cada fun@,{c}@~ao especialmente. -Uma fun@,{c}@~ao com a propriedade @code{evfun} ser@'a aplicada -durante a execu@,{c}@~ao de @code{ev} se isso for -mecionado na chamada a @code{ev}. -Por exemplo, @code{ratsimp} e @code{radcan} ser@'a aplicada -durante a chamada @code{ev (%, ratsimp, radcan)}. +Quando uma fun@,{c}@~ao @var{F} tem a propriedade @code{evfun}, +as express@~oes @code{ev(@var{expr}, @var{F})} e @code{@var{expr}, @var{F}} +(na linha de comando interativa) +s@~ao equivalentes a @code{@var{F}(ev(@var{expr}))}. -As fun@,{c}@~oes que possuem a propriedade @code{evfun} s@~ao: +Se duas ou mais fun@,{c}@~oes @var{F}, @var{G}, etc., que possuem a propriedade @code{evfun} forem especificadas, +as fun@,{c}@~oes ser@~ao aplicadas na ordem em que forem especificadas. + +A express@~ao @code{declare(@var{F}, evfun)} +fornece a propriedade @code{evfun} para a fun@,{c}@~ao @var{F}. + +As fun@,{c}@~oes que possuem a propriedade @code{evfun} por padr@~ao s@~ao as seguintes: @c FOLLOWING LIST CONSTRUCTED FROM LIST UNDER (prog1 '(evfun properties) ...) @c NEAR LINE 2643 IN mlisp.lisp AT PRESENT (2004/11). @code{bfloat}, @@ -612,10 +664,75 @@ @code{trigexpand}, e @code{trigreduce}. -A constru@,{c}@~ao @code{:lisp (putprop '|$foo| t 'evfun)} -fornece a propriedade @code{evfun} para a fun@,{c}@~ao @code{foo}, -de modo que @code{foo} @'e aplicada durante a chamada @code{ev (%, foo)}. -Equivalentemente, @code{foo (ev (%))} tem o mesmo efeito. +Exemplos: + +@c ===beg=== +@c x^3 - 1; +@c x^3 - 1, factor; +@c factor (x^3 - 1); +@c cos(4 * x) / sin(x)^4; +@c cos(4 * x) / sin(x)^4, trigexpand; +@c cos(4 * x) / sin(x)^4, trigexpand, ratexpand; +@c ratexpand (trigexpand (cos(4 * x) / sin(x)^4)); +@c declare ([F, G], evfun); +@c (aa : bb, bb : cc, cc : dd); +@c aa; +@c aa, F; +@c F (aa); +@c F (ev (aa)); +@c aa, F, G; +@c G (F (ev (aa))); +@c ===end=== +@example +(%i1) x^3 - 1; + 3 +(%o1) x - 1 +(%i2) x^3 - 1, factor; + 2 +(%o2) (x - 1) (x + x + 1) +(%i3) factor (x^3 - 1); + 2 +(%o3) (x - 1) (x + x + 1) +(%i4) cos(4 * x) / sin(x)^4; + cos(4 x) +(%o4) -------- + 4 + sin (x) +(%i5) cos(4 * x) / sin(x)^4, trigexpand; + 4 2 2 4 + sin (x) - 6 cos (x) sin (x) + cos (x) +(%o5) ------------------------------------- + 4 + sin (x) +(%i6) cos(4 * x) / sin(x)^4, trigexpand, ratexpand; + 2 4 + 6 cos (x) cos (x) +(%o6) - --------- + ------- + 1 + 2 4 + sin (x) sin (x) +(%i7) ratexpand (trigexpand (cos(4 * x) / sin(x)^4)); + 2 4 + 6 cos (x) cos (x) +(%o7) - --------- + ------- + 1 + 2 4 + sin (x) sin (x) +(%i8) declare ([F, G], evfun); +(%o8) done +(%i9) (aa : bb, bb : cc, cc : dd); +(%o9) dd +(%i10) aa; +(%o10) bb +(%i11) aa, F; +(%o11) F(cc) +(%i12) F (aa); +(%o12) F(bb) +(%i13) F (ev (aa)); +(%o13) F(cc) +(%i14) aa, F, G; +(%o14) G(F(cc)) +(%i15) G (F (ev (aa))); +(%o15) G(F(cc)) +@end example @end defvr @@ -935,4 +1052,3 @@ A lista compreende s@'imbolos associados por @code{:} , @code{::}, ou @code{:=}. @end defvr - Index: Program.texi =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/pt/Program.texi,v retrieving revision 1.1 retrieving revision 1.2 diff -u -d -r1.1 -r1.2 --- Program.texi 6 Dec 2005 23:31:59 -0000 1.1 +++ Program.texi 10 Jun 2006 16:25:31 -0000 1.2 @@ -1,5 +1,5 @@ @c Language: Portuguese, Encoding: iso-8859-1 -@c /Program.texi/1.20/Fri Jun 17 00:57:34 2005/-ko/ +@c /Program.texi/1.21/Wed Jun 7 08:45:22 2006/-ko/ @menu * Introdu@value{cedilha}@~ao a Fluxo de Programa:: * Defini@value{cedilha}@~oes para Fluxo de Programa:: @@ -552,17 +552,24 @@ Aplica a fun@,{c}@~ao @var{f} para cada um dos elementos do produto externo @var{a_1} vezes @var{a_2} ... vezes @var{a_n}. -@var{f} @'e para ser o nome de uma fun@value{cedilha}@~ao de @math{n} argumentos +@var{f} @'e o nome de uma fun@value{cedilha}@~ao de @math{n} argumentos ou uma express@~ao lambda de @math{n} argumentos. -Os argumentos @var{a_1}, ..., @var{a_n} podem ser listas ou n@~ao listas. -Argumentos listas podem ter diferentes comprimentos. -Argumentos outros que n@~ao listas s@~ao tratados como listas de comprimento 1 para o prop@'osito de constru@,{c}@~ao do -produto externo. +Cada argumento @var{a_k} pode ser uma lista simples ou lista aninhada ( lista contendo listas como elementos ), ou uma matrz, ou qualquer outro tip de express@~ao. -O resultado da aplica@,{c}@~ao de @var{f} para o produto externo @'e organizado como uma lista aninhada. -A intensidade do aninhamento @'e igual ao n@'umero de argumentos listas -(argumentos outros que n@~ao listas n@~ao contribuem com um n@'ivel de aninhamento). -Uma lista de intensidade de aninhamento @math{k} tem o mesmo comprimento que o @math{k}'@'esimo argumento da lista. +O valor de retorno de @code{outermap} @'e uma estrutura aninhada. +Tomemos @var{x} como sendo o valor de retorno. +Ent@~ao @var{x} tem a mesma estrutura da primeira lista, lista aninhada, ou argumento matriz, +@code{@var{x}[i_1]...[i_m]} tem a mesma estrutura que a segunda lista, lista aninhada, ou argumento matriz, +@code{@var{x}[i_1]...[i_m][j_1]...[j_n]} tem a mesma estrutura que a terceira lista, lista aninhada, ou argumento matriz, +e assim por diante, +onde @var{m}, @var{n}, ... s@~ao os n@'umeros dos @'indices requeridos para acessar os +elementos de cada argumento (um para uma lista, dois para uma matriz, um ou mais para uma lista aninhada). +Argumentos que n@~ao forem listas ou matrizes n@~ao afetam a estrutura do valor de retorno. + +Note que o efeito de @code{outermap} @'e diferente daquele de aplicar @var{f} +a cada um dos elementos do produto externo retornado por @code{cartesian_product}. +@code{outermap} preserva a estrutura dos argumentos no valor de retorno, +enquanto @code{cartesian_product} n@~ao reserva essa mesma estrutura. @code{outermap} avalia seus argumentos. @@ -570,30 +577,124 @@ @c CROSS REF OTHER FUNCTIONS HERE ?? Exemplos: -@c GENERATED FROM: -@c f (x, y) := x - y$ -@c outermap (f, [2, 3, 5], [a, b, c, d]); -@c outermap (lambda ([x, y], y/x), [55, 99], [Z, W]); -@c g: lambda ([x, y, z], x + y*z)$ -@c outermap (g, [a, b, c], %pi, [11, 17]); -@c flatten (%); +Exemplos elementares de @code{outermap}. +Para mostrar a a combina@,{c}@~ao de argumentos mais claramente, @code{F} est@'a indefinida @`a esquerda. +@c ===beg=== +@c outermap (F, [a, b, c], [1, 2, 3]); +@c outermap (F, matrix ([a, b], [c, d]), matrix ([1, 2], [3, 4])); +@c outermap (F, [a, b], x, matrix ([1, 2], [3, 4])); +@c outermap (F, [a, b], matrix ([1, 2]), matrix ([x], [y])); +@c outermap ("+", [a, b, c], [1, 2, 3]); +@c ===end=== @example -(%i1) f (x, y) := x - y$ -(%i2) outermap (f, [2, 3, 5], [a, b, c, d]); -(%o2) [[2 - a, 2 - b, 2 - c, 2 - d], - [3 - a, 3 - b, 3 - c, 3 - d], [5 - a, 5 - b, 5 - c, 5 - d]] -(%i3) outermap (lambda ([x, y], y/x), [55, 99], [Z, W]); - Z W Z W -(%o3) [[--, --], [--, --]] - 55 55 99 99 -(%i4) g: lambda ([x, y, z], x + y*z)$ -(%i5) outermap (g, [a, b, c], %pi, [11, 17]); -(%o5) [[a + 11 %pi, a + 17 %pi], [b + 11 %pi, b + 17 %pi], - [c + 11 %pi, c + 17 %pi]] -(%i6) flatten (%); -(%o6) [a + 11 %pi, a + 17 %pi, b + 11 %pi, b + 17 %pi, - c + 11 %pi, c + 17 %pi] +(%i1) outermap (F, [a, b, c], [1, 2, 3]); +(%o1) [[F(a, 1), F(a, 2), F(a, 3)], [F(b, 1), F(b, 2), F(b, 3)], + [F(c, 1), F(c, 2), F(c, 3)]] +(%i2) outermap (F, matrix ([a, b], [c, d]), matrix ([1, 2], [3, 4])); + [ [ F(a, 1) F(a, 2) ] [ F(b, 1) F(b, 2) ] ] + [ [ ] [ ] ] + [ [ F(a, 3) F(a, 4) ] [ F(b, 3) F(b, 4) ] ] +(%o2) [ ] + [ [ F(c, 1) F(c, 2) ] [ F(d, 1) F(d, 2) ] ] + [ [ ] [ ] ] + [ [ F(c, 3) F(c, 4) ] [ F(d, 3) F(d, 4) ] ] +(%i3) outermap (F, [a, b], x, matrix ([1, 2], [3, 4])); + [ F(a, x, 1) F(a, x, 2) ] [ F(b, x, 1) F(b, x, 2) ] +(%o3) [[ ], [ ]] + [ F(a, x, 3) F(a, x, 4) ] [ F(b, x, 3) F(b, x, 4) ] +(%i4) outermap (F, [a, b], matrix ([1, 2]), matrix ([x], [y])); + [ [ F(a, 1, x) ] [ F(a, 2, x) ] ] +(%o4) [[ [ ] [ ] ], + [ [ F(a, 1, y) ] [ F(a, 2, y) ] ] + [ [ F(b, 1, x) ] [ F(b, 2, x) ] ] + [ [ ] [ ] ]] + [ [ F(b, 1, y) ] [ F(b, 2, y) ] ] +(%i5) outermap ("+", [a, b, c], [1, 2, 3]); +(%o5) [[a + 1, a + 2, a + 3], [b + 1, b + 2, b + 3], + [c + 1, c + 2, c + 3]] +@end example + +Uma explana@,{c}@~ao final do valor de retorno de @code{outermap}. +Os argumentos primeiro, segundo, e terceiro s@~ao matriz, lista, e matriz, respectivamente. +O valor de retorno @'e uma matriz. +Cada elementos daquela matriz @'e uma lista, +e cada elemento de cada lista @'e uma matriz. + +@c ===beg=== +@c arg_1 : matrix ([a, b], [c, d]); +@c arg_2 : [11, 22]; +@c arg_3 : matrix ([xx, yy]); +@c xx_0 : outermap (lambda ([x, y, z], x / y + z), arg_1, arg_2, arg_3); +@c xx_1 : xx_0 [1][1]; +@c xx_2 : xx_0 [1][1] [1]; +@c xx_3 : xx_0 [1][1] [1] [1][1]; +@c [op (arg_1), op (arg_2), op (arg_3)]; +@c [op (xx_0), op (xx_1), op (xx_2)]; +@c ===end=== +@example +(%i1) arg_1 : matrix ([a, b], [c, d]); + [ a b ] +(%o1) [ ] + [ c d ] +(%i2) arg_2 : [11, 22]; +(%o2) [11, 22] +(%i3) arg_3 : matrix ([xx, yy]); +(%o3) [ xx yy ] +(%i4) xx_0 : outermap (lambda ([x, y, z], x / y + z), arg_1, arg_2, arg_3); + [ [ a a ] [ a a ] ] + [ [[ xx + -- yy + -- ], [ xx + -- yy + -- ]] ] + [ [ 11 11 ] [ 22 22 ] ] +(%o4) Col 1 = [ ] + [ [ c c ] [ c c ] ] + [ [[ xx + -- yy + -- ], [ xx + -- yy + -- ]] ] + [ [ 11 11 ] [ 22 22 ] ] + [ [ b b ] [ b b ] ] + [ [[ xx + -- yy + -- ], [ xx + -- yy + -- ]] ] + [ [ 11 11 ] [ 22 22 ] ] + Col 2 = [ ] + [ [ d d ] [ d d ] ] + [ [[ xx + -- yy + -- ], [ xx + -- yy + -- ]] ] + [ [ 11 11 ] [ 22 22 ] ] +(%i5) xx_1 : xx_0 [1][1]; + [ a a ] [ a a ] +(%o5) [[ xx + -- yy + -- ], [ xx + -- yy + -- ]] + [ 11 11 ] [ 22 22 ] +(%i6) xx_2 : xx_0 [1][1] [1]; + [ a a ] +(%o6) [ xx + -- yy + -- ] + [ 11 11 ] +(%i7) xx_3 : xx_0 [1][1] [1] [1][1]; + a +(%o7) xx + -- + 11 +(%i8) [op (arg_1), op (arg_2), op (arg_3)]; +(%o8) [matrix, [, matrix] +(%i9) [op (xx_0), op (xx_1), op (xx_2)]; +(%o9) [matrix, [, matrix] +@end example + +@code{outermap} preserves the structure of the arguments in the return value, +while @code{cartesian_product} does not. + +@c ===beg=== +@c outermap (F, [a, b, c], [1, 2, 3]); +@c setify (flatten (%)); +@c map (lambda ([L], apply (F, L)), cartesian_product ({a, b, c}, {1, 2, 3})); +@c is (equal (%, %th (2))); +@c ===end=== +@example +(%i1) outermap (F, [a, b, c], [1, 2, 3]); +(%o1) [[F(a, 1), F(a, 2), F(a, 3)], [F(b, 1), F(b, 2), F(b, 3)], + [F(c, 1), F(c, 2), F(c, 3)]] +(%i2) setify (flatten (%)); +(%o2) @{F(a, 1), F(a, 2), F(a, 3), F(b, 1), F(b, 2), F(b, 3), + F(c, 1), F(c, 2), F(c, 3)@} +(%i3) map (lambda ([L], apply (F, L)), cartesian_product (@{a, b, c@}, @{1, 2, 3@})); +(%o3) @{F(a, 1), F(a, 2), F(a, 3), F(b, 1), F(b, 2), F(b, 3), + F(c, 1), F(c, 2), F(c, 3)@} +(%i4) is (equal (%, %th (2))); +(%o4) true @end example @end deffn Index: Expressions.texi =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/pt/Expressions.texi,v retrieving revision 1.10 retrieving revision 1.11 diff -u -d -r1.10 -r1.11 --- Expressions.texi 7 May 2006 19:12:28 -0000 1.10 +++ Expressions.texi 10 Jun 2006 16:25:31 -0000 1.11 @@ -1,5 +1,5 @@ @c Language: Portuguese, Encoding: iso-8859-1 -@c /Expressions.texi/1.46/Sun May 7 12:31:31 2006/-ko/ +@c /Expressions.texi/1.47/Wed Jun 7 08:45:15 2006/-ko/ @menu * Introdu@value{cedilha}@~ao a Express@~oes:: * Atribui@value{cedilha}@~ao:: @@ -460,7 +460,8 @@ Empacota @var{expr} em uma caixa rotulada pelo s@'imbolo @var{a}. O r@'otulo @'e truncado se for maior que a largura da caixa. -Uma express@~ao dentro de uma caixa n@~ao avalia para seu conte@'udo, +@code{box} avalia seu argumento. +Todavia, uma express@~ao dentro de uma caixa n@~ao avalia para seu conte@'udo, ent@~ao express@~oes dentro de caixas s@~ao efetivamente exclu@'idas de c@'alculos. @code{boxchar} @'e o caractere usado para desenhar a caixa em @code{box} @@ -470,6 +471,9 @@ @c ===beg=== @c box (a^2 + b^2); +@c a : 1234; +@c b : c - d; +@c box (a^2 + b^2); @c box (a^2 + b^2, term_1); @c 1729 - box (1729); @c boxchar: "-"; @@ -477,26 +481,34 @@ @c ===end=== @example (%i1) box (a^2 + b^2); - """"""""" - " 2 2 " -(%o1) "b + a " - """"""""" -(%i2) box (a^2 + b^2, term_1); - term_1""" - " 2 2 " -(%o2) "b + a " - """"""""" -(%i3) 1729 - box (1729); - """""" -(%o3) 1729 - "1729" - """""" -(%i4) boxchar: "-"; -(%o4) - -(%i5) box (sin(x) + cos(y)); - ----------------- -(%o5) -COS(y) + SIN(x)- - ----------------- -(%i6) + """"""""" + " 2 2" +(%o1) "b + a " + """"""""" +(%i2) a : 1234; +(%o2) 1234 +(%i3) b : c - d; +(%o3) c - d +(%i4) box (a^2 + b^2); + """""""""""""""""""" + " 2 " +(%o4) "(c - d) + 1522756" + """""""""""""""""""" +(%i5) box (a^2 + b^2, term_1); + term_1"""""""""""""" + " 2 " +(%o5) "(c - d) + 1522756" + """""""""""""""""""" +(%i6) 1729 - box (1729); + """""" +(%o6) 1729 - "1729" + """""" +(%i7) boxchar: "-"; +(%o7) - +(%i8) box (sin(x) + cos(y)); + ----------------- +(%o8) -cos(y) + sin(x)- + ----------------- @end example @end deffn @@ -630,22 +642,23 @@ @code{declare} n@~ao avalia seus argumentos. @code{declare} sempre retorna @code{done}. -@code{featurep (@var{objeto}, @var{recurso})} +Como colocado na descri@,{c}@~ao para cada sinalizador de declara@,{c}@~ao, +para alguns sinalizadores +@code{featurep(@var{objeto}, @var{recurso})} retorna @code{true} se @var{objeto} tiver sido declarado para ter @var{recurso}. +Todavia, @code{featurep} n@~ao reconhece alguns sinalizadores; isso @'e um erro. Veja tamb@'em @code{features}. @code{declare} reconhece as seguintes propriedades: @table @asis -@item -@code{evfun} +@item @code{evfun} Torna @var{a_i} conhecido para @code{ev} de forma que a fun@,{c}@~ao nomeada por @var{a_i} @'e aplicada quando @var{a_i} aparece como um sinalizador argumento de @code{ev}. Veja @code{evfun}. -@item -@code{evflag} +@item @code{evflag} Torna @var{a_i} conhecido para a fun@,{c}@~ao @code{ev} de forma que @var{a_i} @'e associado a @code{true} durante a execu@,{c}@~ao de @code{ev} quando @var{a_i} aparece como um sinalizador argumento de @code{ev}. Veja @code{evflag}. @@ -654,72 +667,60 @@ @c OBSOLETE @code{nonarray} (RECONHECIDA POR DECLARE MAS NUNCA USADA EM LUGAR ALGUM) -@item -@code{bindtest} +@item @code{bindtest} Diz ao Maxima para disparar um erro quando @var{a_i} for avaliado como sendo livre de associa@,{c}@~ao. -@item -@code{noun} +@item @code{noun} Diz ao Maxima para passar @var{a_i} como um substantivo. O efeito disso @'e substituir intâncias de @var{a_i} com @code{'@var{a_i}} -ou @code{nounify (@var{a_i})}, ependendo do contexto. +ou @code{nounify(@var{a_i})}, ependendo do contexto. -@item -@code{constant} +@item @code{constant} Diz ao Maxima para considerar @var{a_i} uma constante simb@'olica. @c WHAT MAXIMA KNOWS ABOUT SYMBOLIC CONSTANTS IS PRETTY LIMITED @c DUNNO IF WE WANT TO GET INTO DETAILS HERE. @c MAYBE IN THE DOCUMENTATION FOR CONSTANT (IF THERE IS SUCH) -@item -@code{scalar} +@item @code{scalar} Diz ao Maxima para considerar @var{a_i} uma vari@'avel escalar. -@item -@code{nonscalar} +@item @code{nonscalar} Diz ao Maxima para considerar @var{a_i} uma vari@'avel n@~ao escalar. The usual application is to declare a variable as a symbolic vector or matrix. -@item -@code{mainvar} +@item @code{mainvar} Diz ao Maxima para considerar @var{a_i} uma "vari@'avel principal" (@code{mainvar}). @code{ordergreatp} determina a ordena@,{c}@~ao de @'atomos como segue: (vari@'aveis principais) > (outras vari@'aveis) > (vari@'aveis escalares) > (constantes) > (n@'umeros) -@item -@code{alphabetic} +@item @code{alphabetic} Diz ao Maxima para reconhecer @var{a_i} como um caractere alfab@'etico. -@item -@code{feature} +@item @code{feature} Diz ao Maxima para reconhecer @var{a_i} como nome de um recurso. Other atoms may then be declared to have the @var{a_i} property. -@item -@code{rassociative}, @code{lassociative} +@item @code{rassociative}, @code{lassociative} Diz ao Maxima para reconhecer @var{a_i} como uma func@~ao associativa a direita ou associativa a esquerda. -@item -@code{nary} -Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao n-@'aria. +@item @code{nary} +Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao n-@'aria (com muitos argumentos). -Essa declara@,{c}@~ao n@~ao tem o mesmo objetivo que uma chamada @`a fun@,{c}@~ao @code{nary}. +A declara@,{c}@~ao @code{nary} n@~ao tem o mesmo objetivo que uma chamada @`a fun@,{c}@~ao @code{nary}. O @'unico efeito de @code{declare(foo, nary)} @'e para instruir o simplificador do Maxima a melhorar as pr@'oximas express@~oes, por exemplo, para simplificar @code{foo(x, foo(y, z))} para @code{foo(x, y, z)}. -@item -@code{symmetric}, @code{antisymmetric}, @code{commutative} -Dis ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao sim@'etrica ou antisim@'etrica. +@item @code{symmetric}, @code{antisymmetric}, @code{commutative} +Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao sim@'etrica ou antisim@'etrica. @code{commutative} @'e o mesmo que @code{symmetric}. @item @code{oddfun}, @code{evenfun} Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao par ou uma fun@,{c}@~ao @'impar. -@item -@code{outative} +@item @code{outative} Diz ao Maxima para simplificar express@~oes @var{a_i} colocando fatores constantes em evid@^encia no primeiro argumento. @@ -731,58 +732,47 @@ se o segundo argumento for um s@'imbolo e o fator estiver livre do segundo argumento. -@item -@code{multiplicative} +@item @code{multiplicative} Diz ao Maxima para simplificar express@~oes do tipo @var{a_i} atrav@'es da substitui@,{c}@~ao @code{@var{a_i}(x * y * z * ...)} @code{-->} @code{@var{a_i}(x) * @var{a_i}(y) * @var{a_i}(z) * ...}. A substitui@,{c}@~ao @'e realizada no primeiro argumento somente. -@item -@code{additive} +@item @code{additive} Diz ao Maxima para simplificar express@~oes do tipo @var{a_i} atrav@'es da substitui@,{c}@~ao @code{@var{a_i}(x + y + z + ...)} @code{-->} @code{@var{a_i}(x) + @var{a_i}(y) + @var{a_i}(z) + ...}. A substitui@,{c}@~ao @'e realizada no primeiro argumento somente. -@item -@code{linear} +@item @code{linear} Equivalente a declarar @var{a_i} ao mesmo tempo @code{outative} e @code{additive}. @c OBSOLETE @code{analytic} (RECOGNIZED BY DECLARE BUT NEVER USED ANYWHERE) -@item -@code{integer}, @code{noninteger} +@item @code{integer}, @code{noninteger} Diz ao Maxima para reconhecer @var{a_i} como como uma vari@'avel inteira ou como uma vari@'avel n@~ao inteira. Maxima reconhece os seguintes recursos de objetos: -@c THIS LIST AND THE NEXT COMPRISE $FEATURES -@item -@code{even}, @code{odd} +@item @code{even}, @code{odd} Diz ao Maxima para reconhecer @var{a_i} como uma vari@'avel inteira par ou como uma vari@'avel inteira @'impar. -@item -@code{rational}, @code{irrational} +@item @code{rational}, @code{irrational} Diz ao Maxima para reconhecer @var{a_i} como uma vari@'avel real e racional ou como uma vari@'avel real e irracional. -@item -@code{real}, @code{imaginary}, @code{complex} +@item @code{real}, @code{imaginary}, @code{complex} Dia ao Maxima para reconhecer @var{a_i} como uma vari@'avel real, imagin@'aria pura ou complexa. -@item -@code{increasing}, @code{decreasing} +@item @code{increasing}, @code{decreasing} Dia ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao de incremento ou decremento. @c MAXIMA FAILS TO DEDUCE F(2) > F(1) FOR INCREASING FUNCTION F @c AND FAILS TO DEDUCE ANYTHING AT ALL ABOUT DECREASING FUNCTIONS @c REPORTED AS SF BUG # 1483194 -@item -@code{posfun} +@item @code{posfun} Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao positiva. -@item -@code{integervalued} +@item @code{integervalued} Diz ao Maxima para reconhecer @var{a_i} como uma fun@,{c}@~ao de valores inteiros. @end table |