[Maxima-commits] CVS: maxima/doc/info Groups.texi,1.13,1.14 From: Andreas Eder - 2008-01-30 00:12 ```Update of /cvsroot/maxima/maxima/doc/info In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv14643/doc/info Modified Files: Groups.texi Log Message: dapted the documentaion of todd_coxeter to the code. Index: Groups.texi =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/Groups.texi,v retrieving revision 1.13 retrieving revision 1.14 diff -u -d -r1.13 -r1.14 --- Groups.texi 28 Nov 2007 03:36:42 -0000 1.13 +++ Groups.texi 30 Jan 2008 00:11:49 -0000 1.14 @@ -1,4 +1,3 @@ - @menu * Functions and Variables for Groups:: @end menu @@ -14,11 +13,7 @@ argument, defaulting to []. In doing this it produces a multiplication table for the right action of G on G/H, where the cosets are enumerated [H,Hg2,Hg3,...]. This can be seen internally in -the @code{\$todd_coxeter_state}. - -The multiplication tables for the variables are in -@...]}. Then @code{table[i]} gives the table for -the ith variable. @code{mulcoset(coset,i) := table[varnum][coset];} +the variable @code{todd_coxeter_state}. Example: @@ -32,8 +27,6 @@ @c todd_coxeter(%o3); @c todd_coxeter(%o3,[x1]); @c todd_coxeter(%o3,[x1,x2]); -@... table:todd_coxeter_state[2]\$ -@... table[1]; @c ===end=== @example (%i1) symet(n):=create_list( @@ -44,14 +37,14 @@ (%o1) symet(n) := create_list(if j - i = 1 then p(i, j) <2> - else (if not i = j then p(i, j) else p(i, i)), j, 1, n - 1, + else (if not i = j then p(i, j) else p(i, i)), j, 1, n - 1, i, 1, j) (%i2) p(i,j) := concat(x,i).concat(x,j); (%o2) p(i, j) := concat(x, i) . concat(x, j) (%i3) symet(5); <2> <3> <2> <2> <3> -(%o3) [x1 , (x1 . x2) , x2 , (x1 . x3) , (x2 . x3) , +(%o3) [x1 , (x1 . x2) , x2 , (x1 . x3) , (x2 . x3) , <2> <2> <2> <3> <2> x3 , (x1 . x4) , (x2 . x4) , (x3 . x4) , x4 ] @@ -67,21 +60,8 @@ Rows tried 71 (%o6) 20 -(%i7) table:todd_coxeter_state[2]\$ -(%i8) table[1]; -(%o8) @{Array: (SIGNED-BYTE 30) #(0 2 1 3 7 6 5 4 8 11 17 9 12 14 # - -13 20 16 10 18 19 15 0 0 0 0 0 0 0 0 0 0 0 0 - - 0 0 0)@} - @end example - -Note only the elements 1 thru 20 of this array @code{%o8} are meaningful. -@...] = 7} indicates coset4.var1 = coset7 - @opencatbox @category{Group theory} @closecatbox @end deffn - ```