diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-09 14:49:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-09 14:49:34 +0000 |
| commit | 458f01d0da432d0aa66a1fe5ca487f4b7fadb08b (patch) | |
| tree | 8b32b861f589b70818b2f33fce6be3e9472726bd | |
| parent | bbc597dd3deeca1bff1c35491c1911ce50f1af60 (diff) | |
| download | open-axiom-458f01d0da432d0aa66a1fe5ca487f4b7fadb08b.tar.gz | |
* input/grpthry.input.pamphlet: Fix typo.
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/input/grpthry.input.pamphlet | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 3dd05eca..1c000d43 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2008-08-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * input/grpthry.input.pamphlet: Fix typo. + +2008-08-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/buildom.boot: Rename AST code LET to %LET throughout. * interp/c-util.boot: Likewise. * interp/comp.lisp: Likewise. diff --git a/src/input/grpthry.input.pamphlet b/src/input/grpthry.input.pamphlet index fc6728c8..2de5aa4e 100644 --- a/src/input/grpthry.input.pamphlet +++ b/src/input/grpthry.input.pamphlet @@ -17,16 +17,16 @@ x : PERM INT := [[1,3,5],[7,11,9]] y : PERM INT := [[3,5,7,9]] z : PERM INT := [1,3,11] -g1 : PERMGRPS INT := [ x , y ] -g2 : PERMGRPS INT := [ x , z ] -g3 : PERMGRPS INT := [ y , z ] +g1 : PERMGRP INT := [ x , y ] +g2 : PERMGRP INT := [ x , z ] +g3 : PERMGRP INT := [ y , z ] order g1 degree g3 movedPoints g2 orbit (g1, 3) orbits g3 member? ( y , g2 ) -)sh PERMGRPS +)sh PERMGRP -- Input for page IrrRepSymPage )clear all |