{VERSION 3 0 "IBM INTEL NT" "3.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 
0 1 2 1 2 0 0 0 0 0 0 }0 0 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 }{PSTYLE "R3 Font 0" -1 256 1 {CSTYLE "" 
-1 -1 "Helvetica" 1 12 0 0 255 1 2 1 2 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 
0 0 0 0 0 -1 0 }{PSTYLE "R3 Font 2" -1 257 1 {CSTYLE "" -1 -1 "Courier
" 1 11 128 0 128 1 2 1 2 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 
}}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 1171 "restart:  with(plo
ts):with(plottools):\nA:=([   0,  1,  0]) :\nA1:=([ 0.817, 0.470,  0.3
29]) :\nA2:=([   1,  0, sqrt(2)]) :\nA3:=([   1,  0,-1 -sqrt(2)/2]) :
\n\nB:=([   -1, 0,  0]) :\nB1:=([ -0.817, 0.470,  -0.329]):\nB2:=([   \+
0,  1,   -sqrt(2)]) :\nB3:=([   -1, 0, -1  -sqrt(2) -sqrt(2)/2]) :\n\n
C:=([   0, -1, 0]) :\nC1:=([ -0.329, -0.470,  0.817]) :  \nC2:=([   -1
, 0, sqrt(2)]) :\n\nC3:=([   -1, 0, -1 -sqrt(2)/2]) :\nX:=([   1, 0,  \+
0]) :\nX1:=([ 0.329, -0.470,  -0.817]) :\nX2:=([   0,  -1,  -sqrt(2) ]
) :\n\nX3:=([   1, 0,  -1  -sqrt(2) -sqrt(2)/2]) :\nE:=([  0,  0, sqrt
(2)/2]) :  \nF:=([  0,  0, -sqrt(2)/2]) :  \nE3:=([  0,  0, -1 -sqrt(2
)]) :  \nF3:=([  0,  0, -1-2*sqrt(2)]) :  \n\nP0:=polygonplot3d([[A,E,
X],[B,F,A],[E,B,C],[C,F,X],     \n [A,E,F],[C,E,F],[B,E,F],[X,E,F]]):
\nP1:=polygonplot3d([[A1,E,X],[B1,F,A],[E,B,C1],[C,F,X1],     \n [A,E,
F],[C,E,F],[B,E,F],[X,E,F]]):\nP2:=polygonplot3d([[A2,E,X],[B2,F,A],[E
,B,C2],[C,F,X2],     \n [A,E,F],[C,E,F],[B,E,F],[X,E,F]]):\n\nP3:=poly
gonplot3d([[A,E,C,F],[F,C, X2],[A,F,B2],\n                   [E3,X3,F3
,B3],[A3,X3,E3],[E3,B3,C3]]):\nP4:=polygonplot3d([[A,E,X],[B,F,A],[E,B
,C],[C,F,X],     \n [A,E,F],[C,E,F],[B,E,F],[X,E,F],[A,C,X],[B,A,X]]):
\n" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 77 "display(P0,style = pa
tch,scaling=CONSTRAINED,color=BLUE,orientation=[47,73]);" }}{PARA 13 "
" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 76 "disp
lay(P1,style = patch,scaling=CONSTRAINED,color=RED,orientation=[47,73]
);" }}{PARA 13 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 79 "display(P2,style = patch,scaling=CONSTRAINED,color=YE
LLOW,orientation=[47,73]);" }}{PARA 13 "" 1 "" {TEXT -1 0 "" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 77 "display(P3,style = patch,sca
ling=CONSTRAINED,color=CYAN,orientation=[47,73]);" }}{PARA 13 "" 1 "" 
{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 79 "display(P4,
style = patch,scaling=CONSTRAINED,color=ORANGE,orientation=[47,73]);" 
}}{PARA 13 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 0 "" }}}}{MARK "0 0 0" 427 }{VIEWOPTS 1 0 0 1 1 1803 }