Artifact bfa89356a9e2a4a059a3be3da5b6200d41ba34f082abcaba93fd3e232269eec2:
- Executable file
r37/packages/symmetry/symdata2.red
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 71306) [annotate] [blame] [check-ins using] [more...]
- Executable file
r38/packages/symmetry/symdata2.red
— part of check-in
[f2fda60abd]
at
2011-09-02 18:13:33
on branch master
— Some historical releases purely for archival purposes
git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 71306) [annotate] [blame] [check-ins using]
module symdata2; % Symmetry data, part 2. % Author: Karin Gatermann <Gatermann@sc.ZIB-Berlin.de>. set!*elems!*group('c6,'(id rc6 r2c6 r3c6 r4c6 r5c6))$ set!*generators('c6,'(rc6))$ set!*relations('c6,'(((rc6 rc6 rc6 rc6 rc6 rc6) (id))))$ set!*grouptable('c6, '((grouptable id rc6 r2c6 r3c6 r4c6 r5c6) (id id rc6 r2c6 r3c6 r4c6 r5c6) (rc6 rc6 r2c6 r3c6 r4c6 r5c6 id) (r2c6 r2c6 r3c6 r4c6 r5c6 id rc6) (r3c6 r3c6 r4c6 r5c6 id rc6 r2c6) (r4c6 r4c6 r5c6 id rc6 r2c6 r3c6) (r5c6 r5c6 id rc6 r2c6 r3c6 r4c6)))$ set!*inverse('c6, '((id rc6 r2c6 r3c6 r4c6 r5c6) (id r5c6 r4c6 r3c6 r2c6 rc6)))$ set!*elemasgen('c6, '(((rc6) (rc6)) ((r2c6) (rc6 rc6)) ((r3c6) (rc6 rc6 rc6)) ((r4c6) (rc6 rc6 rc6 rc6)) ((r5c6) (rc6 rc6 rc6 rc6 rc6))))$ set!*group('c6,'((id) (rc6) (r2c6) (r3c6) (r4c6) (r5c6)))$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((1 . 1)))) (r2c6 (((1 . 1)))) (r3c6 (((1 . 1)))) (r4c6 (((1 . 1)))) (r5c6 (((1 . 1))))),'complex)$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((-1 . 1)))) (r2c6 (((1 . 1)))) (r3c6 (((-1 . 1)))) (r4c6 (((1 . 1)))) (r5c6 (((-1 . 1))))),'complex)$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . 1) . 2)))) (r2c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (r3c6 (((-1 . 1)))) (r4c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2)))) (r5c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . 1) . 2))))),'complex)$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (r2c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2)))) (r3c6 (((1 . 1)))) (r4c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (r5c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2))))),'complex)$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2)))) (r2c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (r3c6 (((1 . 1)))) (r4c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2)))) (r5c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2))))),'complex)$ set!*representation('c6, '((id (((1 . 1)))) (rc6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . 1) . 2)))) (r2c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2)))) (r3c6 (((-1 . 1)))) (r4c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (r5c6 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . 1) . 2))))),'complex)$ set!*representation('c6, '(realtype (id (((1 . 1)))) (rc6 (((1 . 1)))) (r2c6 (((1 . 1)))) (r3c6 (((1 . 1)))) (r4c6 (((1 . 1)))) (r5c6 (((1 . 1))))),'real)$ set!*representation('c6, '(realtype (id (((1 . 1)))) (rc6 (((-1 . 1)))) (r2c6 (((1 . 1)))) (r3c6 (((-1 . 1)))) (r4c6 (((1 . 1)))) (r5c6 (((-1 . 1))))),'real)$ set!*representation('c6, '(complextype (id (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (rc6 (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (1 . 2)))) (r2c6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (r3c6 (((-1 . 1) (nil . 1)) ((nil . 1) (-1 . 1)))) (r4c6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (r5c6 (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (1 . 2))))),'real)$ set!*representation('c6, '(complextype (id (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (rc6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (r2c6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (r3c6 (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (r4c6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (r5c6 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2))))),'real)$ set!*available 'c6$ set!*elems!*group('s4, '(id bacd acbd abdc dbca cabd bcad dacb bdca dbac cbda adbc acdb badc cdab dcba cbad adcb bcda bdac cadb dabc cdba dcab))$ set!*generators('s4,'(bacd acbd abdc dbca))$ set!*relations('s4, '(((bacd bacd) (id)) ((acbd acbd) (id)) ((abdc abdc) (id)) ((dbca) (bacd acbd abdc acbd bacd))))$ set!*grouptable('s4, '((grouptable dcab dcba dbac dbca dabc dacb cdab cdba cbad cbda cabd cadb bdac bdca bcad bcda bacd badc adbc adcb acbd acdb id abdc) (dcab badc abdc cadb acdb cbda bcda bacd id dacb adcb dbca bdca cabd acbd dabc adbc dcba cdba cbad bcad dbac bdac dcab cdab) (dcba bacd id cabd acbd cbad bcad badc abdc dabc adbc dbac bdac cadb acdb dacb adcb dcab cdab cbda bcda dbca bdca dcba cdba) (dbac bcda acdb cbda abdc cadb badc bdca adcb dbca id dacb bacd cdba adbc dcba acbd dabc cabd cdab bdac dcab bcad dbac cbad) (dbca bcad acbd cbad id cabd bacd bdac adbc dbac abdc dabc badc cdab adcb dcab acdb dacb cadb cdba bdca dcba bcda dbca cbda) (dabc bdca adcb cdba adbc cdab bdac bcda acdb dcba acbd dcab bcad cbda abdc dbca id dbac cbad cadb badc dacb bacd dabc cabd) (dacb bdac adbc cdab adcb cdba bdca bcad acbd dcab acdb dcba bcda cbad id dbac abdc dbca cbda cabd bacd dabc badc dacb cadb) (cdab abdc badc acdb cadb bcda cbda id bacd adcb dacb bdca dbca acbd cabd adbc dabc cdba dcba bcad cbad bdac dbac cdab dcab) (cdba id bacd acbd cabd bcad cbad abdc badc adbc dabc bdac dbac acdb cadb adcb dacb cdab dcab bcda cbda bdca dbca cdba dcba) (cbad acdb bcda abdc cbda badc cadb adcb bdca id dbca bacd dacb adbc cdba acbd dcba cabd dabc bdac cdab bcad dcab cbad dbac) (cbda acbd bcad id cbad bacd cabd adbc bdac abdc dbac badc dabc adcb cdab acdb dcab cadb dacb bdca cdba bcda dcba cbda dbca) (cabd adcb bdca adbc cdba bdac cdab acdb bcda acbd dcba bcad dcab abdc cbda id dbca cbad dbac badc cadb bacd dacb cabd dabc) (cadb adbc bdac adcb cdab bdca cdba acbd bcad acdb dcab bcda dcba id cbad abdc dbac cbda dbca bacd cabd badc dabc cadb dacb) (bdac cbda cadb bcda badc acdb abdc dbca dacb bdca bacd adcb id dcba dabc cdba cabd adbc acbd dcab dbac cdab cbad bdac bcad) (bdca cbad cabd bcad bacd acbd id dbac dabc bdac badc adbc abdc dcab dacb cdab cadb adcb acdb dcba dbca cdba cbda bdca bcda) (bcad cadb cbda badc bcda abdc acdb dacb dbca bacd bdca id adcb dabc dcba cabd cdba acbd adbc dbac dcab cbad cdab bcad bdac) (bcda cabd cbad bacd bcad id acbd dabc dbac badc bdac abdc adbc dacb dcab cadb cdab acdb adcb dbca dcba cbda cdba bcda bdca) (bacd cdab cdba bdac bdca adbc adcb dcab dcba bcad bcda acbd acdb dbac dbca cbad cbda id abdc dabc dacb cabd cadb bacd badc) (badc cdba cdab bdca bdac adcb adbc dcba dcab bcda bcad acdb acbd dbca dbac cbda cbad abdc id dacb dabc cadb cabd badc bacd) (adbc dbca dacb dcba dabc dcab dbac cbda cadb cdba cabd cdab cbad bcda badc bdca bacd bdac bcad acdb abdc adcb id adbc acbd) (adcb dbac dabc dcab dacb dcba dbca cbad cabd cdab cadb cdba cbda bcad bacd bdac badc bdca bcda acbd id adbc abdc adcb acdb) (acbd dacb dbca dabc dcba dbac dcab cadb cbda cabd cdba cbad cdab badc bcda bacd bdca bcad bdac abdc acdb id adcb acbd adbc) (acdb dabc dbac dacb dcab dbca dcba cabd cbad cadb cdab cbda cdba bacd bcad badc bdac bcda bdca id acbd abdc adbc acdb adcb) (id dcab dcba dbac dbca dabc dacb cdab cdba cbad cbda cabd cadb bdac bdca bcad bcda bacd badc adbc adcb acbd acdb id abdc) (abdc dcba dcab dbca dbac dacb dabc cdba cdab cbda cbad cadb cabd bdca bdac bcda bcad badc bacd adcb adbc acdb acbd abdc id)))$ set!*inverse('s4, '((dcab dcba dbac dbca dabc dacb cdab cdba cbad cbda cabd cadb bdac bdca bcad bcda bacd badc adbc adcb acbd acdb id abdc) (cdba dcba cbda dbca bcda bdca cdab dcab cbad dbac bcad bdac cadb dacb cabd dabc bacd badc acdb adcb acbd adbc id abdc)))$ set!*elemasgen('s4, '(((bacd) (bacd)) ((acbd) (acbd)) ((abdc) (abdc)) ((dbca) (dbca)) ((cabd) (bacd acbd)) ((bcad) (acbd bacd)) ((dacb) (dbca bacd)) ((bdca) (bacd dbca)) ((dbac) (abdc dbca)) ((cbda) (dbca abdc)) ((adbc) (acbd abdc)) ((acdb) (abdc acbd)) ((badc) (bacd abdc)) ((cdab) (abdc bacd acbd dbca)) ((dcba) (acbd dbca)) ((cbad) (bacd acbd bacd)) ((adcb) (dbca bacd dbca)) ((bcda) (abdc acbd bacd)) ((bdac) (acbd bacd abdc)) ((cadb) (abdc bacd acbd)) ((dabc) (bacd acbd abdc)) ((cdba) (bacd acbd dbca)) ((dcab) (abdc acbd dbca))))$ set!*group('s4, '((dcab dabc cadb bdac bcda cdba) (dcba badc cdab) (dbac dacb cabd adbc acdb bcad bdca cbda) (dbca adcb abdc acbd bacd cbad) (id)))$ set!*representation('s4, '((id (((1 . 1)))) (bacd (((1 . 1)))) (acbd (((1 . 1)))) (abdc (((1 . 1)))) (dbca (((1 . 1)))) (cabd (((1 . 1)))) (bcad (((1 . 1)))) (dacb (((1 . 1)))) (bdca (((1 . 1)))) (dbac (((1 . 1)))) (cbda (((1 . 1)))) (adbc (((1 . 1)))) (acdb (((1 . 1)))) (badc (((1 . 1)))) (cdab (((1 . 1)))) (dcba (((1 . 1)))) (cbad (((1 . 1)))) (adcb (((1 . 1)))) (bcda (((1 . 1)))) (bdac (((1 . 1)))) (cadb (((1 . 1)))) (dabc (((1 . 1)))) (cdba (((1 . 1)))) (dcab (((1 . 1))))),'complex)$ set!*representation('s4, '((id (((1 . 1)))) (bacd (((-1 . 1)))) (acbd (((-1 . 1)))) (abdc (((-1 . 1)))) (dbca (((-1 . 1)))) (cabd (((1 . 1)))) (bcad (((1 . 1)))) (dacb (((1 . 1)))) (bdca (((1 . 1)))) (dbac (((1 . 1)))) (cbda (((1 . 1)))) (adbc (((1 . 1)))) (acdb (((1 . 1)))) (badc (((1 . 1)))) (cdab (((1 . 1)))) (dcba (((1 . 1)))) (cbad (((-1 . 1)))) (adcb (((-1 . 1)))) (bcda (((-1 . 1)))) (bdac (((-1 . 1)))) (cadb (((-1 . 1)))) (dabc (((-1 . 1)))) (cdba (((-1 . 1)))) (dcab (((-1 . 1))))),'complex)$ set!*representation('s4, '((id (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bacd (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (acbd (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (abdc (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dbca (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (cabd (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (bcad (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (dacb (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (bdca (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dbac (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (cbda (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (adbc (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (acdb (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (badc (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cdab (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (dcba (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cbad (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (adcb (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bcda (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bdac (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (cadb (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (dabc (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cdba (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dcab (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2))))),'complex)$ set!*representation('s4, '((id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (bacd (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (acbd (((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (abdc (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (dbca (((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cabd (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcad (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dacb (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (bdca (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (dbac (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cbda (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (adbc (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acdb (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (badc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cdab (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dcba (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cbad (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (adcb (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (bcda (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (bdac (((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cadb (((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dabc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cdba (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (dcab (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1))))),'complex)$ set!*representation('s4, '((id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (bacd (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acbd (((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (abdc (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dbca (((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cabd (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcad (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dacb (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (bdca (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (dbac (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cbda (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (adbc (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acdb (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (badc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cdab (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dcba (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cbad (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (adcb (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcda (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bdac (((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cadb (((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (dabc (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (cdba (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dcab (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1))))),'complex)$ set!*representation('s4, '(realtype (id (((1 . 1)))) (bacd (((1 . 1)))) (acbd (((1 . 1)))) (abdc (((1 . 1)))) (dbca (((1 . 1)))) (cabd (((1 . 1)))) (bcad (((1 . 1)))) (dacb (((1 . 1)))) (bdca (((1 . 1)))) (dbac (((1 . 1)))) (cbda (((1 . 1)))) (adbc (((1 . 1)))) (acdb (((1 . 1)))) (badc (((1 . 1)))) (cdab (((1 . 1)))) (dcba (((1 . 1)))) (cbad (((1 . 1)))) (adcb (((1 . 1)))) (bcda (((1 . 1)))) (bdac (((1 . 1)))) (cadb (((1 . 1)))) (dabc (((1 . 1)))) (cdba (((1 . 1)))) (dcab (((1 . 1))))),'real)$ set!*representation('s4, '(realtype (id (((1 . 1)))) (bacd (((-1 . 1)))) (acbd (((-1 . 1)))) (abdc (((-1 . 1)))) (dbca (((-1 . 1)))) (cabd (((1 . 1)))) (bcad (((1 . 1)))) (dacb (((1 . 1)))) (bdca (((1 . 1)))) (dbac (((1 . 1)))) (cbda (((1 . 1)))) (adbc (((1 . 1)))) (acdb (((1 . 1)))) (badc (((1 . 1)))) (cdab (((1 . 1)))) (dcba (((1 . 1)))) (cbad (((-1 . 1)))) (adcb (((-1 . 1)))) (bcda (((-1 . 1)))) (bdac (((-1 . 1)))) (cadb (((-1 . 1)))) (dabc (((-1 . 1)))) (cdba (((-1 . 1)))) (dcab (((-1 . 1))))),'real)$ set!*representation('s4, '(realtype (id (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bacd (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (acbd (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (abdc (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dbca (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (cabd (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (bcad (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (dacb (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (bdca (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dbac (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (cbda (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (adbc (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (acdb (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (badc (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cdab (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (dcba (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cbad (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (adcb (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bcda (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (bdac (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (cadb (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (dabc (((-1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (cdba (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (dcab (((1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2))))),'real)$ set!*representation('s4, '(realtype (id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (bacd (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (acbd (((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (abdc (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (dbca (((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cabd (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcad (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dacb (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (bdca (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (dbac (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cbda (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (adbc (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acdb (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (badc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cdab (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dcba (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cbad (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (adcb (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (bcda (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (bdac (((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cadb (((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dabc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cdba (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (dcab (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1))))),'real)$ set!*representation('s4, '(realtype (id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (bacd (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acbd (((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (abdc (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dbca (((nil . 1) (-1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cabd (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcad (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dacb (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (bdca (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (dbac (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (cbda (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (adbc (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (acdb (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (badc (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (cdab (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (dcba (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cbad (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (adcb (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bcda (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (bdac (((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (cadb (((nil . 1) (-1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (dabc (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (cdba (((nil . 1) (nil . 1) (1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (dcab (((nil . 1) (nil . 1) (-1 . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((1 . 1) (nil . 1) (nil . 1))))),'real)$ set!*available 's4$ set!*elems!*group('a4, '(id ta4 t2a4 xa4 ya4 za4 txa4 tya4 tza4 t2xa4 t2ya4 t2za4))$ set!*generators('a4,'(ta4 xa4 ya4 za4))$ set!*relations('a4, '(((za4) (ta4 xa4 ta4 ta4)) ((ya4) (ta4 za4 ta4 ta4)) ((xa4) (ta4 ya4 ta4 ta4)) ((ta4 ta4 ta4) (id)) ((xa4 xa4) (id)) ((ya4 ya4) (id)) ((za4 za4) (id)) ((xa4 ya4) (za4))))$ set!*grouptable('a4, '((grouptable id ta4 t2a4 xa4 ya4 za4 txa4 tya4 tza4 t2xa4 t2ya4 t2za4) (id id ta4 t2a4 xa4 ya4 za4 txa4 tya4 tza4 t2xa4 t2ya4 t2za4) (ta4 ta4 t2a4 id txa4 tya4 tza4 t2xa4 t2ya4 t2za4 xa4 ya4 za4) (t2a4 t2a4 id ta4 t2xa4 t2ya4 t2za4 xa4 ya4 za4 txa4 tya4 tza4) (xa4 xa4 tya4 t2za4 id za4 ya4 tza4 ta4 txa4 t2ya4 t2xa4 t2a4) (ya4 ya4 tza4 t2xa4 za4 id xa4 tya4 txa4 ta4 t2a4 t2za4 t2ya4) (za4 za4 txa4 t2ya4 ya4 xa4 id ta4 tza4 tya4 t2za4 t2a4 t2xa4) (txa4 txa4 t2ya4 za4 ta4 tza4 tya4 t2za4 t2a4 t2xa4 ya4 xa4 id) (tya4 tya4 t2za4 xa4 tza4 ta4 txa4 t2ya4 t2xa4 t2a4 id za4 ya4) (tza4 tza4 t2xa4 ya4 tya4 txa4 ta4 t2a4 t2za4 t2ya4 za4 id xa4) (t2xa4 t2xa4 ya4 tza4 t2a4 t2za4 t2ya4 za4 id xa4 tya4 txa4 ta4) (t2ya4 t2ya4 za4 txa4 t2za4 t2a4 t2xa4 ya4 xa4 id ta4 tza4 tya4) (t2za4 t2za4 xa4 tya4 t2ya4 t2xa4 t2a4 id za4 ya4 tza4 ta4 txa4)))$ set!*inverse('a4, '((id ta4 t2a4 xa4 ya4 za4 txa4 tya4 tza4 t2xa4 t2ya4 t2za4) (id t2a4 ta4 xa4 ya4 za4 t2za4 t2xa4 t2ya4 tya4 tza4 txa4) ))$ set!*elemasgen('a4, '(((ta4) (ta4)) ((t2a4) (ta4 ta4)) ((xa4) (xa4)) ((ya4) (ya4)) ((za4) (za4)) ((txa4) (ta4 xa4)) ((tya4) (ta4 ya4)) ((tza4) (ta4 za4)) ((t2xa4) (ta4 ta4 xa4)) ((t2ya4) (ta4 ta4 ya4)) ((t2za4) (ta4 ta4 za4))))$ set!*group('a4, '((id) (txa4 ta4 tza4 tya4) (t2za4 t2a4 t2ya4 t2xa4) (ya4 xa4 za4)))$ set!*representation('a4, '((id (((1 . 1)))) (ta4 (((1 . 1)))) (t2a4 (((1 . 1)))) (xa4 (((1 . 1)))) (ya4 (((1 . 1)))) (za4 (((1 . 1)))) (txa4 (((1 . 1)))) (tya4 (((1 . 1)))) (tza4 (((1 . 1)))) (t2xa4 (((1 . 1)))) (t2ya4 (((1 . 1)))) (t2za4 (((1 . 1))))),'complex)$ set!*representation('a4, '((id (((1 . 1)))) (ta4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (t2a4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (xa4 (((1 . 1)))) (ya4 (((1 . 1)))) (za4 (((1 . 1)))) (txa4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (tya4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (tza4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (t2xa4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (t2ya4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (t2za4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . -1)) . -1) . 2))))),'complex)$ set!*representation('a4, '((id (((1 . 1)))) (ta4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (t2a4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (xa4 (((1 . 1)))) (ya4 (((1 . 1)))) (za4 (((1 . 1)))) (txa4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (tya4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (tza4 (((((((expt 3 (quotient 1 2)) . 1)((i . 1) . -1)) . -1) . 2)))) (t2xa4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (t2ya4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2)))) (t2za4 (((((((expt 3 (quotient 1 2)) . 1) ((i . 1) . 1)) . -1) . 2))))),'complex)$ set!*representation('a4, '((id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (ta4 (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (t2a4 (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (xa4 (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (ya4 (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (za4 (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (txa4 (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (tya4 (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (tza4 (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (t2xa4 (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (t2ya4 (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (t2za4 (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1))))),'complex)$ set!*representation('a4, '(realtype (id (((1 . 1)))) (ta4 (((1 . 1)))) (t2a4 (((1 . 1)))) (xa4 (((1 . 1)))) (ya4 (((1 . 1)))) (za4 (((1 . 1)))) (txa4 (((1 . 1)))) (tya4 (((1 . 1)))) (tza4 (((1 . 1)))) (t2xa4 (((1 . 1)))) (t2ya4 (((1 . 1)))) (t2za4 (((1 . 1))))),'real)$ set!*representation('a4, '(complextype (id (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (ta4 (((-1 . 2)(((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (t2a4 (((-1 . 2)(((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (xa4 (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (ya4 (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (za4 (((1 . 1) (nil . 1)) ((nil . 1) (1 . 1)))) (txa4 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (tya4 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (tza4 (((-1 . 2) (((((expt 3 (quotient 1 2)) . 1) . 1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . -1)) . 2) (-1 . 2)))) (t2xa4 (((-1 . 2)(((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (t2ya4 (((-1 . 2)(((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2)))) (t2za4 (((-1 . 2)(((((expt 3 (quotient 1 2)) . 1) . -1)) . 2)) ((((((expt 3 (quotient 1 2)) . 1) . 1)) . 2) (-1 . 2))))),'real)$ set!*representation('a4, '(realtype (id (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (ta4 (((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (t2a4 (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (xa4 (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (ya4 (((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)))) (za4 (((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)))) (txa4 (((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (1 . 1) (nil . 1)))) (tya4 (((nil . 1) (nil . 1) (1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (tza4 (((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)) ((nil . 1) (-1 . 1) (nil . 1)))) (t2xa4 (((nil . 1) (-1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((1 . 1) (nil . 1) (nil . 1)))) (t2ya4 (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (-1 . 1)) ((-1 . 1) (nil . 1) (nil . 1)))) (t2za4 (((nil . 1) (1 . 1) (nil . 1)) ((nil . 1) (nil . 1) (1 . 1)) ((1 . 1) (nil . 1) (nil . 1))))),'real)$ set!*available 'a4$ endmodule; end;