{VERSION 2 3 "IBM INTEL NT" "2.3" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{CSTYLE "" -1 18 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }{CSTYLE 
"" 18 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 }{CSTYLE "" -1 256 "" 1 
18 0 0 0 0 0 1 0 0 0 0 0 0 0 }{CSTYLE "" -1 257 "" 1 18 0 0 0 0 1 1 0 
0 0 0 0 0 0 }{CSTYLE "" -1 258 "" 1 18 0 0 0 0 0 1 0 0 0 0 0 0 0 }
{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 1 0 0 0 0 0 0 0 0 
0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Text Output" -1 2 1 
{CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 0 0 1 3 0 0 }1 0 0 -1 
-1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "" 2 6 1 {CSTYLE "" -1 -1 "" 0 1 0 0 
0 0 0 0 0 0 0 0 2 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple
 Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 32 0 0 0 0 0 0 0 0 0 0 0 0 }3 
3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Plot" 0 13 1 {CSTYLE "" 
-1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 
0 }}
{SECT 0 {EXCHG {PARA 0 "" 0 "" {TEXT -1 37 "                          \+
           " }{TEXT 256 7 "       " }{TEXT 257 7 "Crystal" }{TEXT 258 
18 " test worksheet #2" }}{PARA 0 "" 0 "" {TEXT -1 0 "" }}{PARA 0 "" 
0 "" {TEXT -1 20 "12-5-96,cry2tst2.mws" }}{PARA 0 "" 0 "" {TEXT -1 0 "
" }}{PARA 0 "" 0 "" {TEXT -1 100 "This worksheet does some tensor prod
uct calculations for A2=SU(3). It produces the crystal graphs of" }}
{PARA 0 "" 0 "" {TEXT -1 24 "(a) the standard repn S," }}{PARA 0 "" 0 
"" {TEXT -1 26 "(b) its contragredient S*," }}{PARA 0 "" 0 "" {TEXT 
-1 28 "(c) the tensor product SxS*," }}{PARA 0 "" 0 "" {TEXT -1 85 "(d
) the 8-dimensional subrepn of SxS* (i.e., the Cartan product of S, S*
), denoted T," }}{PARA 0 "" 0 "" {TEXT -1 27 "(e) the tensor product T
xT." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 74 "with(share);\nlibnam
e:=libname,`c:\\\\MAPLEV4/share/algebra/crystal/cryhelp`;" }}{PARA 6 "
" 1 "" {TEXT -1 70 "See ?share and ?share,contents for information abo
ut the share library" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7\"" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#>%(libnameG6%%/C:\\MAPLEV4/libG%1C:\\MAPLEV4
/shareG%Ic:\\MAPLEV4/share/algebra/crystal/cryhelpG" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 27 "readshare(coxeter,algebra);" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6#%(coxeterG" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 54 "read(`c:/maplev4/share/algebra/crystal/crystal2.mpl`)
;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%Dtype~init_crystal();~to~initial
ize.G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "init_crystal():" }
}{PARA 11 "" 1 "" {XPPMATH 20 "6#%5Crystal~initialized.G" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 75 "weyl[weights](A2);\nL1:=crystal[wei
ght_system](-(1/3*e2-2/3*e1+1/3*e3),A2);\n" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#7$,(%#e2G#\"\"\"\"\"$%#e1G#!\"#F(%#e3GF&,(F%#!\"\"F(F)F
.F,#\"\"#F(" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#L1G7%7$\"\"\"\"\"!7$
!\"\"F'7$F(F*" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 101 "weyl[weyl
_dim]((-1/3*e2-1/3*e1+2/3*e3),A2);\nL2:=crystal[weight_system](-(-1/3*
e2-1/3*e1+2/3*e3),A2);\n" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"$" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#L2G7%7$\"\"!\"\"\"7$F(!\"\"7$F*F'" 
}}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "with(plots):\n" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 56 "crystal[graphrep](L1,A2,G1);
\ncrystal[showgraph](G1,1,4);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%.Gra
ph~formed.G" }}{PARA 13 "" 1 "" {INLPLOT "6+-%'POINTSG6$7$\"\"\"\"\"!-
%'SYMBOLG6#%'CIRCLEG-F$6$7$\"\"#F(F)-F$6$7$\"\"$F(F)-%'CURVESG6#7$F&F/
-F66#7$F/F3-%%TEXTG6%7$#F4F0F(%\"1G%+ALIGNABOVEG-F=6%7$#\"\"&F0F(%\"2G
FB-%(SCALINGG6#%,CONSTRAINEDG-%*AXESSTYLEG6#%%NONEG" 2 385 385 385 2 
0 1 0 2 9 0 1 1 1.000000 45.000000 45.000000 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 56 "crystal[graphrep](L2,A2,G2);\ncrystal[showgraph](G2,1
,4);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%.Graph~formed.G" }}{PARA 13 "
" 1 "" {INLPLOT "6+-%'POINTSG6$7$\"\"\"\"\"!-%'SYMBOLG6#%'CIRCLEG-F$6$
7$\"\"#F(F)-F$6$7$\"\"$F(F)-%'CURVESG6#7$F&F/-F66#7$F/F3-%%TEXTG6%7$#F
4F0F(%\"2G%+ALIGNABOVEG-F=6%7$#\"\"&F0F(%\"1GFB-%(SCALINGG6#%,CONSTRAI
NEDG-%*AXESSTYLEG6#%%NONEG" 2 385 385 385 2 0 1 0 2 9 0 1 1 1.000000 
45.000000 45.000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 0 
-16900 0 0 0 0 0 1 }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 32 "crysta
l[graphprodrep](G1,G2,G3);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#%.Graph~
formed.G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 35 "crystal[showgra
phprod](G3,1,3,1,3);" }}{PARA 13 "" 1 "" {INLPLOT "6=-%'POINTSG6$7$\"
\"\"F'-%'SYMBOLG6#%'CIRCLEG-F$6$7$\"\"#F'F(-F$6$7$\"\"$F'F(-F$6$7$F'F/
F(-F$6$7$F/F/F(-F$6$7$F3F/F(-F$6$7$F'F3F(-F$6$7$F/F3F(-F$6$7$F3F3F(-%'
CURVESG6#7$F&F6-FG6#7$F6F?-FG6#7$F&F.-FG6#7$F?FB-FG6#7$F.F9-FG6#7$F9F<
-FG6#7$FBFE-FG6#7$F<FE-%%TEXTG6%7$F'#F3F/%\"1G%*ALIGNLEFTG-Fjn6%7$F'#
\"\"&F/%\"2GF_o-Fjn6%7$F]oF'Feo%+ALIGNABOVEG-Fjn6%7$F]oF3FeoFio-Fjn6%7
$F/F]oF^oF_o-Fjn6%7$FcoF/F^oFio-Fjn6%7$FcoF3F^oFio-Fjn6%7$F3FcoFeoF_o-
%(SCALINGG6#%,CONSTRAINEDG-%*AXESSTYLEG6#%%NONEG" 2 496 496 496 2 0 1 
0 2 9 0 1 1 1.000000 45.000000 45.000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 43 "crystal[linsubgraphrep](2*e1+e2,A2,G3,G4);\n" }{TEXT -1 109 "T
his creates a crystal graph of the component of the crystal graph G3 w
hich contains the weight vector 2e1+e2" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#%.Graph~formed.G" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "c
rystal[showgraph](G4,1,8);" }}{PARA 13 "" 1 "" {INLPLOT "6<-%'POINTSG6
$7$\"\"\"\"\"!-%'SYMBOLG6#%'CIRCLEG-F$6$7$\"\"#F(F)-F$6$7$\"\"$F(F)-F$
6$7$\"\"%F(F)-F$6$7$\"\"&F(F)-F$6$7$\"\"'F(F)-F$6$7$\"\"(F(F)-F$6$7$\"
\")F(F)-%'CURVESG6#7$F&F/-FJ6#7&F&7$F0#F'F0FPF3-FJ6#7&F/7$F4FQFUF7-FJ6
#7&F37$F8FQFYF;-FJ6#7&F77$F<FQFgnF?-FJ6#7&F;7$F@FQF[oFC-FJ6#7&F?7$FDFQ
F_oFG-FJ6#7$FCFG-%%TEXTG6%7$#F4F0F(%\"2G%+ALIGNABOVEG-Fdo6%FP%\"1GFio-
Fdo6%FUF\\pFio-Fdo6%FYFhoFio-Fdo6%FgnF\\pFio-Fdo6%F[oFhoFio-Fdo6%F_oFh
oFio-Fdo6%7$#\"#:F0F(F\\pFio-%(SCALINGG6#%,CONSTRAINEDG-%*AXESSTYLEG6#
%%NONEG" 2 496 496 496 2 0 1 0 2 9 0 1 1 1.000000 45.000000 45.000000 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 1 }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 32 "crystal[graphprodrep](G4,G4,G5);" }
}{PARA 11 "" 1 "" {XPPMATH 20 "6#%.Graph~formed.G" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 35 "crystal[showgraphprod](G5,1,8,1,8);" }}
{PARA 13 "" 1 "" {INLPLOT "6fx-%'POINTSG6$7$\"\"\"F'-%'SYMBOLG6#%'CIRC
LEG-F$6$7$\"\"#F'F(-F$6$7$\"\"$F'F(-F$6$7$\"\"%F'F(-F$6$7$\"\"&F'F(-F$
6$7$\"\"'F'F(-F$6$7$\"\"(F'F(-F$6$7$\"\")F'F(-F$6$7$F'F/F(-F$6$7$F/F/F
(-F$6$7$F3F/F(-F$6$7$F7F/F(-F$6$7$F;F/F(-F$6$7$F?F/F(-F$6$7$FCF/F(-F$6
$7$FGF/F(-F$6$7$F'F3F(-F$6$7$F/F3F(-F$6$7$F3F3F(-F$6$7$F7F3F(-F$6$7$F;
F3F(-F$6$7$F?F3F(-F$6$7$FCF3F(-F$6$7$FGF3F(-F$6$7$F'F7F(-F$6$7$F/F7F(-
F$6$7$F3F7F(-F$6$7$F7F7F(-F$6$7$F;F7F(-F$6$7$F?F7F(-F$6$7$FCF7F(-F$6$7
$FGF7F(-F$6$7$F'F;F(-F$6$7$F/F;F(-F$6$7$F3F;F(-F$6$7$F7F;F(-F$6$7$F;F;
F(-F$6$7$F?F;F(-F$6$7$FCF;F(-F$6$7$FGF;F(-F$6$7$F'F?F(-F$6$7$F/F?F(-F$
6$7$F3F?F(-F$6$7$F7F?F(-F$6$7$F;F?F(-F$6$7$F?F?F(-F$6$7$FCF?F(-F$6$7$F
GF?F(-F$6$7$F'FCF(-F$6$7$F/FCF(-F$6$7$F3FCF(-F$6$7$F7FCF(-F$6$7$F;FCF(
-F$6$7$F?FCF(-F$6$7$FCFCF(-F$6$7$FGFCF(-F$6$7$F'FGF(-F$6$7$F/FGF(-F$6$
7$F3FGF(-F$6$7$F7FGF(-F$6$7$F;FGF(-F$6$7$F?FGF(-F$6$7$FCFGF(-F$6$7$FGF
GF(-%'CURVESG6#7$F&FJ-F[x6#7&F&7$#F'F/F/FaxF\\o-F[x6#7&FJ7$FbxF3FfxFdp
-F[x6#7&F\\o7$FbxF7FjxF\\r-F[x6#7&Fdp7$FbxF;F^yFds-F[x6#7&F\\r7$FbxF?F
byF\\u-F[x6#7&Fds7$FbxFCFfyFdv-F[x6#7$F\\uFdv-F[x6#7$FJFM-F[x6#7$FdpFg
p-F[x6#7$F\\uF_u-F[x6#7$FdvFgv-F[x6#7&F\\o7$F/#FCF/FizFbo-F[x6#7&F\\r7
$F/#\"#6F/F^[lFbr-F[x6#7&Fds7$F/#\"#8F/Fd[lFjs-F[x6#7&Fdv7$F/#\"#<F/Fj
[lFjv-F[x6#7&F.7$#F3F/F/F`\\lF_o-F[x6#7&FM7$Fa\\lF3Fe\\lFgp-F[x6#7&F_o
7$Fa\\lF7Fi\\lF_r-F[x6#7&Fgp7$Fa\\lF;F]]lFgs-F[x6#7$F_uFgv-F[x6#7&F_o7
$F3FjzFd]lFeo-F[x6#7&F_r7$F3F_[lFh]lFer-F[x6#7&Fgs7$F3Fe[lF\\^lF]t-F[x
6#7&Fgv7$F3F[\\lF`^lF]w-F[x6#7$F2FP-F[x6#7&FP7$#F;F/F3Fg^lFjp-F[x6#7&F
bo7$Fh^lF7F\\_lFbr-F[x6#7&Fbr7$Fh^lF?F`_lFbu-F[x6#7&Fjs7$Fh^lFCFd_lFjv
-F[x6#7&FP7$F7Fh^lFh_lFV-F[x6#7&Fjp7$F7#\"\"*F/F\\`lF`q-F[x6#7&Fbu7$F7
#\"#:F/Fb`lFhu-F[x6#7&Fjv7$F7F[\\lFh`lF`w-F[x6#7$F6FS-F[x6#7&FS7$FjzF3
F_alF]q-F[x6#7&Feo7$FjzF7FcalFer-F[x6#7&Fer7$FjzF?FgalFeu-F[x6#7&F]t7$
FjzFCF[blF]w-F[x6#7&F67$F;Fa\\lF_blF>-F[x6#7&Feo7$F;FjzFcblF[p-F[x6#7&
F]q7$F;F]`lFgblFcq-F[x6#7&Fer7$F;F_[lF[clF[s-F[x6#7&F]t7$F;Fe[lF_clFct
-F[x6#7&Feu7$F;Fc`lFcclF[v-F[x6#7&F]w7$F;F[\\lFgclFcw-F[x6#7&F:7$F]`lF
/F[dlFho-F[x6#7&FV7$F]`lF3F_dlF`q-F[x6#7&Fho7$F]`lF7FcdlFhr-F[x6#7&F`q
7$F]`lF;FgdlF`t-F[x6#7$FhuF`w-F[x6#7&F:7$F?Fa\\lF^elFB-F[x6#7&FV7$F?Fh
^lFbelFfn-F[x6#7&F`q7$F?F]`lFfelFfq-F[x6#7&Fhr7$F?F_[lFjelF^s-F[x6#7&F
`t7$F?Fe[lF^flFft-F[x6#7&Fhu7$F?Fc`lFbflF^v-F[x6#7&F`w7$F?F[\\lFfflFfw
-F[x6#7$F>FY-F[x6#7&F[p7$F_[lF7F]glF[s-F[x6#7&F[s7$F_[lF?FaglF[v-F[x6#
7&Fct7$F_[lFCFeglFcw-F[x6#7&FY7$FCFh^lFiglFin-F[x6#7&Fcq7$FCF]`lF]hlFi
q-F[x6#7&F[v7$FCFc`lFahlFav-F[x6#7&Fcw7$FCF[\\lFehlFiw-F[x6#7&FB7$Fe[l
F/FihlF^p-F[x6#7&Ffn7$Fe[lF3F]ilFfq-F[x6#7&Ffq7$Fe[lF;FailFft-F[x6#7$F
^vFfw-F[x6#7$F^pFap-F[x6#7$F^sFas-F[x6#7$FftFit-F[x6#7$FfwFiw-F[x6#7&F
in7$Fc`lF3FdjlFiq-F[x6#7&Fap7$Fc`lF7FhjlFas-%%TEXTG6%7$F'Fa\\l%\"2G%*A
LIGNLEFTG-Fjjl6%Fax%\"1GF^[m-Fjjl6%FfxFa[mF^[m-Fjjl6%FjxF][mF^[m-Fjjl6
%F^yFa[mF^[m-Fjjl6%FbyF][mF^[m-Fjjl6%FfyF][mF^[m-Fjjl6%7$F'Fc`lFa[mF^[
m-Fjjl6%F`\\lF][m%+ALIGNABOVEG-Fjjl6%Fi\\lF][mFa\\m-Fjjl6%7$Fa\\lFCF][
mFa\\m-Fjjl6%7$Fa\\lFGF][mFa\\m-Fjjl6%FizFa[mFa\\m-Fjjl6%F^[lFa[mFa\\m
-Fjjl6%Fd[lFa[mFa\\m-Fjjl6%Fj[lFa[mFa\\m-Fjjl6%F`\\lFa[mF^[m-Fjjl6%Fe
\\lFa[mF^[m-Fjjl6%Fi\\lF][mF^[m-Fjjl6%F]]lFa[mF^[m-Fjjl6%7$F/Fc`lFa[mF
^[m-Fjjl6%Fd]lFa[mFa\\m-Fjjl6%Fh]lFa[mFa\\m-Fjjl6%F\\^lFa[mFa\\m-Fjjl6
%F`^lFa[mFa\\m-Fjjl6%7$F3Fa\\lF][mF^[m-Fjjl6%Fg^lFa[mF^[m-Fjjl6%F\\_lF
][mF^[m-Fjjl6%F`_lF][mF^[m-Fjjl6%Fd_lF][mF^[m-Fjjl6%Fh_lF][mFa\\m-Fjjl
6%F\\`lF][mFa\\m-Fjjl6%Fb`lF][mFa\\m-Fjjl6%Fh`lF][mFa\\m-Fjjl6%7$F7Fa
\\lF][mF^[m-Fjjl6%F_alFa[mF^[m-Fjjl6%FcalF][mF^[m-Fjjl6%FgalF][mF^[m-F
jjl6%F[blF][mF^[m-Fjjl6%F_blFa[mFa\\m-Fjjl6%FcblFa[mFa\\m-Fjjl6%FgblFa
[mFa\\m-Fjjl6%F[clFa[mFa\\m-Fjjl6%F_clFa[mFa\\m-Fjjl6%FcclFa[mFa\\m-Fj
jl6%FgclFa[mFa\\m-Fjjl6%F[dlFa[mF^[m-Fjjl6%F_dlFa[mF^[m-Fjjl6%FcdlF][m
F^[m-Fjjl6%FgdlFa[mF^[m-Fjjl6%FcclFa[mF^[m-Fjjl6%F^elF][mFa\\m-Fjjl6%F
belF][mFa\\m-Fjjl6%FfelF][mFa\\m-Fjjl6%FjelF][mFa\\m-Fjjl6%F^flF][mFa
\\m-Fjjl6%FbflF][mFa\\m-Fjjl6%FfflF][mFa\\m-Fjjl6%F^elF][mF^[m-Fjjl6%F
]glF][mF^[m-Fjjl6%FaglF][mF^[m-Fjjl6%FeglF][mF^[m-Fjjl6%FiglF][mFa\\m-
Fjjl6%F]hlF][mFa\\m-Fjjl6%FahlF][mFa\\m-Fjjl6%FehlF][mFa\\m-Fjjl6%Fihl
Fa[mF^[m-Fjjl6%F]ilFa[mF^[m-Fjjl6%FailFa[mF^[m-Fjjl6%FahlFa[mF^[m-Fjjl
6%FdjlFa[mFa\\m-Fjjl6%7$Fc`lF;Fa[mFa\\m-Fjjl6%7$Fc`lF?Fa[mFa\\m-Fjjl6%
7$Fc`lFGFa[mFa\\m-Fjjl6%FdjlFa[mF^[m-Fjjl6%FhjlF][mF^[m-%(SCALINGG6#%,
CONSTRAINEDG-%*AXESSTYLEG6#%%NONEG" 2 496 496 496 2 0 1 0 2 9 0 1 1 
1.000000 45.000000 45.000000 10030 10061 10056 10074 0 0 0 20040 0 
12010 0 0 0 0 0 0 0 1 4 0 0 0 18 69 0 0 0 0 0 1 }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "15 0 0" 26 }{VIEWOPTS 1 1 0 1 1 
1803 }