aboutsummaryrefslogtreecommitdiff
path: root/src/input/grpthry.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-08-09 14:49:34 +0000
committerdos-reis <gdr@axiomatics.org>2008-08-09 14:49:34 +0000
commit458f01d0da432d0aa66a1fe5ca487f4b7fadb08b (patch)
tree8b32b861f589b70818b2f33fce6be3e9472726bd /src/input/grpthry.input.pamphlet
parentbbc597dd3deeca1bff1c35491c1911ce50f1af60 (diff)
downloadopen-axiom-458f01d0da432d0aa66a1fe5ca487f4b7fadb08b.tar.gz
* input/grpthry.input.pamphlet: Fix typo.
Diffstat (limited to 'src/input/grpthry.input.pamphlet')
-rw-r--r--src/input/grpthry.input.pamphlet8
1 files changed, 4 insertions, 4 deletions
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