← Back to branch summary

~ubuntu-branches/debian/squeeze/maxima/squeeze

« back to all changes in this revision

Viewing changes to doc/info/pt/Groups.texi

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-10-18 14:52:42 UTC
  • mto: (1.1.5 upstream)
  • mto: This revision was merged to the branch mainline in revision 4.
  • Revision ID: james.westby@ubuntu.com-20061018145242-vzyrm5hmxr8kiosf
Import upstream version 5.10.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/info/pt/Groups.texi
 
1
@c Language: Portuguese, Encoding: iso-8859-1
 
2
@c /Groups.texi/1.11/Thu Apr 21 04:26:33 2005/-ko/
 
3
@menu
 
4
* Defini@value{cedilha}@~oes para Grupos::
 
5
@end menu
 
6
 
 
7
@node Defini@value{cedilha}@~oes para Grupos,  , Grupos, Grupos
 
8
@section Defini@value{cedilha}@~oes para Grupos
 
9
 
 
10
@deffn {Fun@value{cedilha}@~ao} todd_coxeter (@var{rela@value{cedilha}@~ao}, @var{subgroupo})
 
11
@deffnx {Fun@value{cedilha}@~ao} todd_coxeter (@var{rela@value{cedilha}@~ao})
 
12
 
 
13
Acha a ordem de G/H onde G @'e o m@'odulo do Grupo Livre @var{rela@value{cedilha}@~ao}, e
 
14
H @'e o subgroupo de G gerado por @var{subgroupo}.  @var{subgroupo} @'e um argumento
 
15
opcional, cujo valor padr@~ao @'e [].  Em fazendo isso a fun@value{cedilha}@~ao produz uma
 
16
tabela de multiplica@value{cedilha}@~ao @`a direita de G sobre G/H, onde os
 
17
co-conjuntos s@~ao enumerados [H,Hg2,Hg3,...].  Isso pode ser visto internamente no
 
18
@code{$todd_coxeter_state}.
 
19
 
 
20
As tabelas de multiplica@value{cedilha}@~ao para as vari@'aveis est@~ao em
 
21
@code{table:todd_coxeter_state[2]}.  Ent@~ao @code{table[i]} fornece a tabela para
 
22
a i'@'esima vari@'avel.  @code{multiplos_co_conjuntos(co_conjunto,i) := table[varnum][co_conjunto];}
 
23
 
 
24
Exemplo:
 
25
 
 
26
@c ===beg===
 
27
@c symet(n):=create_list(
 
28
@c         if (j - i) = 1 then (p(i,j))^^3 else
 
29
@c             if (not i = j) then (p(i,j))^^2 else
 
30
@c                 p(i,i) , j, 1, n-1, i, 1, j);
 
31
@c p(i,j) := concat(x,i).concat(x,j);
 
32
@c symet(5);
 
33
@c todd_coxeter(%o3);
 
34
@c todd_coxeter(%o3,[x1]);
 
35
@c todd_coxeter(%o3,[x1,x2]);
 
36
@c table:todd_coxeter_state[2]$
 
37
@c table[1];
 
38
@c ===end===
 
39
@example
 
40
(%i1) symet(n):=create_list(
 
41
        if (j - i) = 1 then (p(i,j))^^3 else
 
42
            if (not i = j) then (p(i,j))^^2 else
 
43
                p(i,i) , j, 1, n-1, i, 1, j);
 
44
                                                       <3>
 
45
(%o1) symet(n) := create_list(if j - i = 1 then p(i, j)
 
46
 
 
47
                                <2>
 
48
 else (if not i = j then p(i, j)    else p(i, i)), j, 1, n - 1, 
 
49
 
 
50
i, 1, j)
 
51
(%i2) p(i,j) := concat(x,i).concat(x,j);
 
52
(%o2)        p(i, j) := concat(x, i) . concat(x, j)
 
53
(%i3) symet(5);
 
54
         <2>           <3>    <2>           <2>           <3>
 
55
(%o3) [x1   , (x1 . x2)   , x2   , (x1 . x3)   , (x2 . x3)   , 
 
56
 
 
57
            <2>           <2>           <2>           <3>    <2>
 
58
          x3   , (x1 . x4)   , (x2 . x4)   , (x3 . x4)   , x4   ]
 
59
(%i4) todd_coxeter(%o3);
 
60
 
 
61
Rows tried 426
 
62
(%o4)                          120
 
63
(%i5) todd_coxeter(%o3,[x1]);
 
64
 
 
65
Rows tried 213
 
66
(%o5)                          60
 
67
(%i6) todd_coxeter(%o3,[x1,x2]);
 
68
 
 
69
Rows tried 71
 
70
(%o6)                          20
 
71
(%i7) table:todd_coxeter_state[2]$
 
72
(%i8) table[1];
 
73
(%o8) @{Array: (SIGNED-BYTE 30) #(0 2 1 3 7 6 5 4 8 11 17 9 12 14 #
 
74
 
 
75
13 20 16 10 18 19 15 0 0 0 0 0 0 0 0 0 0 0 0
 
76
 
 
77
  0 0 0)@}
 
78
 
 
79
@end example
 
80
 
 
81
Observe que somente os elementos de 1 a 20 desse array @code{%o8} s@~ao significativos.
 
82
@code{table[1][4] = 7} indica coset4.var1 = coset7
 
83
 
 
84
@end deffn
 
85