M7R0
I/convex/dehomogf*6#'%"hG%$vecG6"F(F(7$&9$6#;"""!"#&F+6#!""F(F(F(F(,
I.convert/PFACEf*6#%"xG6#%$fcnGF(F(C$@%-%)assignedG6#&%'CONVEXG6#9!>8$F>>FC&-%#
opG6$F.F+F@@%-%%typeG6$FC%*procedureG-FC6#9"-.FAFOF(6#F?F(F(,
I.convex/affinef*6#'%"vG%%listG6#%"aGF(F(C$>FCF0@%/FC""!F**&F*F.FCF2F(F(F(F(,
I)type/ray-%)specfuncG6$F'%$rayGF(,
I)type/vec<%-FY6#%)rationalG-%'vectorGFdo-%'VectorGFdoF(,
I*type/line-F^o6$F'%%lineGF(,
I)type/mat<%7"-%'matrixGFdo-%'MatrixGFdoF(,
I4convex/projection_1f*6#'%"PG<$%%CONEG%+POLYHEDRONG6/%"dG%"iG%"jG%#llG%#rlG%#e
qG%%ineqG%&neweqG%(newineqGF&%$satG%&sat2iG%#PsGF(F(C)>FC-FG6$""#F+>8)-FG6$""'F
+>8*-FG6$""(F+>8'-%/convex/lelim_1G6#-FG6$""$F+>8(-F\s6#-FG6$""%F+@%-%+std/exis
tsG6%f*F5F(6$%)operatorG%&arrowGF(0&F+6#F/FjnF(F(F(F`r8%C&>8-*&&F`r6#FctF.&F`r6
$FctF/F2>8+-%/convex/lelim_2G6$F`rFft>8,-F_u6$FerFft>80-&F\q6#.%%_c2pG6#-&F[q6#
.%%_newG6(,&F\rF.F2F.FjrFbs-FG6$""&F+-&F?6#.%+_gausselimG6$F]uFbu-FG6$"")F+C&>8
.Fdv>F]u-%%map2G6%%'subsopG/F/%%NULLGF`r>FfuFiw?(FctF.F.-%%nopsG6#Fer%%trueGC&@
%1&FerF[uFjn\>Fft*&&FerFitF.FcxF2>FbuFcu>8/&F]wFit>Ffu6$Ffu-Fhu6#-%.convex/redu
ceG6#-F^v6),&FCF.F2F.Fjr7#-%$seqG6$&Fbs6#8&/F\zFjx7#-Fhy6$&FbwF[zF]zF]uFbuF`p-&
%)PCOMPLEXG6#.%%_fanG6$7#Ffu%&falseGF(F(F(F(,
I3convex/dotprodwithf*6#FX6#F_qF(F(-%(unapplyG6$-%"+G6#-Fhy6$*&&F+6#FCF.&%"wGFi
[lF./FC;F.-F]x6#F+7#F[\lF(F(F(F(,
I1convex/reducevecf*F][l6#%"nGF(F(C$>FC-%%igcdG6#-FGF_\l@%FinF+*&F+F.FCF2F(F(F(
F(,
I2convex/reduceqvecf*F][l6$Fd\l%#vlGF(F(C%@%-FK6$F+FY>FctF+>Fct-%(convertGFd]l>
FC-Fh\l6#-FG6#-%$mapG6$%&numerGFct@%FinFct*(-%%ilcmG6#-FG6#-F_^l6$%&denomGFctF.
FCF2FctF.F(F(F(F(,
I3convex/combinevecsf*6$FXF[\lF(F(F(-Fa\l6#,&*&&9%6#F^rF.&F+6#F.F.F.*&&F+Fe_lF.
&Fd_lFg_lF.F2F(F(F(F(,
I3convex/maximalsetsf*6%'%"lG-FY6#%$setG'%$minG%(integerG'%$maxGFe`l6%%#nlGF_q%
"mGF(F(C(>FC7#-Fhy6$7$Fct-F]x6#&F+Fit/FctF]\l@$/9#F`s>FC-%'removeG6$f*F5F(F(F(5
2Fi_lT$2T&Fi_lF(F(6&Fd`lFd_lFg`l9&FC>FC-F_^l6$f*F5F(F]tF(Ff_lF(F(F(-%%sortG6$FC
f*6$F6%"yGF(F]tF(-%&evalbG6#1Fc_lFi_lF(F(F(>F\zF`p?&FctFCF_x@$4-Fjs6$f*F5F(F(F(
-%'subsetG6$&F_bl6#T%&F_blF_\lF(F(6&F_`lF+F_qFctF\z>F\z7$-FGF[zFctF\zF(F(F(F(,
I4convex/transposesatf*6$'FgqFY'%(entriesG%*nonnegintG6%%%sat2GF_qF`qF(F(C%>FC7
#-%"$G6$<"Fd_l?(FctF.F.F^\lF_x?&F\zFcalF_x>FC-Fgw6$/F\z-%&unionG6$&FCF[z<#FctFC
FCF(F(F(F(,
I1convex/mat/homogf*6$'%"AG%)listlistGFWF^[lF(F(7$-Fhy6$7$-FG6#Fh[l&Fd_lFi[lF\\
l-%.convex/originG6#,&-F]x6#Ff_lF.F.F.F(F(F(F(,
I2convex/shiftarrayf*6#Fcfl6&F_q%#i0G%#i1G%"BGF(F(C'>Fct-FG6$7$F^rF.-%%evalGF_\
l>F\z-FG6$7$F^rF^rF^hl>Fjr-%&arrayG6#;,&FctF.F2F.,&F\zF.F2F.?(FCFctF.F\zF_x>&Fj
r6#FeyFh[l-F_hl6#FjrF(F(F(F(,
I1type/POLYHEDRON1f*F5F(F(F(3-FK6$F+F\q0FesF`pF(F(F(F(,
I1type/POLYHEDRON0f*F5F(F(F(3Fdil-&F[q6#.%)containsG6$F+-F]gl6#F\rF(F(F(F(,
I2type/POLYHEDRON_0f*F5F(F(F(3Fdil-&F[q6#.%/containsrelintGF_jlF(F(F(F(,
I3type/POLYHEDRON__0f*F5F(F(F(3-FK6$F+%-POLYHEDRON_0G/FarF`pF(F(F(F(,
I3convert/POLYHEDRONF4F(,
I2polyhedron/&x/rayf*6$FX%#roGF(F(F(-Fgw6$-FG6#Fd_lF+F(F(F(F(,
I3polyhedron/&x/conef*6#%#P1G6+Fip%#PdGF^qF_q%$eqsGFXFd\lFe[m%#hoGF(F(C->FC-&F[
q6#%#&xGFO>Fct-FG6$F^rFC>FbsFiw>FerF\r>F`r,$-F]glF^xF2>FbuFiw?(FjrF^rF.FgalF_xC
&>Fbu6$FbuFer>F\z-FG6$F^r&FPF`il>Fbs6$Fbs-%-convex/embedG6'FctF`rFjn-F]glF[zFer
>Fer,&FerF.F\zF.>FC-%/convex/motzkinG6%FC7#FbsF`p>Fbu7#Fbu>F]u-F_^l6$f*F5F(F]tF
(/F+FiwF(F(F(Fbu-Fay6#-F^v6),(FctF.FgalF2F.F.-F_^l6%Fb[m-FG6$F`sFCF]u-F_^l6%Fb[
m-FG6$FgsFCF]u-FG6$FfvFC-F_^l6&%5polyhedron/&x/hspaceG&-FG6$FcrFC6#;F.,$FgalF2F
]uFbu-F_^l6&F^`m-FG6$FhrFCF]uFbu-FG6$F_wFCF(F(F(F(,
I1convert/PCOMPLEXF4F(,
I3convex/lindiosolvef*6&'%#rdG%'posintG'FcqFY'FdqFY'%#RSGFb`l6-F^qFcfl%#AtGF_qF
`q%"MGFipF]cl%#AyG%%yincG%#v0GF(F(C--%)userinfoG6*F`s%'convexG-F]xFi[m.%.equati
ons~andG-F]x6#Fcbl.%0inequalities~inGF+.%+dimensionsG@$3/Fd_lF`p/FcblF`p-%'RETU
RNG6#-%#ifG6%/FgalFgsF`p-&F?6#.%'_idmatGF_\l>FCFdbm>Fct7$Fh[m-Fhy6$7&-FG6#,$&Fc
blF`ilF2-Fael6$Fjn,&FjrF.F2F.F.-Fael6$Fjn,&FCF.FjrF2/Fjr;F.FC>F\z-&F?6#.%+_tran
sposeGFit>FC,&FCF.F+F.>Fer-FfcmFi[l>F`rF`p>Fbw7#-Fael6$Fjn-F]xFit?(F(F.F.F(0Fer
F`pC&>F]u&FerFg_l>Fer-Fgw6$/F.FiwFer>Fbu-&F?6#.%+_matvecmulG6$FctF]u@&/FbuFbw@$
4-%'memberG6$F]uF`rC$@$3Fdcm4-Fagm6$&F]u6#;F.F+9'-F_cm6#7#Figm>F`r7$-FG6#F`rF]u
4-Fjs6$f*F5F(F(F(-%6convex/lindiosolve/<=G6$F+T#F(F(6$F]clF]uF`r?(FjrF.F.FCF_x@
$2-%/convex/dotprodG6$&F\zF`ilFbuFjnC$>Fft-Fgw6$/Fjr,&&F]uF`ilF.F.F.F]u@$4-Fagm
6$FftFer>Fer7$-FGF^xFft-F_^l6$f*F5F(F(F(&F+6#;F.F_blF(F(6$F`amF+F`rF(F(F(F(,
I4convex/hilbertbasisf*6%'%$allG%(booleanG'%"CGF[q'Fhgl%%nameG6)F_`l%"rGF&F^q%"
UG%"VGFdqF(F(C.>Fct-FG6$FgsFd_l>FC-FG6$F`sFd_l@$3/FctF`p/FCF`pC$@$Ffal>FcblFC-F
_cmFit-&F?6#.%*_hermite3G6&-F^em6#7$-FGFi[l-FGFitF_xFbsF`r@$Ffal>Fcbl&F`r6#;F.-
F]xFi[l@$F`\n-F_cm6#F`p>Fjr-&F[q6#.%$dimGFi[m>Fbs&Fbs6#;,&Ff]nF.F.F.Fjr>F`r&F`r
Fb^n>Fjr,&FjrF.Ff]nF2>Fer-Fjal6%Fagm-F_^l6$Fa\l-&F?6#.%+_matmatmulG6$F`r-FG6$Fh
rFd_l-Fh]l6$-FfcmF`ilFb`l-F__n6$-F^emFchm-F\am6&FjrF`pFer-Fbcm6%F+Fiw-Fh]l6$-F_
_n6$FbsFctFb`lF(F(F(F(,
I2face/volume/volobf*6#%"FG6.%#rnGFd\lF&%#FLG%#viG%#BLGFf[nFhgl%#BVG%#OBGFXF_q6
#%)rememberGF(C$>FCF\r@'2F^rFf]nC)>Fjr-&%&PFACEG6#.%'facetsGF_\l>Fbs-FG6$F.F\r>
Fbw&%5face/volume/verticesG6#Fbs>F`r-Fjal6$f*6#%"fGF(F(F(-Fagm6$F[imF\rF(F(6$F[
anFbsFjr>FerFjn?&F]uF`rF_xC'>6$FbuFft-Fd`n6#F]u>Fct,&FbwF.&Fbbn6#-FG6$F.-FG6$F^
rF]uF2>Fct-Fc[l6$Fct-Fhy6$*(-Faim6$Fct&FjxFg_lF.FddnF.&FjxFe_lF./FjxFft>F\z-Fai
m6$FctFct>Fer,&FerF.*&FbuF.-%%sqrtGF[zF.F.6$*&-%)simplifyG6$FerF^enF.,&-F]x6#Ff
tF.F.F.F27$-FGFfen7$Fct,$*$F\zF2F2/Ff]nF^rC%>Fct,&&Fbbn6#Fi\mF.&Fbbn6#-FG6$F.FC
F2>F\zFhdn6$F]en7#Fien6$Ff]nF`pF(6#FbbnF(F(,
I0convex/affh2rayf*6#'F&<$%*affhplaneG%*affhspaceGF(F(F(@%-FK6$FFFeo-%-convex/h
omogG6$F\r,$FFF2,$-Ffgn6$FF,$F\rF2F2F(F(F(F(,
I-convex/embedf*6''Fd\lFjdl'%#L1GFY'FgglFjdl'%#L2GFY'%#i2GFjdlF(F(F(@'Ffal7%-Fa
el6$FjnFcblFh[m-Fael6$Fjn,(F+F.FcblF2FabmF22Fcbl9(7'FjhnFh[m-Fael6$Fjn,(F`inF.F
cblF2FabmF2-FG6#F\hm-Fael6$Fjn,(F+F.F`inF2-F]xFfinF27'-Fael6$FjnF`inFein-Fael6$
Fjn,(FcblF.F`inF2FjinF2Fh[mF\inF(F(F(F(,
I'CONVEX=F(FjzE\[lU%(voronoiGf*F(6%%#alGF^qFipF(F(C)>FC7#FP@&Fa\n-%&ERRORG6#QCc
annot~determine~ambient~dimensionF(4-FK6$FC-FY6#F'-F][o6#Q9illegal~argument~typ
e(s)F(>FC-F_^l6%Fh]lFCFY@)4-FK6$FCFdfl-F][o6#QEarguments~must~lie~in~the~same~s
paceF(/-FGF@.Fdjn>FC-F_^l6$f*F5F(F]tF(-%/convex/homog_1G6%,$F+F/F.-Faim6$F+F+F(
F(F(FC/Fc\o.%)delaunayG>FC-F_^l6$f*F5F(F]tF(-Fj\o6%F+F]]oF.F(F(F(FC>FC-F_^l6$f*
F5F(F]tF(-Fj\o6%F+,$F]]oF2F.F(F(F(FC>Fct-F]x6#&FCFg_l@%Fb\o>F\z-&F[q6#.%._inter
sectionG6&Fct7#-&F?6#.%/fullpolyhedronG6#FihlF`pFC>F\z-&F[q6#.%&_hullG6&FctF`pF
`pFC-FepF[zF(F(F(%+wprojspaceGf*F(6$FgjnFe[nF_anF(C$>FCFjjn@'5Fa\n4-FK6$FC-FY6#
Faam-F][o6#QAarguments~must~be~of~type~posintF(/Ff]nF.-&F?6#.%(zerofanG6#FjnC$-
&F?6#.%-_hermite2invG6%-F_^l6$f*F5F(F]tF(7#F+F(F(F(FCF_xFct-&F\q6#.%(facefanG6#
-&F?6#.%)convhullG6#-FG6#-Few6%FgwFdfm-&F?6#.%)_inverseGFitF(F(F(Ficmf*6#'F^qFj
dlF^[lF_anF(7#-Fhy6$7%-Fael6$FjnFeyF.-Fael6$Fjn,&F+F.FCF2/FCF[hmF(F(F(6$F^jlFYf
*6$Fd[nF_[n6#FbqF(F(C$>FC-F]]lF_\l@'2F^rFgal-F][o6#Q3too~many~argumentsF(/-FG6$
F^rFd_lFf]n-%-contains/rayG6$-&F[q6#.%&_dualGFi[mF+F_\oF(F(F(%+affinehullGf*F(6
%Fgjn%#ClGFaqF(F(C&>FCFjjn>Fct-F_^l6$&F\q6#.%-convert/CONEG-%'selectG6%FKFCF\q>
F\z7%-FG6#-F_^l6%Ffgn-Fbfo6%FKFCF'F.-FG6#-F_^l6%Ffgn-F_^l6$FG-Fbfo6%FKFCF]pFjn-
FG6#-F_^l6%Ffgn-F_^l6$FG-Fbfo6%FKFCF`oFjn@%5/FgalFjn0,&F[fmF.-F]xF[zF.Fgal-F][o
6#QParguments~must~be~(affine)~rays,~lines~or~conesF(-&F[q6#.Fa[m6#-&F[q6#.%+li
nearhullG6$F`]nFcdlF(F(F(%.permutahedronGf*6#'F^qFaamF(F(F(@%2F.FgalFfdo-Fbbo6#
-FG6#-Few6%Fgw/F2Fiw-&%)combinatG6#.%(permuteG6#7#-Fael6#;F.,&F+F.F.F.F(F(F(%,_
gausselim2Gf*6$'FcflFY'%#A2GFY6&Fhgl%#B2G%"sGF`qF(F(C'>FCF+>FctFd_l>FjrFjn?&F\z
FCF_xC%?(Fjr,&FjrF.F.F.F.F(/FcimFjnF(>F\z*&F\zF.FcimF2>Fct-F_^l6$f*F][lF(F(F(,&
F+F.*&&F+6#F[imF.F^dlF.F2F(F(6&F`qFjrFa[pF\zFct-F_^l6$F]]lFctF(F(F(Fjfmf*6$Fcfl
FXF(F(F(-F_^l6$-F[[lFi[mF+F(F(F(6$F^jl&Fio6#%$rowGF^doF^jlf*F56$F8%"TGF(F(C%>Fc
t-FG6$FjnF+@%/Fct.%%_OBJG>FC&FF6#Fc\o>FC&F?6$Fc\oFct@%FJFN-F][o6#Q3method~not~d
efinedF(F(FSF(%.emptypolytopeGf*FacoF(F_anF(@%FeioFfdo-Fgw6$/F..F\q-Fj]p6$-FG6#
-&F?6#.%)zeroconeG6#FhjoFjnF(F(F(F^iof*F(6'FgjnFgeoFaqF^qF`[nF(F(C(>FCFjjn>Fct-
Fbfo6%FKFCF[q>F\z-F_^l6$F]]l7$-FG6#Fjfo-FG6#F`go@$F]ho-F][o6#QGarguments~must~b
e~rays,~lines~or~conesF(>Fjr-Fbcm6%/F\zF`p-FG6$F^r&FctFg_l-F]x6#&F\zFg_l@%5-Fjs
6$f*F5F(F(F(0F\rF[imF(F(6$F^qFjrFct30F\zF`p50FaapFjr4-FK6$F\zFdflF_\o-Fd_o6&Fjr
F`p7%-Fhy6$-FG6#-FG6$F`sFbs/FbsFct-Fhy6$-FG6#-FG6$FgsFbsF[cpFcdlF`pF(F(F(%)read
polyGf*6#'%#fnG%'stringG6+%#fdG%$secGF_`l%%dataGFd\lF^qFipFgqF\elF(F(C-@$FeioFf
do>FC-%&fopenG6$-%$catG6$F+Q&.polyF(%%READG?(F(F.F.F(4-%%feofGFi[lC&>Fct-%'ssca
nfG6$-%9convex/readpoly/readlineGFi[lQ#%sF(@$/FctFjnFdx>Fct-Fh]l6$F`apFb[n@+-Fa
gm6$Fct%;convex/readpoly/matrixsecsGC$-F^bm6&FgsF\q.%0reading~sectionGFct>&FjrF
it-%7convex/readpoly/matrixGFi[l-Fagm6$Fct<&.%,AMBIENT_DIMG.%+N_VERTICESG.%)N_F
ACETSG.%$DIMGC$F]fp>Fbfp&-F^ep6$F`epQ#%dF(Fg_l-Fagm6$Fct<$.%3VERTICES_IN_FACETS
G.%5FACETS_THRU_VERTICESGC$F]fp>Fbfp-%:convex/readpoly/listofsetGFi[l3/Fct.%,DE
SCRIPTIONG1F^r&%*infolevelG6#F\qC$-F^bm6&F^rF\q.%3displaying~sectionGFct?(F(F.F
.F(F_xC%>F\zF`ep@$/F\zQ!F([-%'lprintG6#-Fh]l6$F\zFb[nC$-F^bm6&FgsF\q.%1skipping
~sectionGFct?(F(F.F.F(0F]epFjnF(-%'fcloseGFi[l@%-F<6#&Fjr6#Fhfp>Fbs,&FfjpF.F.F.
-F_^l6&%5convex/readpoly/nopsGF[fpFjrFbs@$4-F<Fcbn-F][o6#QPcannot~construct~pol
yhedron~from~the~given~dataF(@&-F<6#&Fjr6#.%,AFFINE_HULLG>Ff[q-FhvFe[q-F<6#&Fjr
6#.%*EQUATIONSG>Ff[q-FhvF]\q@(-F<6#&Fjr6#F^gp>F`r,&Fg\qF.F.F.Fd[q>F`r-F]xFe[q-F
<6#&Fjr6#.%)VERTICESG>F`r-F]x6#-FhvF^]q@$3-F<Fchm/FbsF`r>Ff[qF`p@-33F]]q-F<6#&F
jr6#.%'FACETSGFd[qC%@)-F<6#&Fjr6#FigpC$>FbuFi^q>F]u-Fbcm6%-F<6#&Fjr6#F[hpFb_q-F
ddl6$Fbu-F]xF^]qF`_qC$>F]uFb_q>Fbu-Fddl6$F]u-F]xF`^q2Ff_qF\`qC$>Fbu-%8convex/re
adpoly/makesatG6$Fa^qF_]q>F]uFd_qC$>F]u-Fa`q6$F_]qFa^q>FbuFj_q-F^bm6%F`sF\q.%Fd
escription~of~polyhedron~is~completeG>Fer-F^v6(FbsF`pF_]qF]u-Fhv6$Ff[qFa^qFbuF]
]qC$-F^bm6%F`sF\q.%Fconstructing~polyhedron~from~VERTICESG>Fer-Fd_o6&FbsF`pF`pF
_]q3F_^qFd[qC$-F^bm6%F`sF\q.%Tconstructing~polyhedron~from~FACETS~and~AFFINE_HU
LLG>Fer-Ff^o6&FbsF`pFf[qFa^q-F<6#&Fjr6#.%'POINTSGC$-F^bm6%F`sF\q.%Dconstructing
~polyhedron~from~POINTSG>Fer-Fd_o6&FbsF`pF`pFebq3-F<6#&Fjr6#.%-INEQUALITIESGFd[
qC$-F^bm6%F`sF\q.%Zconstructing~polyhedron~from~INEQUALITIES~and~AFFINE_HULLG>F
er-Ff^o6&FbsF`pFf[qFdcqF`[q-FhuF^xF(F(F(%+posorthantGf*Faco6&Fd[n%"SGFgqF_qF_an
F(C'@$FeioFfdo>FCFecm>Fct<#-FaelFjgm>F\z7#-Fhy6$-%&minusG6$Fct<#Fjr/FjrF[hm-F^v
6)F+F`pFCF\zF`pFCF\zF(F(F(6$F^jl%#<=Gf*6$Fdq'Fip<$F'F\q6$FaqFXF(F(C$>FC-F[gnF_\
l@)FedoFfdo-FK6$Fd_lF'C$>Fct-Ffgn6$Fd_lF.@%/F[fmFf]n-F_cl6#1Fjn-Faim6$FCFctF_\o
Fido-F]eo6$F_eoFCF_\oF(F(F(%*writepolyGf*6%'Fip%,POLYHEDRON1GFecp'%%infoGFgcp6'
Ficp%$fmtGF^qFa[pF_qF(F(C1@&2F`sFgalFfdo4-%5polyhedron/ispointedGF_\l-F][o6#Q;p
olyhedron~must~be~pointedF(>FC-F`dp6$-Fcdp6$Fd_lFedp%&WRITEG-%(fprintfG6$FCQY#~
created~by~the~Maple~package~`convex'~version~VERSION|+F(>F\zF\r>Fct-Fcdp6$-Fae
l6$Q$~%dF(F\zQ"|+F(@$Ffal-Fihq6%FCQ1|+DESCRIPTION|+%s|+F(Fcbl-Fihq6(FCQU|+AMBIE
NT_DIM|+%d|+|+DIM|+%d|+|+N_VERTICES|+%d|+|+N_FACETS|+%d|+F(Fjhl-%/polyhedron/di
mGF_\l-F]xFds-F]x6#Ffr-%8convex/writepoly/matrixG6&FCQ)VERTICESF(FctFes-Fajq6&F
CQ'FACETSF(FctFfr-Fajq6&FCQ,AFFINE_HULLF(FctFar-Fihq6$FCQ5|+VERTICES_IN_FACETS|
+F(-Few6%%5convex/writepoly/setGFCF]w-Fihq6$FCQ+|+FAR_FACE|+F(-F_[r6$FC<#-Fael6
#;F.-%$absG6#-FG6$""*F+FajpF(F(F(%.crosspolytopeGf*Fbio6&%"cGF_`lF_qFXF(F(C$@'F
edoFfdo/FgalF.>FjrF.>Fjr&FPFe_l-Fbbo6$-Fhy6$7%-Fael6$FjnFjhlFjr-Fael6$Fjn,&F+F.
F\zF2/F\zF[hm-Fhy6$7%F^]r,$FjrF2F`]rFc]rF(F(F(%1furthestdelaunayGFejn%,iscontai
nedGf*6$%%arg1G%%arg2GF(F(F(-&F?F\jl6$Fd_lF+F(F(F(Fb_nf*6$FcflFhglF(F(F(-Few6%F
gfmF+Fd_lF(F(F(%*_hermite1Gf*6$'FhglFY'%%fullGF^[n6,FcflFfglF_qF`qFj`lF^q%#a1G%
#a2G%#c1G%#c2GF(F(C(@$/F+F`pFh]n>FCF+>FbsFf]n>FctF.?(FjrF.F.F`^o1FctFbsC'>Fer&F
C6$FctFjr?(F\z,&FctF.F.F.F.FbsF_xC)>F]u&FC6$F\zFjr@$/F]uFjnFdx>F`r-%'igcdexG6&F
erF]u.Fbu.Fft>Fer*&FerF.F`rF2>F]u*&F]uF.F`rF2>FC-Fgw6%/Fct,&*&FftF.F]flF.F.*&Fb
uF.&FCFitF.F./F\z,&*&FerF.F]flF.F.*&F]uF.FearF.F2FC>FerF`r@&/FerFjnFdx2FerFjnC$
>Fer,$FerF2>Fear,$FearF2@$Fd_l?(F\zF.F.FfdmF_x>FC-Fgw6$/F\z,&F]flF.*&-%&floorG6
#*&F``rF.FerF2F.FearF.F2FC>FctF]`rFCF(F(F(Fa]oFejn%$fanGf*F(6%FgeoFc]pFg`nF(F(C
%>FCFjjn@'/Fc\o.F`cr@%-FK6$FC-FY6#<$F[q%$FANG>FctF^drFe[o-FK6$FC-FY6#<$F\qFdz>F
ctFdzFe[oZ%>F\z-&FctFez6$-F_^l6$f*F5F(F(F(@%-FKFjhm-FG6#-&F[im6#.%(maximalGF_\l
F+F(F(6$Fc]pFctFCF_xFcip-F][o6#%*lasterrorGF(F(F(%+stdsimplexGf*Fbio6$F_qFXF(F(
C$@'FedoFfdoFe\r>FctF.>FctFh\r-Fbbo6$7#-FaelFg]p-Fhy6$7%FgcoFctFicoF\doF(F(F(%*
projspaceGf*6#F`hnF(F_anF(@%FeioFfdo-F\bo6#-Fbbo6$-FG6#Fecm7#-Fael6$F2F+F(F(F(F
ebof*F(6)Fgjn%#PlGFd[nF_`lFd\l%"LGF`[nF(F(C+>FCFjjn>Fjr-F_^l6%Ffgn-Few6%FGF.Fbg
oFjn>F\z7$-FG6#-F_^l6%Ffgn-Few6%FGF.FjgoFjnFffo>Fct7$-FG6#-F_^l6$&F[q6#.%/conve
rt/affineGF\`p-FG6#Fafo>Fbs,(-F]xF`ilF.FahoF.F[fmF.@$5/FbsFjn0FbsFgalFg`p>F`r7$
-FGF`ilFcdl>Fbs-Fbcm6%0F`rF`p-F]x6#&F`rFg_lF^ap@%3-%+std/forallG6$f*F5F(F(F(/F\
rF[imF(F(6$Fd\lFbsFct5/F`rF`p3/FcjrFbs-FK6$F`rFdflC%>Fer-Fd_o6&FbsFctFjrF\z>F\z
-FG6$FgsFer@%5-Fjs6$%.ray/_isaffineGF\z30FbsF./-F\^nF^xFjnF`dqC$-%(WARNINGG6#Q:
no~affine~point~specifiedF(-&F?6#.%0emptypolyhedronG6#,&FbsF.F2F.F_\oF(F(F(%._l
atticebasisGf*6#'Figr<$F`pFdfl6#Ff[nF(F(C$-Fbao6%-F^em6$F+FjnFjzFC&FC6#F]\lF(F(
F(6$F^jl%"=Gf*6$FcqFjeqF\fqF(F(C$>FCF_fq@)FedoFfdoFafqC$>FctFefq@%Fhfq-F_cl6#/F
\gqFjnF_\oFido-%.contains/lineGF_gqF_\oF(F(F(6$F^jl&Fio6#%'columnGF^doFe_pf*Fac
oF(F_anF(@%FeioFfdo-F^v6)F+F`pF`pF`pFecmF`pF`pF(F(F(F]]sFg^p%/randompolytopeGf*
6%FcioF`hn'Fg`lFaam6%Fb\rF_qF`qF(F(C%@$F[hqFfdo>FC-%%randG6#;,$FcblF2Fcbl-Fbbo6
#-Fhy6$7#-Fhy6$-FCF(Fc]r/Fct;F.Fd_lF(F(F(%*lensspaceGf*6#'%"pGFaam6'FgjnFcflFe[
nFb\rF_qF_anF(C(>FC7#&FP6#;F^rF2@&Fa\n-F_cm6#-Fb_pF_ao4-FK6$FC-FY6#Fe`l-F][o6#Q
@weights~must~be~of~type~integerF(>Fct-Fbao6%-F_^l6$f*F5F(F]tF(FjaoF(F(F(FCF_xF
\z>F\z-F\coF[z>Fjr*&F+F.-Fh\l6$F+&Fct6$F.F.F2-&F?6#.%(poshullG6#-Fhy6$7$*&FjrF.
&F\z6$FbsF.F.-FG6$Ffas&F\zFcbn/Fbs;F.FahoF(F(F(%(dotprodGf*6$'FXF''F[\lF'6$F_qF
d\lF(F(C$>Fct-Fbcm6%Fc]lF^\l-Fbcm6%-FK6$F+FioFFFahl@%0Fct-Fbcm6%-FK6$Fd_lFYFabm
-Fbcm6%-FK6$Fd_lFio-FG6$F.Fd_l-FG6$Fchl-F_hlFi[mF_\o-Fc[l6#-Fhy6$*&Fh[lF.F[glF.
/FC;F.FctF(F(F(Fecsf*F(6)FgjnFgeoFhgrFd[nF_`lFd\lFigrF(F(C,>FCFjjn>Fbs-F_^l6$F]
]lF_hr>Fjr-F_^l6$F]]lFjfo>FctF\`p>F\zFafo>F`r,*-F]xFcbnF.FgirF.F[fmF.FahoF.@$5/
F`rFjn0F`rFgalFg`p>Fer7$-FGFcbnF^jr>F`r-Fbcm6%F]fm-F]x6#F`fm-Fbcm6%0FctF`pF^ap,
&-FG6$F^rFcapF.F2F.@%33-Fijr6$f*F5F(F(F(F\[sF(F(6$Fd\lF`rFct-Fijr6$f*F5F(F(F(/F
\r,&F[imF.F.F.F(F(F]isF\z5/FerF`p3/F_hsF`r-FK6$FerFdfl-Fd_o6&F`rFct7$-FG6#-F_^l
6$f*F5F(F]tF(-FG6#-&F\q6#.%&linesGF_\lF(F(F(F\zF[hs7$-FG6#-F_^l6$f*F5F(F]tF(-FG
6#-F_^l6$f*6#F]clF(F]tF(-Fa\l6#&-F"F_\lFg_lF(F(F(FesF(F(F(F\zF^jrF_\oF(F(F(%)pc
omplexGFacrF`_of*Faco6#%"bGF_anF(C%@$FeioFfdo>FC-FfcmFf_p-Fj]p6+F\_pFhjo&FCFjgm
7#&FCF17#FcelF`pFc\tFe\tFjnF(F(F(Feaof*6%Fh^rFi^r'%#V_G%&evalnG6-FcflFf[nFfglF_
qF`qFj`lF^qF\_rF]_rF^_rF__rF(F(C*@$Fb_rC$>FcblF`pFh]n>FCF+>F`rFf]n>Fct-FfcmFchm
>F\zF.?(FbsF.F.F`^o1F\zF`rC'>F]u&FC6$F\zFbs?(Fjr,&F\zF.F.F.F.F`rF_xC*>Fbu&FC6$F
jrFbs@$/FbuFjnFdx>Fer-Ff`r6&F]uFbuFi`r.Fbw>F]u*&F]uF.FerF2>Fbu*&FbuF.FerF2>FC-F
gw6%/F\z,&*&FbwF.&FCF`ilF.F.FcarF./Fjr,&*&F]uF.Fa_tF.F.*&FbuF.F]flF.F2FC>Fct-Fg
w6%/F\z,&*&FbuF.&FctF`ilF.F.*&F]uF.&FctF[zF.F./Fjr,&*&FftF.F\`tF.F.*&FbwF.F^`tF
.F2Fct>F]uFer@&Fc`rFdx2F]uFjnC%>F]u,$F]uF2>F]fl,$F]flF2>F^`t,$F^`tF2@$Fd_l?(Fjr
F.F.F_]sF_xC%>Fbu-F\cr6#*&F_^tF.F]uF2>FC-Fgw6$/Fjr,&Fa_tF.Fe_tF2FC>F^`t,&F[`tF.
F^`tF.>F\zF\^t>FcblFctFCF(F(F(%)fullconeGf*FacoF(F_anF(@%FeioFfdo-F^v6)F+FecmF`
pF`pF`pF`pF`pF(F(F(F^aof*FacoF(F_anF(@%FeioFfdo-&F^drFez6$7#-Fb_pF_\lFjzF(F(F(%
%_detGf*6#'%#A_GFY6(F^qFd\lFcflF_qF`qFXF(F(C)@$Fb_r-F_cmFg_l>FCF.>F\zF+>FctFaho
@$0FaapFct-F][o6#Q4not~a~square~matrixF(?(FjrF.F.FctF_xC'?(FbsFjrF.Fct/&F\z6$Fb
sFjrFjnF(@&2FctFbs-F_cmF_ao0FbsFjrC$>FC,$FCF2>F\z-Fgw6%/FjrF_ds/FbsFcimF\z>F`r*
&FcimF.&F\z6$FjrFjrF2>FC*&FCF.F^etF.?(Fbs,&FbsF.F.F.F.FctF_x>F_ds,&F_dsF.*&F^dt
F.F`rF.F2FCF(F(F(%*_homologyGf*6&'FfglFe`l'FgglFe`l'Fcfl%&ArrayG'F^qFM6$F_q%#rk
GF(F(C$?(FCFhjoF.Fd_lF_xC&@$5/&FcblF^ilFjn/&FcblFi[lFjnFdx>Fct-F]x6#-Fhv6#-F\hm
Fi[l>Fgft,&FgftF.FctF2>Fift,&FiftF.FctF2FcblF(F(F(Faemf*6$'Fcfl<&FdpFbpF`pFdfl'
%&ncolsGFjdl6&Fj`lFd\lF_qF`qF(F(C$@'4Fc]lC$>Fct-FG6$7%F^rF.F^rF^hl>FC-FG6$7%F^r
F^rF^rF^hlFb_rC$>FctF^\l>FCFd_lC$>FctF^\l>FCF`gl7#-Fhy6$7#-Fhy6$&F+Fa`r/F\zFefs
FjdmF(F(F(%.emptypcomplexGf*FacoF(F_anF(@%FeioFfdo-Fcz6$7#-Fj\sF_\lFjzF(F(F(6$F
^jlF]pf*6$F_`lF_[n6#FaqF(F(C$>FC-F]]l6#FF@'FedoFfdoFidoFj^sF_\oF(F(F(%/cyclicpo
lytopeGf*6$Fcio'Fd\lFaam6$F_qF`qF(F(@%FedoFfdo-Fbbo6#-Fhy6$7#-Fhy6$)FCFct/FctF[
hm/FC;Fjn,&Fd_lF.F2F.F(F(F(F[wf*F[[p6*FhglF`[pF_qF`q%"kGFj`lFd\lFa[pF(F(C(>F`rF
^\l>Fer-Fbcm6%FggsFjnF`gl>FCF+@$/FgalF^r>FctFd_l>FjrFjn?(F\zF.F.F(F_xC&?(FjrFi[
pF.FerF_xC$?(FbsF\zF.F`r/&FCF_dtFjnF(@$1FbsF`rC$>FC-Fgw6%/FbsF]fl/F\z*&&FCFcbnF
.Fj\uF2FCFdip@'1FjrFer>F]uF]flFa\u-F_cm6$-F_^l6$F]]l&FC6#;F.FjhlFf\p-F_cm6#Fj]u
>FC-Fgw6$/F\zF]fl-F_^l6$f*F][lF(F(F(Fa\pF(F(6&F`qFjrFa[pF]uFC@$Fa\u>Fct-F_^l6$f
*F][lF(F(F(Fa\pF(F(Fh^uFctF(F(F(F_cof*6#F]ct6)FcflFhglFd\lF_qF`qFXF[\lF(F(C(@%-
FK6$FCFY>FCF+>FC-Fh]l6$F+Fdfl>F\zFf]n@&/F\zFjnFh]n0F\zF`^o-F_cm6#%%FAILG>Fct-Ff
cmF[z?(FjrF.F.F\zF_xC,?(FbsFjrF.F\zFi\uF(@$2F\zFbsF]`u>F`rFd]u>Fer*&&FctFcbnF.&
F`rF`ilF2>F`r*&F`rF.F[auF2>Fd]uFa_t>Fa_tF`r>Fj`uF\`t>F\`tFer?(FbsF.F.F\zF_x@$Fc
dtC$>Fj`u,&Fj`uF.*&Fj\uF.FerF.F2>Fd]u,&Fd]uF.*&Fj\uF.F`rF.F2FctF(F(F(6$F^jlFfhl
F^doFj\nf*6&Fh^rFi^r'%#U_GFj\tFh\t6.FcflFe[nFf[nFfglF_qF`qFj`lF^qF\_rF]_rF^_rF_
_rF(F(C,@$Fb_rC%>FcblF`p>F\hmF`pFh]n>FCF+>FerFf]n>F\z-FfcmF^x>FctF\z>FjrF.?(F`r
F.F.F`^oFf]uC'>Fbu&FC6$FjrF`r?(FbsFi[pF.FerF_xC+>Fft&FC6$FbsF`r@$/FftFjnFdx>F]u
-Ff`r6&FbuFftFf^t.Fjx>Fbu*&FbuF.F]uF2>Fft*&FftF.F]uF2>FC-Fgw6%/Fjr,&*&FjxF.Fd]u
F.F.F`_tF./Fbs,&*&FbuF.Fd]uF.F.*&FftF.Fa_tF.F2FC>Fct-Fgw6%/Fjr,&*&FjxF.Fj`uF.F.
*&FbwF.F\`tF.F./Fbs,&*&FbuF.Fj`uF.F.Fa`tF2Fct>F\z-Fgw6%/Fjr,&*&FftF.F_dsF.F.*&F
buF.FcimF.F./Fbs,&*&FbwF.F_dsF.F.*&FjxF.FcimF.F2F\z>FbuF]u@&Fb^tFdx2FbuFjnC&>Fb
u,$FbuF2>Fa_t,$Fa_tF2>F\`t,$F\`tF2>Fcim,$FcimF2@$Fd_l?(FbsF.F.,&F`rF.F2F.F_xC&>
Fft-F\cr6#*&FdcuF.FbuF2>FC-Fgw6$/Fbs,&Fd]uF.FiduF2FC>Fj`u,&Fj`uF.Fa`tF2>Fcim,&F
ieuF.FcimF.>FjrFi[p>FcblFct>F\hmF\zFCF(F(F(%-intersectionGf*F(6(FgjnFgeo%&ineqs
GF`\mFd\lFigrF(F(C$>FCFjjn@)Fa\n-F][o6#Q[parguments~must~be~(rays,~lines~or~con
es),~or~((affine)~rays,~lines~or~polyhedra)F(-FK6$FC-FY6#<%F'F]pF[qC(>FjrF[gs>F
\zF^gs>FctF\`p>F`rF]jr>Fbs-Fbcm6%F`\nFcjrF^ap@%3-Fijr6$f*F5F(F(F(F\[sF(F(F][sFc
tF^[s-Ff^oFg[sF_\o-FK6$FC-FY6#<%F\qF`gnFagnC(>Fjr-F_^l6$F[gn-Fbfo6%FKFCF`gn>F\z
-F_^l6$F[gn-Fbfo6%FKFCFagn>FctFafo>F`rF]jr>FbsFdiu@%3-Fijr6$f*F5F(F(F(F\[sF(F(F
][sFctF^[s-&F\qFg^oFg[sF_\oFfhuF(F(F(%%cubeGf*FbioFa\rF(F(C'@'FedoFfdoFe\r>FjrF
.>FjrFh\r>FCf*6$F_`lFb\rF(F(F(7$Fj\lFd_lF(F(F(>Fct7$7#Fg]r7#Fjr?(F\zF^rF.F+F_x>
Fct7$-FG6#-F_^l6%FCFctFg]r-FG6#-F_^l6%FCFctFjr-Fbbo6#F`]nF(F(F(%*protectedG,
I%CONE=F(FjzE\[lX%%raysGf*6#F`[nF(F(F(@%FeioFfdoFesF(F(F(%&codimGf*Fg]vF(F(F(@%
FeioFfdo-F]x6#FarF(F(F(%*linealityGf*Fg]vF(F(F(@%FeioFfdo-&%&CFACEG6#.%*_2domty
peG6#-&F[q6#.%(minimalGF_\lF(F(F(%'relintGf*Fg]v6#Fd[nF(F(C$>FCFes@'FeioFfdoFa\
n7#-Fael6$FjnF\r-Fa\l6#-Fc[l6#F_]nF(F(F(%)boundaryGf*6#'F`[n<$Fdgq%&CONE1GF(F(F
(@%FeioFfdo-&&-FG6$FjnFA6#.%%_domG6#.%)_purefanG6&-F_^l6$&&Fd`v6#.%$_elGFd^v-&F
d`vFjanF_\lF^sFarFesF(F(F(%*ispointedGf*Fg]vF(F(F(@%FeioFfdo-F_cl6#/F^sF`pF(F(F
(%-incidentraysGf*Fg]vF(F(F(@%FeioFfdoF]wF(F(F(Fbirf*6$F`[nFeds6$FipF`]lF(F(C&>
FC-Fj]p6%F\_p-FG6$Ffas-Fe\m6$F+-&F?6#.FadqFg_l,$F]jqF2@&FedoFfdoFe\r-F_cmFi[l>F
ct-Fh]lFees@%/F[fmF\r-%9polyhedron/image/similarG6%FCF.FctF_\oF(F(F(F^jlf*6$F`[
n'F]^rF]iu6$F^qFd[nF(F(C$>FCF\r@)FedoFfdoFafqC$>Fct-F]]lFi[m@%/FCF[fm-F]eo6$F+F
ctF_\o-FK6$Fd_lF]pC$>Fct-F]]l6#Fjes@%Fcdv-F[_sFedvF_\o-&F[q6#.%$&<=GF`^rF(F(F(F
\bnf*Fg]v6$F\elF_qF(F(C%@$FeioFfdo>FCF]w7#-Fhy6$-&Fc^vF_v6&FearF^flF+F./FctFe]n
F(F(F(Fgjsf*Fg]vF(F(F(@%FeioFfdoF^sF(F(F(%-hilbertbasisGf*6$F`[nFa[nF(F(F(@%Fed
oFfdo-Fijm6$F_xFPF(F(F(%&_baseGF[qFferf*Fg]vF(F(F(@%FeioFfdo-&F`avF_v6&<#-Fael6
#;F.F]jqFcelF+FjnF(F(F(%#&<Gf*F(F(F]tF(3-&F[q6#FbevFO4-&F[q6#%#&=GFOF(F(F(F`fof
*Fg]vF(F(F(@%FeioFfdo-Fj]p6$.F[q-FG6$;F^rF_wF+F(F(F(%*isregularGf*6$F`[n'%&basi
sGFb[n6&F^qFd[nFe[nF_qF(F(C%>Fct-&Fd`v6#.Fe]vF_\l>FC-&Fd`vF]^nF_\l@'FedoFfdo3/F
[fmFC-&Fd`v6#.FfavF_\lC&>Fct-F^em6$Fct-&Fd`v6#.%+ambientdimGF_\l>F\z-Fbcm6%Fa\u
-Fbao6%FctF_xFd_l-&F?6#.Fe^r6$FctFjz?(FjrF.F.FCF_x@$0-Fj[r6#F^etF.-F_cm6#FjzF_x
FjzF(F(F(%-issimplicialGf*Fg]vF(F(F(@%FeioFfdo3F[bv/F]jq-F\^nF_\lF(F(F(Fh`vF^dr
%&polarGf*Fg]vF(F(F(@%FeioFfdo-&Fd`v6#.%&imageG6$-&Fd`v6#.%%dualGF_\lF2F(F(F(Fb
evf*6$%#C1G%#C2G6%%#l1G%#l2G%$nl2GF(F(C'@(FedoFfdo-%+type/!BASEG6$Fd_lFd`v-F][o
6#QFillegal~combination~of~argument~typesF(0F\rFjdoF_\o>FCF^s>FctF\\n>F\zF[fm33
1-F]x6#-FG6$FcrFd_lF\^v5/FCFct31Ff]nF\z1-F]x6#-Fhv6#7$F`]nF_]nF\z-Fijr6$f*F5F(F
(F(-F]eo6$F_blF+F(F(6$F[]wFd_lFesF(F(F(F[hvf*Fi\wF(F(F(@'FedoFfdoFb]wFe]w33/F\r
Fjdo/-Fh]l6$FesFb`l-Fh]l6$Fi[nFb`l/F^sF\\nF(F(F(%)skeletonGf*F5F(F(F(-&Fc`vF^^p
6$-&Fc`vFez6#FjaoFdasF(F(F(Fg_of*6&F`hnFgeoFaqFbqF(F(F(-F`eo6#-Ff^o6&F+-F_^l6$F
`eoFd_lFcblF\hmF(F(F(%.issimplicial1Gf*Fg]v6#%#d1GF(F(C$>FC,&Fi[wF.F2F.@%FeioFf
do3F[bv-Fijr6$f*F5F(F(F(/F^\lF[imF(F(6$FaawFCF]wF(F(F(Fg\wf*Fg]vF(F(F(@%FeioFfd
o-F^v6)F\rFarFfrF]wF^sFesFdvF(F(F(%/incidentfacetsGf*Fg]vF(F(F(@%FeioFfdoFdvF(F
(F(Fg\mf*F(62F`[nFgeoF^qF_`lFd[nFgqFcqFdqF\el%#nrG%#niGF_q%#irG%#iiG%#SrG%&Sine
qGF(F(C2>FctFjjn@&4-FK6$Fct-FY6#F[qFe]wFe\r-F_cm6#-&F[q6#F`fo6#F`ap>F\z-Fc[l6#-
FG6#-F_^l6$&F[qF`jvFct>82<#-Fael6#;F.-Fc[l6#-Fhy6$-F]x6#Fh_mFd^w>83<#-Fael6#;F.
-Fc[l6#-Fhy6$-F]x6#Fg`mFd^w>FjrFiw>FbsFiw>F`rFiw>FerFiw>F]uFiw>FbuFiw>FjxFjn>Ff
uFjn>81Fjn?&FCFctF_xC->Fjr6$Fjr-FG6#-Few6&F\^mF\zFd_mFjx>Fer6$Fer-FG6#-Few6&F\^
mF\zF``mFjx>Fbs6$Fbs-FG6#-Few6&F\^mF\zFh_mFjx>F]u6$F]u-FG6#-Few6&F\^mF\zFg`mFjx
>FftF[ew>FbwFgew>F`r6$F`r-FG6#-F_^l6'%5cone/&x/addincidenceGFj_m<#-Fael6#;F.Fbw
F^ewFbfw>Fbu6$Fbu-FG6#-F_^l6'FehwFi`m<#-Fael6#;F.FftFbdwFfu>Fjx,&FjxF.Fi\mF.>Ff
u,&FfuF.FftF.>Fbfw,&FbfwF.FbwF.-F^v6)F\zFc\vFe^m7#F`r7#Fer7#F]uFg^mF(F(F(%(hpla
nesGf*Fg]vF(F(F(@%FeioFfdoFarF(F(F(%)preimageGf*6$F`[n'Fcfl<%Feo%.real_infinity
G%$matG6&FeqFfq%%AinvGFgamF(F(@+FedoFfdo-FK6$Fd_l<$FeoFgjw-&F[qF_\w6$F+-Fbcm6%/
Fd_lFjn%)infinityG*$Fd_lF2F\cm@%/F\rFjn-F][o6#QXcannot~determine~ambient~dimens
ion,~please~use~a~MatrixF(-F][o6#QGambient~dimension~and~map~do~not~matchF(34Fd
es/-FG6$FbhtF^fsFjn@%Fh[x-&F?6#.F]bt6#-FG6$FfhtF^fsF\\xC(>Fjr-F^emFi[m@$0-F]x6#
&FjrFg_lF\rF\\x>FC-F__n6$FjrFar>Fct-F_^l6$F]]l-F__n6$FjrFfr>F\z-F\coFi[m@%0F\zF
_`uC$-F^bm6%F^rF[q.%,regular~mapG-F^v6'Fa]x-Fhv6$-F__n6$F\zF^s-F__n6$F\zFesFdv-
FhvF]gqF]wC$-F^bm6%F^rF[q.%-singular~mapG-Ff^o6&FgirF`p-F_^l6$F]]lFCFctF(F(F(Fi
jlf*6$F`[n'Fd[nF'F(F(F(@%FedoFfdo3-Fijr6$f*F5F(F(F(/-Faim6$F+F_blFjnF(F(6$Fd[nF
d_lFar-Fijr6$f*F5F(F(F(2FjnF``xF(F(Fb`xFfrF(F(F(%(fvectorGf*Fg]vF(F(F(@%FeioFfd
o-F_^l6$F]x-&Fd`v6#.%&facesGF_\lF(F(F(%&edgesGf*Fg]v6%FgqF_qF^qF(F(C&@$FeioFfdo
>FCFdv>F\z,(Fi[wF.-F]xF]sF2F2F.7#-Fhy6$-F[gv6&F^flFearF+F\z/Fct;,&-Fbcm6%/Fd`vF
`hvFjnFi[rF.F.F.Ff]nF(F(F(%)traverseGF_`wFavf*F(F(F(F(-Fj]p6$F`hvFPF(F(F(Fa[mf*
Fg]v6#F^qF(F(C$>FCF\r@'FeioFfdoFin-F][o6#QAargument~must~not~lie~in~0-spaceF(-F
e[v6&FCFjaoF`pF`pF(F(F(Fi^of*6&F`hn'FgeoFY'F`\mFY'FbhuFY6(%$Cl2G%%eqs2G%'ineqs2
GF`[nF_q%#NCGF(F(C&@%F\cmC%>Fjr-Ff\xF_\l>FctFcbl>F\zF\hmC'>Fbs-%,std/findmaxG6$
&F[q6#.Fi]vFd_l>Fjr&Fd_lFcbn>FC-Fgw6$/FbsFiwFd_l>Fct7$-Fhy6$-FG6#-FG6$FcrFbs/Fb
sFC-FGFebm>F\z7$-Fhy6$-FG6#-FG6$FhrFbsFjexFein-F^bm6&F^rF?.%.starting~withG-&-F
G6$F.Fjr6#.%'_printG6#-FG6$FfasFjr>F`r-Fc^m6%FjrFctF\z@%3/-FG6$FgsF`r-FG6$FgsFj
r/-FG6$F`sF`r-FG6$F`sFjr-&F[qF^foF`il-FayFchmF(F(F(%*isfulldimGf*Fg]vF(F(F(@%Fe
ioFfdo-F_cl6#F`[mF(F(F(%.arecompatibleGf*6%Fj\wF[]w'F`[nFb[n6$%#CIGFipF(F(C$@(F
[hqFfdoFb]wFe]wFh]wF_\o@%5F]`w/&Fd`v6#.FgfvF\_pC%>FC-&Fd`vFg^o6&F\r7$F+Fd_lF`pF
`p@$Ffal>FcblFC3-&Fd`v6#.%'isfaceG6$FCF+-Fajx6$FCFd_lFjzF(F(F(%)islinearGf*Fg]v
F(F(F(@%FeioFfdo-F_cl6#/FesF`pF(F(F(F`axf*Fg]v6)%#ldGF^q%#adG%#FtGF_qFi[uFigrF(
F(C,@$FeioFfdo>FCFiax>FctFi[w>F\zF\r>Fjr-Ffhl6$;FjnF\z7#-Fael6$F`pF\^t>&Fjr6#-F
bcm6%/FdixF`hvFCFjn7#-&Fd`vFj^vF_\l>Fbfp7#-&Fd`vFderF_\l@$2FCFihlC$>&Fjr6#,&FCF
.F.F.-&Fd`v6#.FaaxF_\l>&FjrFa_oFdav?(F`r,&FCF.F^rF.F.,&FctF.F/F.F_xC$-F^bm6&F`s
Fd`v%/face~dimensionGF`r>&FjrFchm-Few6%&F`av6#.%0_hspacenos2faceGF+-Fh]l6$<#-Fh
y6$-FG6#-%5convex/succhspacenosG6$F+Fbs/Fbs&Fjr6#F]guFY@%Fd\yF_il-FbglF`ilF(F(F
(F_^nf*Fg]vF(F(F(@%FeioFfdo,&F^jvF.F\^vF2F(F(F(%*traverse2GF_`w%(hspacesGf*Fg]v
F(F(F(@%FeioFfdoFfrF(F(F(%)issimpleGf*Fg]vF(F(F(@%FeioFfdo-&Fd`v6#.F^aw6#-F`eoF
_\lF(F(F(Fdjxf*6%Fj\wF[]w'Fg`nFb[n6$%#r1G%#F2GF(F(C%@(F[hqFfdoFb]wFe]wFh]wF_\o>
FCFi_w@'3/FCFcelFcixC$@$Ffal>Fcbl-&F\qFj^vFi[mF_x3F]`w-Fjcl6$FCF[`wC%>Fct-&F[q6
#.%(supportG6$Fd_lF_]n@$Ffal>FcblFct30FctF_`u/-Fh]l6$-&Fc^vF^ivFitFb`lFCFjzF(F(
F(Fceof*Fg]vF(F(F(-Fj]p6+FFF\rFarFfrF]wF^sFesFdv-FG6$;F^\rF2F+F(F(F(F\_vf*Fg]vF
(F(F(@%FeioFfdo-F[gv6%Fcel<#-Fael6#;F.F^jqF+F(F(F(Fbjvf*Fg]vF(F(F(@%FeioFfdoF\r
F(F(F(FcavFc^vF^gxf*6)Fbco'F_`lFY'Fd[nFYFgdlFbamFcam'F\elFYF(F(F(-Fd`v6'F+,&F+F
.-F]x6#F`inF2FabmFdbm-F]x6#9)F(F(F(Fa\wf*Fdjw6&%%newrG%%newlG%&AinvtG%$AllGF(F(
@-FedoFfdo-FK6$Fd_lFeo@(Fd[x-Fb_pFajl2FjnFd_l-FfcwF_\l2Fd_lFjn-F^v6)F\rF^s,$Fes
F2FdvFar,$FfrF2F]w-FK6$Fd_lFgjw-Ff\xFajlF_\x@%0Fj\xF\rF\\x-Ff\xF_aoF\cmF`fyC(>F
jr-Fbcm6%FdesFd_l-Fh]l6$Fd_lFdfl@$F`]xF\\x>Fct-F__n6$FjrF^s>FC-F_^l6$F]]l-F__n6
$FjrFes>F\zF]^x@%F_^xC%Fa^x>F\z-F^emF[z-F^v6'Fa]x-Fhv6$FctFCFdv-Fhv6$-F__n6$F\z
Far-F__n6$F\zFfrF]wC$F__x-Fd_o6&FgirF`pFf\pFCF(F(F(Fabyf*Fg]v6+F`\mFbhuFbqF[\lF
b\rFXF_q%#hnG%#okGF(F(C,>F\zFcas@&F]ap-F_cm6#Ff\y4-FK6$F\zFc[oFe[o>F\z-Fbcm6%Fd
\y-F_^l6$F]]lF\z-F_^l6%FfgnF\zF.@$50F\rFaapF_bpF_\o>FCFar?&F`rF\zF_x@$-Fjs6$f*F
5F(F(F(0-FaimFjhmFjnF(F(6$FXF`rFCF]`u>FctFfr>F]uFcel?(FerF.F.F[fmF_xC&>Fjr&FctF
^x>FbuF_x?&F`rF\zF_xC$>Fbs-Faim6$F`rFjr@&2FbsFjnF]`u2FjnFbs>FbuFjz@$Fbu>F]u-F[f
l6$F]u<#Fer-Fd^y6$F+F]uF(F(F(%*facechainGf*Fg]vF(F(F(@%FeioFfdo7#-&F`av6#%)_fac
eseqG6%F+Ff\yFj\yF(F(F(%0incidencematrixGf*Fg]v6&F_qF`qFgbw%$irnGF(F(C&@$FeioFf
do>F\zF]w>Fjr-Fbcm6%5Fdbx1FjnF\\rFaho,&FahoF.F2F.-Ffhl6&%'sparseG;F.FjrF`gv7#-F
hy6$-Fhy6$/F]gqF./Fct&F\zFi[l/FCFa]zF(F(F(Fa]v,
I&CFACE=F(FjzE\[lEFe]vf*Ff`n6$Fd[nF_qF(F(C%@$FeioFfdo>FC-FG6$FgsFes7#-Fhy6$Fear
/FctF\rF(F(F(Fi]vf*Ff`nF(F(F(@%FeioFfdo,&-F]x6#-FG6$FcrFesF.FdvF.F(F(F(F_\zf*6%
F`[n%#F1GF\ay6*%$rn1G%$rn2G%$hn1GFigrFgqF_qFg`nFj`nF(F(C)>FCFjdo>Fct-FG6$F^rFcb
l>F\zF\\n>FbsFdv>F]uFiw?(F(F.F.F(0FCFctC$@%FbayC%>FC<#F]jq>F\z&FbsF1>Fer-&Fd`vF
_v6%FCF\zF+C&>Fjr7#-Fhy6$-%*intersectG6$&FbsFchmF\z/F`r-F`eqFhgy>F\z&Fjr6#-Fgdx
6$F]xFjr>Fer-&Fd`vFe^y6$F+F\z>FC-FG6$F^rFer>F]u6$F]uFerF]uF(F(F(F3f*Fhbn6%F`[nF
ip%#f2GF(F(C'>FCFes@&FeioFfdo/Fi\mFjnF^cx>Fct-&Fdfn6#Fa[mFi[l>F\z-Fbcm6%/-FG6$F
gsFctFh_m-&FianF_v6&F\rF^sFctFdv-&FianFaeo6$-F^by6$-F`eoFit-FG6#-&Fc^v6#.F[`yF_
\l-F^bm6%F`sFc^v%:computing~supporting~faceG@%-%7convex/raynos/isaffineG6$-FG6$
F^rF\z-FG6$F^\rFctF\z-FgayFitF(F(F(F]_vf*Ff`nF__vF(F(C$>FC-F[cyF_\l@'FeioFfdoFa
\n7#-Fael6$Fjn-FbjvF_\lFf_vF(F(F(Ffavf*Ff`nF(F(F(@%FeioFfdo/-FG6$F`sFesF`pF(F(F
(Fbirf*Fhbn6$F`[nFipF(F(C%>FCFes>Fct-%*traperrorG6#-&Fdfn6#Fbir6$FCFdas@%/FctFj
erFher-Fgcz6&-F[fl6$F\r<#-F]x6#FdczF^sFctFdvF(F(F(F\bnf*Ff`n6$F`[n%$rnlGF(F(C&>
FCFes>Fct-F`_y6$-F`eoFi[l-&Fd`vFaeoF_\l@&FeioFfdo3/Fd`v.Fian4-&F\q6#.%*isbounde
dGFi[l>Fct-Fbfo6%FjdzFct-FG6$F^\rFC-F_^l6$F^hz-Few6&F^bzF\hzFct,&-&Fc^v6#.%%ran
kGF_\lF.F2F.F(F(F(%(minimumGf*6#%#f1G6$FgjnFibnF(F(C&>FCFjjn@$4-FK6$FC-FY6#Fd`v
Fe]w>Fct-Fefz6#-&Fd`v6#.%(maximumG6#-FG6#-F_^l6$F^hzFC@'F\gzFher5/Fd`v.Fc^v-Fjd
z6$-FG6$F`sFct-FG6$F^\rFes-F^hzFit-FgayFdsF(F(F(Fgizf*Ff`nFg]vF(F(@%FeioFfdoC$>
FCFes,*Fi\mF.-F]x6#Fd_mF2-F]x6#F``mF2FdvF2F(F(F(%-_raynos2faceGf*6$F`[nFi`nF(F(
F(-F^hz6#-F^bz6$Ff`yFd_lF(F(F(%$&<<Gf*6$Fb_zF\ayF(F(F(@)FedoFfdo4-FKFd]wFe]w0Fe
sFi[n-F][o6#QIarguments~must~belong~to~the~same~domainF(3/Fdv,&-FG6$FfvFd_lF.F.
F.-&Fd`vFfgv6$F+Fd_lF(F(F(Fagvf*F(F(F(F(34-F^^sFO-F^^[lFOF(F(F(F`fof*Ff`n6(F`[n
Fd[nFgqF_qFc]pF[]wF(F(C*@$FeioFfdo>FCFes>FctFh_m>F\zFj_m>F`r-Fay6#-F^v6)Fi\mFd_
m7#-Fhy6$F\`t/FjrF\r7#-Fhy6$FcimFd_[lF``mFg`mF`p@$Fahz>F`r-FhuFchm>FbsFdfn@%/Fb
s&FbsFeixF`r-&FbsF_v6$F`r-&%(FANCONEG6#.%'domainGFi[lF(F(F(FdhvFehvFh`vF[qFbevf
*F`][lF(F(F(@)FedoFfdoFb][lFe]wFd][lFe][l-Fjcl6$F\rFjdoF(F(F(F[hvf*F(F(F]tF(-F_
cl6#Fc^[lF(F(F(%'raynosGf*Ff`nF(F(F(@%FeioFfdoF\rF(F(F(F\[[lf*6#Fb_z6%F`[n%#FlG
Fg`nF(F(C%>FCFes>FctFjjn@'4-FK6$FctFcjzFe]w-Fjs6$f*F5F(F(F(0FesF[imF(F(6$F`[nFC
FctFe][l-F^bz6$FC-Fbaz6#-Fhy6$-FG6$F`sF\z/F\zFctF(F(F(%'corankGf*Ff`nF(F(F(@%Fe
ioFfdoFdvF(F(F(Fg\wf*Ff`nFg]vF(F(C%@$FeioFfdo>FCFes-F\fv6&F^sF\r-&F[qFe\wFi[lFb
\[lF(F(F(Fg\mf*F(6)Fea[lFgeoFd[nF&Fi`nFdhyF_qF(F(C+>FCFjjn@$F`jzFe]w>Fct-F_^l6$
&Fc^vFe`[lFC>F\zFcel>FjrFcel>FbsFjn>F`rFjn?(FerF.F.Ff]nF_xC&>F\z-F[fl6$F\z-F_^l
6%Fc[l-FG6$F^r&FCF^xFbs>Fjr-F[fl6$Fjr-F_^l6%Fc[l-FG6$F`sF\e[lF`r>Fbs,&FbsF.-F]x
6#-FG6$FgsFfjyF.>F`r,&F`rF.-F]x6#-FG6$FhrFfjyF.-Fj`z6%F\zFjr-Fbcm6%F^hoFjas-&Fc
`vFf\mF`]vF(F(F(Fbjwf*6$Fg`n'FcflFhjw6$F`[nF[]wF(F(C%>FCFes>Fct-Fefz6#-&Fdfn6#.
FbjwFjfz@%F\gzFher-&Fc^vFaeo6#-F^by6$F^dz-FG6#-F__n6$F^]xFadzF(F(F(Faaxf*Ff`nFg
]vF(F(C$>FCFes@'FedoFfdo3-FK6$FCF\q/F\rFcel-&F\qFe]yFi[l-Few6%F^bzFC-F`_yFejxF(
F(F(Favf*6&Fi`nFdhyF`[n'F`ftFjdlF(F(F(-Fj]p6'Fd`vF+Fd_lFcbl-Fbcm6%Ffal-Fbcm6%2F
^\lFabm,*Fj_zF.-F]x6#-FG6$F`sFcblF2-F]x6#-FG6$FcrFcblF2-Fbcm6%1F^\lF`sF^\l-F]x6
#-Fhv6#-%/CFACE/listraysG6%-FG6$FgsFcblF+-F^bm6%F`sFd`v%/computing~rankGF2-Fbcm
6%1FabmF`sFabm-F]x6#-Fhv6#-Fej[l6%-FG6$FhrFcblFd_l-F^bm6%F`sFd`v%1computing~cor
ankGF\hmF(F(F(Fg`[lf*Ff`nF(F(F(@%FeioFfdoFesF(F(F(F_^nf*Ff`nF(F(F(@%FeioFfdo,&-
F]x6#F]fzF.FcizF.F(F(F(F[`yf*Ff`n6$FdqF_qF(F(C%@$FeioFfdo>FC-FG6$FhrFes7#-Fhy6$
Fear/FctF^sF(F(F(%*hspacenosGf*Ff`nF(F(F(@%FeioFfdoF^sF(F(F(Ff^vFe^[lFceof*Ff`n
Fg]vF(F(C$>FCFes-Fj`z6&F^sF\rF\hzFb\[lF(F(F(Fg^yf*6$'F`[nFjp'FdhyFb`lFdevF(F(@%
/Fd_lFcel-Fj`z6&F]gvFd_lF+FjnC$>FCF]w-Fj`z6&-Fbaz6#-Fhy6$Fear/FctFd_lFd_lF+&FP6
#;F`sF2F(F(F(Fbjvf*Ff`nFg]vF(F(@%FeioFfdoC$>FCFes-&Fc`vF`jvFi[lF(F(F(F^gxf*6$'F
i`nFb`lFg]\lF(F(F(-Fd`v6$F^\lFabmF(F(F(Fh[zf*F`][l6&%%FminG%%FmaxGFigrF_qF(F(@+
FedoFfdoFb][lFe]wF]^[l7#-&Fd`v6#.F_\z6%FesF+Fd_l-F^^[lF`^rC$>F\z7#-Fj_\l6%FesFd
_lF+7$-Fhy6$&F\z6#Fg]r/Fjr;F^rFahoFd_l-F][o6#Q@one~face~must~contain~the~otherF
(F(F(F(Fa]v,
I;convex/readpoly/matrixsecs<(FgcqFd^qFhbqFb]qFi[qFa\qF(,
I<FAN/regularsubdiv/subdividef*6&F`[nF^q%#lrGFeam6'Fg`n%$rCSG%$sCSGF[]wFd\lF(F(
C)@$4-Fjcl6$F\hmFi_w-F_cmF_\l>FctFiw>F\zFiw?&FC-&F[qFjanF_\lF_xC%@$-Fjcl6$F\hm-
Fh]l6$-F[cyFi[lFb`lFdx>Fjr-Fd_o6&Fd_l7#-Fb^vFi[lF`pFcbl@%-&F[q6#.FdhvF`il>FctF[
`r>F\zFa`r>Fbs-F]x6#&FcblFg_l>&%6FAN/regularsubdiv/rMCGFcbn7$-FG6#Fjc\lFctF\zF(
6#F[d\lF(F(,
I;polyhedron/image/newvertexf*6%Fd[nFb\rFX6$%#arGFgbwF(F(C$>F]gq-FG6#Fg[t-F]]l6
#7$-FG6#,&*&Fd_lF.FCF.F.*&FctF.FcblF.F.FctF(F(F(F(,
I;polyhedron/image/newhspacef*6%F&F[\tFX6$%#ahG%#ihGF(F(C%>F]gqFgd\l>FCF_e\l-F]
]l6#7$F_]n,&FctF.-Faim6$FcblFCF2F(F(F(F(,
I9polyhedron/image/similarf*6%'FipF\q'Fb\rFeoFW6$Fd[nFebwF(F(C%>FCFes>FctFi[r-F
j]p6*F\_pF\rF^s-&F?6#.Fijo6$F^s7$-Fbcm6%Fdey-FG6#&FC6#Fefs-FG6#,$Feg\lF2-FG6#-F
_^l6&F`d\l&FC6#;F]`rF2Fd_lFcblFdv-Fhv6$-F_^l6&Fae\lFarFf[xFcbl-F_^l6&Fae\lFfrFf
[xFcblF]wF\\rF(F(F(F(,
I<FAN/simplicialsubdiv/insertf*6$F`[n%$sMCG6$%"eGFd\lF(F(C%>FctFi[w>FC,&F]jqF.F
ctF2@%FinC$>&Fd_lFit7$-FG6#Fdi\lF+Fiw7$F+FCF(F(F(F(,
I:convex/facefan/facet2conef*6&'Fg`nFc^vFd\lFaqFcq6$F`[n%#dhGF(F(C$>Fct-F"6#&Fa
dzFg_l@$0&FctFe_lFjnC$>FC-Fb^vF_\l-F^v6)Fd_lFcbl-F_^l6$f*F5F(F]tF(Fd[tF(F(F(Fh_
mFj_mF\hm-F_^l6$f*F5F(F(F(-F\_l6$Fg[tF[imF(F(6$F^j\lFctFg`mFi`mF(F(F(F(,
I/type/affhplane<$/F'Feo/FeoF'F(,
I/type/affhspace<$1F'Feo1FeoF'F(,
I/convex/dotprodf*F^_lF^[lF(F(-Fc[l6#-Fhy6$FcfsF\\lF(F(F(F(,
I/convex/lelim_2f*6$F_`lF&F(F(F(-F_^l6$f*F5F(F(F(-Fgw6$Fhw,&F+F.*&FatF.F_blF.F2
F(F(6$F&Fd_lF+F(F(F(F(,
I7convex/raynos/isaffinef*6$F`_\l'FebwFe`lF(F(F(52-Fj[rFi[m-Fg`lFi\l/F+FcelF(F(
F(F(,
I5convex/succhspacenosf*6$Ff]\l'Fg`n<$Fc^vFian6&FdhyFgq%#FrGF_qF(F(C&>FCF\\n>Fc
tFdv>F\z7#-Fhy6$-Fbaz6$FCF\`t/Fjr-F`eq6$F]gvFjdo7#-Fhy6$Fcim/Fjr-F[`lF[zF(F(F(F
(,
I+POLYHEDRON=F(FjzE\[l[oFe]vf*6#FipF(F(F(@%FeioFfdo-F_^l6$FT&FesFg[rF(F(F(%'vol
umeGf*Fc_]lF(F(F(@'FeioFfdoF`[m-&Fian6#.Fh_]l6#-&F\qFderF_\lFjnF(F(F(Fi]vFj]v%)
distanceGf*6%FipFeds'F_asFb[nFjbxF(F(C$Z%@'-&F\q6#.%(isemptyGF_\l>FCFe[xFfal>Fc
bl-&F\q6#.%)proximumG6%F+Fd_lFCF`a]lFcipYFjerFCF(F(F(F]_vf*Fc_]lF(F(F(@%FeioFfd
o-FT6#-&F[q6#.F]_vF_\lF(F(F(%*recessionGf*Fc_]lF(F(F(@%FeioFfdo-Fay6#-F^v6)-&F\
qF`jvF_\lFcjs-&F\qF^ivF_\l&FdvFg[r-F_^l6$f*F5F(F]tF(Ff[tF(F(F(Far-F_^l6$f*F5F(F
]tF(Fd[tF(F(F(FfrFcelF(F(F(%(surfaceGf*Fc_]lFjbxF(F(C$>FC-&F\qFjdxF_\l@)FeioFfd
oFin-&Fian6#.Fac]lF_`]l/FCF.,$F[`]lF^rFjnF(F(F(Fj_vF[`vFfavFgavF^jlf*6$Fip'F]^r
<&F`oF'F]pF\qF[dvF(F(C$>FCF\r@+FedoFfdoFafqC$>FctFefq@%FcdvFddvF_\o-FK6$Fd_lF`o
C$>Fct-Ffgn6$FjesFjn@%FcdvFddvF_\oFfdvC$>FctF\e]l@%FcdvF]evF_\o-&F\qFfgvF`^rF(F
(F(F\bnf*Fc_]lFdevF(F(C%@$FeioFfdo>FCF]w7#-Fhy6$-FgczF]fv/Fct;F.,&Ff]nF.-Fbcm6%
F\]zFjnF2F.F(F(F(F[vf*Fgp6*Fd[nFgq%#riGF[an%%rnexGF&F\el%#nhGF(F(C->FCFes>FctFd
v>F\zFjn>FjrFd^n>FbsFiw?(F(F.F.F(F_xC(?(F\zF\^tF.Ffdm4-F_\s6#F]flF(?(FjrFfdmF2F
\z-F_\s6#Fa_tF(@$1FjrF\zFdip>FC-Fgw6%/FjrF]fl/F\zFa_tFC>Fct-Fgw6%/FjrF^`t/F\zF\
`tFct>Fbs6%Fbs/FjrF\z/F\zFjr-%'ASSERTG6$/F\zFi[pQErays~and~vertices~incorrectly
~sortedF(>F`rFfr>Fer-%%subsG6$Fe^mF]w@&/FjrFf]n-F_cm6#-Fj\s6#Fcv1-&F\qF]^nF_\l,
&FjrF.FiaxF.C$>F]u-F]xFchm?(F\zF.F.F]uF_x@$4-Fjdz6$&FerF[zFjrC'>F`r-Fgw6%/F\z&F
`rFccn/F]u&F`rF[zF`r>Fer-Fgw6%/F\z&FerFccn/F]uFaj]lFer>Fct-F]i]l6$7$/F\zF]u/F]u
F\zFct>FjrFg]rFdip-Fj]p6+F\_pF\rF^sFCFctFarF`rFerFjrF(F(F(Fgjsf*Fc_]lF(F(F(@%Fe
ioFfdo-F_^l6$FTF^sF(F(F(FgfvF\qFferFhfvFagvFbgvF`foF\hvFh`vFdzFd[wFe[wFj[wF[\wF
bevFh\wF[hvFc_wF^`wF_`wFg_of*F(F(F(F(-Fhu6#-Fd_oFOF(F(F(%)plotdataGf*6#'Fip%)PO
LYTOPEG6$F^q%%optsGF(F(C&@&FedoFfdo4-Fagm6$Ffb]l7$F^rF`s-F][o6#QHargument~must~
lie~in~2-space~or~3-spaceF(>Fct-Fbcm6%Fa\u-FG6#-Fh]l6$Fh\r%,PLOToptionsGFiw>FC-
F_^nF_\l@*/FCF`s-%)POLYGONSG6$-FG6#-F_^l6$%8convex/orderplanepointsG-F_^l6$&Fia
n6#.%)verticesG-&F\qFjanF_\lFct/FCF^r-F^^^l6$-Fd^^l6#-&F\qFh^^lF_\lFctF\d]l-%'C
URVESG6$Fb_^lFctFin-Fhbq6$-FGFa_^lFctF(F(F(F^awF_awFg\wf*Fc_]lF(F(F(@%FeioFfdo-
FfhoFe`yF(F(F(Fg\mf*F(6#FhgrF(F(C$>FCFjjn@)F^ho-F]_oF_ao4-FK6$FC-FYFhhp-F][o6#Q
<arguments~must~be~polyhedraF(-Fjs6$Fj`]lFC-Fj\s6#,&-Fc[l6#-FG6#-F_^l6$F`dwFCF.
FgalF2-Fhu6#-Fj[mFi_vF(F(F(%%joinGf*F(F^`^lF(F(C$>FCFjjn@'F^ho-Fj\sF_aoFc`^lFg`
^l-Fhu6#-F`eo6#-Fj[m6#-FG6#-F_^l6$F`eoFCF(F(F(F_jwf*Fc_]lF(F(F(@'FeioFfdoFi`]l7
#/7#-Fael6$FjnFfb]lF.-F_^l6$f*F5F(F]tF(/Ff_l,$Fi_lF2F(F(F(-F_^l6$F"FarF(F(F(Fbj
wf*6%Fip'Fcfl<%F'FeoFhjwFeds6&F^qF^eyFa[pF`]lF(F(C$>FCFfb]l@'F[hqFfdo-FK6$Fd_lF
hjw@)30Fd_lF`p5Fdes0Fb\xFjnC%>FctFefy>Fjr-Fbcm6%Fa\u7#-Fael6$FjnFC-Fh]l6$FcblFY
@%50F[fmFC0FgirF[fmF\\x-Fhu6#-&F[qFag[l6$F+-F_flF[`r50FCFjn3Ffal0F]e^lF`pF\\xF\
cmFi[x-Fbcm6#-6%Fi`]lFj\sF]_oFi\xC$@'F`eyC$>F\zFd_l>FjrFhd^lFa\uC$>F\zF.>FjrFbc
vFe]w@)0FgirFCF\\x0F\zFjn-Ffcv6%F+F[fn,$*&FjrF.F\zF2F2-F]eo6$F+-Ffgn6$FjrF.-F]_
oFi[l-Fj\sFi[lF(F(F(Fijlf*6$FipFi_xF(F(F(@%FedoFfdo-Ffjl6$F+FefqF(F(F(Fg`xFh`xF
aaxFbaxFebxF_`wFj^^lf*Fc_]lF(F(F(@%FeioFfdo-F_^l6$FT&Fes6#;,&Fi[rF.F.F.F2F(F(F(
%-minkowskisumGf*F\\m6(FhgrF^qFipF`]lFbqFXF(F(C*@$Fe\r-F_cm6#-&F\qFghoF_\l>FCFj
jn>FctFfb]l@&Fc`^lFg`^l-Fjs6$f*F5F(F(F(0Ffb]lF[imF(F(6$F^qFctFCF_\o>Fjr7#7#-Fae
l6$FjnFct>FbsFiw?&F\zFCF_xC$>Fjr7#-Fhy6$-FG6#-F_^l6%Fc[lFjrF`r/F`r-Fc_^lF[z>Fbs
6$Fbs-FG6#-F_^l6$F`o-Fib]lF[z@%/FjrF`p-Fj\sFit-Fbbo6$F^jrFbsF(F(F(Fa[mf*Fc_]lF(
F(F(@%FeioFfdo-Fj]p6$F\_p-FG6$;F^rF^\rF+F(F(F(F]a]lf*Fc_]lF(F(F(@%FeioFfdoF[[yF
(F(F(%*normalfanGf*6#Fcgq6'F`[nFd\lF^qFaqFcqF(F(C)@$FeioFfdo>FC-F`eo6#-F]foF_\l
>FctFfb]l>F\z-Fgi]lFi[l>Fjr-F_^l6$f*F5F(F]tF(Ff[tF(F(F(Fd_m>Fbs-Fhv6#-F_^l6$f*F
5F(F]tF(Ff[tF(F(F(F``m-&F^drF_v6'FctFjr-F`eq6$-F_^l6$f*F5F(F]tF(Fd[tF(F(F(-Fh]l
6$Fh_mFb`l<#Ffi^lFbs-Ffhl6$;FjnFct7%-Fael6$F`pF\z-F_^l6'Fii\l-Fab\lFi[lFctFjrFb
s-Fael6$F`p,&FctF.F\zF2F(F(F(Fi^of*6&Fd\lFgeoF`\mFbhuF(F(F(-Fhu6#-Ff^o6&F+Fd_lF
cbl7$Fein-F]glF_\lF(F(F(FdhxFehxFhjxf*Fc_]lF(F(F(@%FeioFfdo-F_cl6#/Fes7#F`jlF(F
(F(FihxFjhxF`axF^[yF_^nFg_yFj_yF_`wF[`yf*Fc_]lF(F(F(@'FeioFfdo-&F\q6#.%)isaffin
eGF_\lF`p-F_^l6$f*F5F(F]tF(1,$Ff_lF2Fi_lF(F(F(-F_^l6$F"-Fbcm6%F\]zFfr&FfrF,F(F(
F(%%drawGf*Fc_]lFjbxF(F(C$>FCF^jvZ%--Fbcm6%F]_^l%%PLOTG%'PLOT3DG6#-&Fd`v6#.Fa\^
lFOF(YF(F(F(F(F^`yF_`yFdjxFg`yFceoF\cyF\_vFbcyFhhzf*Fc_]lF(F(F(@%FeioFfdo3/F\\r
FjnF[bvF(F(F(Fda]lf*6%FcgqFeds'%%distGFb[n6-FcqFdqF[\l%#w0GF_qF`qF_asFibn%#flG%
$fl1G%$fl2GF(F(C)>FerFefq@&F[hqFfdo0F\xF\rF_\o>FCFar>FctFfr?(FbsF.F.Ff]nF_xC(>F
\zFd]u>Fjr-Fgw6$/F2FjnF\z>Fjr*&FjrF.-FaimF_etF2?(F`rFcetF.Ff]nF_x>&FCFchm-%6pol
yhedron/proximum/gG6%Fgc_lF\zFjr>Fct-F_^l6&Fic_lFctF\zFjr>Fer-Fic_l6%FerFjrF\z>
F]uF``]l?(F(F.F.F(F_xC->Fbu-FhanFccn>Fft-F_^l6&f*6%F6F]cl%"zGF(F]tF(&Fd_l6#&-F`
eq6$F^sFcblFg_lF(F(F(FbuFct-FG6$F`sF]u>Fbw-F_^l6$f*6#F&6$%#h0GFb\rF(F(C$>FctF_j
y@%1FjnFctFjnC$>FC-Fgw6$F\joF+*&FctF^r-Faim6$FCFCF2F(F(6$F_asFerFft>Fbs-Fgdx6$f
*F5F(F]tF(F+F(F(F(Fbw@$/&FbwFcbnFjnC%>Fer-FTF^x@$FfalC$>F\z,&FbcvF.FerF2>Fcbl-F
^en6#-Faim6$F\zF\z-F_cmF^x>F]u&FbuFcbn>F\z&FftFcbn>FjrF_c_l>FjrFcc_l>FctF\d_l>F
erF_d_lF(F(F(Fbjvf*Fc_]lF(F(F(@%FeioFfdoFcvF(F(F(FcavFianF]`_lf*Fc_]lF(F(F(@%Fe
ioFfdo-F_cl6#/F]jqF.F(F(F(F^gxf*6*FcioF^dyF_dyFgdlFbamFcamF`dyFa]]lF(F(F(@%3/9+
FjnF\cm-.Fe\^l6&,&F+F.F2F.,(F+F.FddyF2F2F.FdbmFfdy-F\_p6'Fbi_lFci_lFabm7$,&Fdbm
F.-Fj[r6#F^i_lF2Fhi_l-Fbcm6%2FjnF^i_lFfdy7#,&FfdyF.F2F.F(F(F(F_bof*6#'Fip%,POLY
HEDRON0GF(F(F(@%FeioFfdo-&F\q6#.F[\_lFe`yF(F(F(Fa\wf*Fgc^lFjc^lF(F(C$>FCFfb]l@'
F[hqFfdoF^d^l@)Fad^lC%>FctFefy>Fjr-Fbcm6%Fa\uFhemF]e^l@%50-F]xFhcwFCFbe^lF\\x-F
hu6#-F`[xFge^l5F[f^l3F`\x0Fj\xFCF\\xFi`]lF]b^lFb`^lC$@'F`eyC$>F\zFd_l>FjrFhd^lF
a\uC$>F\zF.>FjrFbcvFe]w@)Fjf^lF\\xFi`]lF+F[g^l-Ffcv6%F+F\zFjr-Fhu6#-Fd_o6&Fb]yF
`pF`p7#Fbg^lF(F(F(FabyFbhyFh[zFi[zFa\zFb\zFa]v,
I+type/!BASEf*6$F6Fc]pF(F(F(50Ff]pFj]p0&FFFeix&Fd_lFeixF(F(F(F(,
I+print/_OBJf*6#Fc]pF(F(F(-&F+F\gx6#FdasF(F(F(F(,
I)PCOMPLEX=F(FjzE\[lHFe]vf*6#%#PCGF(F(F(@%FeioFfdo-F_^l6$FT-Fjal6$F_\sFesF(F(F(
Fh_]lf*F^^`lF^`^lF(F(C$>FC&FarFajl@'FeioFfdo-Fijr6$FehzFC-Fc[l6#-FG6#-F_^l6$&F\
qF]`]lFCFe[xF(F(F(Fi]vf*Ff`nF(F(F(@%FeioFfdo-F]x6#FdvF(F(F(Ffavf*Ff`nF(F(F(@%Fe
ioFfdoFiavF(F(F(%._maximal_listGf*6#'Fg`n<$FdzF^dr6%F^qF_q%#MCGF(F(C%>FCF\r>F\z
Far7#-Fhy6$-FG6#&F\z6#,&FCF.FctF2/Fct;FjnFCF(F(F(F^jlf*6%Fg`nF`[n'%#FCGFb[n6,Fe
a[lFgeo%#CrGFj\wFibnF^qFd\lF_qF_``l%$cmpGF(F(C-@&F[hqFfdo-Fc]w6$Fd_lF`avFe[o>Fe
rFjdo>F`rF[^n@&0FerF\rF_\o3/Fd`v.FdzFggsC$@$Ffal>Fcbl&-&FdzFj^vF_\lFg_l-F_cm6#F
_x>FCF^s>FctF\\n>F\zF[`w@'/FCF_`u>Fftf*F5F(F(F(3/F^sF[im-Fjcl6$F^dlFi_wF(F(6&Fg
eoFctFba`lF\zFd^w>Fftf*F5F(F(F(-Fjcl6$F[imFi_wF(F(6$Fba`lF\zFb[w>FbuFar?(F]uFer
F2F[^nF_x?&Fjr-Fbfo6$Fft&FbuFccnF_xC$>Fbs-F^by6$FjrFcdl@$0FbsF_`uC$@$Ffal>Fcbl-
F[gv6$-&&F`avFaavFd^vFcbnF+-F_cm6#-F_cl6#/F\z-Fh]l6$-F[cyFcbnFb`lFjzF(F(F(Fgjsf
*F^^`l6#F_`lF(F(C$>FCF^s@'FeioFfdoF[c`lFCF[\^lF(F(F(Fferf*6$Fg`nFc]p6#F_``lF(F(
C%@(FedoFfdo5Fe\r/Fd_l.FY-F_cm6#-F_^l6%F[gv-&F^dr6#.Fi_`lF_\lF+0Fd_l.FfhlFe]w>F
C-Few6&F_^lF[gvFarF+@%/Fd`v.F^dr-F_hlFi[l-FbglFi[lF(F(F(Fagvf*F`][l6%%$MC1G%$MC
2GF_qF(F(C$@&FedoFfdoFd^[lC%>FCFar>FctFa^w?(F\zF.F.F\rF_x@$0-F]xFag]l-F]x6#F^`t
Feb`lFjzF(F(F(F[avf*6&Fecx'FaqFYFbam'%$rlsG<$Fb`lFY6%Fd\lF^q%#rsGF(F(C&>FC-FG6$
F^rFf_l>Fct-F]x6#-FG6$FcrFf_l@%2FgalFgs>F\z-F_^l6$f*F5F(F]tF(-FG6#Fi_wF(F(F(-Fh
]l6$F+Fb`l>F\z-Fh]l6$F\hmFb`l-Fj`z6'FCFd_lF\zFcbl-Ffhl6$F\a`l7%-Fael6$F`pFj``lF
+-Fael6$F`pFctF(F(F(%)homologyGf*6$Fg`n%#F0G6)Fcfl%#ORGF^q%&f_dimG%)getbasisG%(
stop_rsG%#rtGF(F(C,>F\zF^jv@'Fe\r>F`r-Fbcm6%F_g`lFcel<#FcelFa\uC$@&Fb][lFe]w0-F
_jvFi[mF\zF_\o>F`r-Fh]l6$-F_^l6$%/cone/_rays_setG-Fff`lFi[mFb`lFfdo-F^bm6%F`sFd
`v%7determining~incidencesG>Fct-%&tableG6#F`]z>FC-F]ft6$F[\y7#-Fael6$FcelF\^t>F
jr&F[e`lF]^n>Fbsf*6#'Fih`lFb`lF(F_anF(-FG6#-Fhv6#Fg]lF(F(F(@$4-Fjcl6$F`r-&Fd`v6
#.Fj_y6%F+f*6$FibnFih`lFjbxF(F(@%-Fjs6$f*F5F(F(F(-FjclFa_wF(F(6$Fih`lFd_lF[imFj
zC%>FC-F^dlF_\l>&T'Fi[l-F[fl6$Fa_al<#Fd_lF_xF(F(6(Fa[alF`rF_[alFjrFcflFCf*6&%#f
0GF[jz%$rs0G%$rs1GF(F(F(>&F[im6$FcblF\hm-%%signG6#-&F?6#.Fibt6#-F__n6$7#-F^dlFf
in7$-F^dlFebm-FG6$F.-F`eq6$F\hmFcblF(F(6&F^[alFctF`[alFbs-F][o6#Q=arguments~mus
t~be~compatibleF(-F^bm6%F`sFd`v%3computing~homologyG-&F?6#.Fget6&FjnF\z-F_^l6$F
]xFCf*6#Fi[uFijtF(F(7#-Fhy6$7#-Fhy6$&F[imFhgy/Fct&F^dl6#Fbi_l/FC&F^dlF_\lF(F(6&
F^[alFctFcflFCF(F(F(Fd[wf*Ff`nF(F(F(@%FeioFfdo-Fijr6$&F`avF^^pFef`lF(F(F(Fbevf*
F`][l6'FaqFd\lF_qF`[nF_``lF(F(C%>FctF\r>FCF\\n@)FedoFfdoFb][lFe[o0FctFjdoF_\oC%
>FbsFar?(F\zFjnF.FctF_x?&FjrFjyF_x@$4-&Fd`vF\jl6$Fd_lFjrFb[wF_xF(F(F(F[hvf*F`][
l6(%$ll1GFca`lF_qF^qFeg`lFfg`lF(F(C+>FjrF\r@(FedoFfdoFb][lFe[o0FjrFjdoFjz>FCF^s
@$0FCF\\nFb[w>Fct-Fbcm6%F[c`lf*F5F(F]tF(7$F^sFi_wF(F(F(Fc\al>FbsFar>F`rFa^w?(F\
zFjnF.FjrF_x@$0-Fh]l6$-F_^l6$FctFjyFb`l-Fh]l6$-F_^l6$FctFij]lFb`lFb[wF_xF(F(F(%
,convert/FANGf*F^^`lF(F(F(@'FeioFfdo/F^sF_`u-F][o6#Q@argument~has~no~lineality~
spaceF(-Fgw6%/F.F`g`l/Fcr-Few6%F_^lF]foFarF+F(F(F(F^`wf*6$Fg`n'Fd\lFe`l6(FcflFh
glF_qFih`lFigrF_[alF(F(C'@&FedoFfdo1F^jvFd_lF\b\l>FbsFiw>F`rFc]al-&Fd`v6#.Febx6
$F+f*FhbnF(F(F(@%2F_blF__alF_xC$>Fb_al6$Fb_alF+FjzF(F(6(Fd\lFd_lF_[alF`rFigrFbs
@%Faex-F][o6#Q1nothing~selectedF(-&Fd`vFez6$-F_^l6$Fjd`lFe^mFjzF(F(F(Fa\^lf*6#'
F_^`lFdz6*F^qFg\^lF_``lFip%"tGFg`nF`]l%#vsGF(F(C(@&FedoFfdo4-&FdzFfhzF_\l-F][o6
#Q9argument~must~be~boundedF(>FC-&FdzF`jvF_\l>FctFb]^l>F\zFar@'F]_^l>FbsFiwF\^^
lC$?&Fjr&F\z6#FgsF_x?&F`r-F\_^lF`ilF_xC&@$4-&FianFfhzFchmFdx>Fer-Fg^^lFchm>F]u-
Fh]l6$FerFb`l@%-F<6#&FbsFccn>Fb[bl&.FbsFccn>Fb[blFajm>Fbs-FidlFcbnF^]^l6%-F^^^l
6$-FG6#-F_^l6$Fd^^l7$Fbs-FG6#-F_^l6$Fc_^l&F\z6#F`sFct-Fe_^l6$-FG6#-F_^l6$Fc_^l&
F\zFe_lFct-Fhbq6$-FG6#-F_^l6$FG-F_^l6$Fc_^lFcapFctF(F(F(F_jwf*F^^`lFge_lF(F(C$>
FCFdv@)FeioFfdoF[c`lFC-&FdzF[a]lF_\l7#/7#-Fael6$FjnFiialF.-F_^l6$f*F5F(F]tF(/Fb
`_lFi_lF(F(F(-F_^l6$F"FCF(F(F(Fbjwf*Ff`n6#F\ayF(F(C$>FC-Fefz6#-Ffhal6$-F_^l6%&&
F`avFeixFag[lFef`lFdasFjz@%/FCFjerFherFCF(F(F(Fg`xf*Ff`n6$FcflF_[alF(F(C'@$Feio
Ffdo>FC-F]ft6#;,$&Fd`v6#.%'_shiftGF2F^jv>FctFc]al-Ffgal6$F+f*FhbnFjbxF(F(C%>FC-
F[imF_\l>&F^dlFi[l,&Fj`blF.F.F.F_xF(F(6&F_[alFctFcflFCFCF(F(F(Favf*F(F(F(F(-Fj]
p6$Fd`vFPF(F(F(Fgzf*6$%$Cl1G%+compattestG6.F^qF_`lF`[nFgeoF_``lFd[nFd\l%#CdGF[]
wF^ix%'notredG%)m_compatGF(F(C+@$/F^\lF.C&>F\zFf_l>FCF\ez>Fer-F\^nF[z-F_cm6#-Fj
`z6'FCFhb[l-Fh]l6$-FG6$FgsF\zFb`l-FG6$FcrF\z-Ffhl6$F\a`l7%-Fael6$F`pFer7#-Fh]l6
$F\zFb_bl-Fael6$F`p,&FCF.FerF2>Fjxf*F(F(F]tF(F_xF(F(F(>Fjr-Fibl6$F+f*F\clF(F]tF
(-F_cl6#2F\^vF_^wF(F(F(>FC-FG6$F^rFc]x>Fct-FG6$F`sFc]x>F`rFcel>Fbs-Ffhl6$F\a`l7
#-Fael6$F`pFb]y?&F\zFjrF_xC)@$0F\ezFCF_\o@$0Fhb[lFct>FctF_`u@$Fd_l>Fjx&-FG6$F.F
\z6#.Fihx>F]uF_bbl>FbwF_x?(FerFCF2F]uFbw?&Fbu&FbsF^xF_x@&4-Fjx6$F\zFbuFbaal-Fjc
l6$Fdbbl-Fh]l6$-FG6$FgsFbuFb`lC%-F^bm6%F^rFd`v.%3redundant~argumentG>FbwFjzFdip
@$FbwC$>F`r-F[fl6$F`rFdbbl>Fb[bl7$-FGFa[blF\z-Fj`z6'FCFctF`r-FG6$Fcr-Fd_o6&FCF`
p7$-Fbcm6%/FctF_`u-Fhy6$-Fhy6$-FG6#Fhb[l/F\zF]fbl/FerF\a`lF`]nFbhmF`p-Few6&F_^l
Fh]lFbsFb_blF(F(F(Febxf*6$Fg`n'%"gGFMF(F(F(@%FedoFfdo-Fa^al6%F+Fd_lf*F(F(F(F(F(
F(F(F(F(F(F(Fj^^lf*F^^`lF(F(F(@%FeioFfdo-F_^l6$FT-FbfoFd^`lF(F(F(F]a]lf*F^^`lF(
F(F(@%FeioFfdo-F_cl6#/FesFcelF(F(F(F_^nf*Ff`n6$F_qF_``lF(F(C%@$FeioFfdo>FctFar?
(FCF\rF2F(F_x@$0&FctFi[lF`p-F_cm6#,&FCF.F^`blF2F(F(F(Fj_yf*6%Fg`n'F[jzFM'FgbzFM
6'%#g1G%#g2GF_[al%)f_facetsG%+f_traverseGF(F(C(@'Fa\uC$>FCf*F(F(F_anF(F_xF(F(F(
>FctFd_lFfalC$>FCFd_l>FctFcblFfdo>F\zFc]al>Fjr&F[e`lFjan>Fbsf*6#Fih`l6$F\[alF[`
alF_anF(@$-F[im6$%'_Env_fGF+C$>FCFd\cl?&Fd\cl-F^dlFi[lF_xC%>Fct-Fh]l6$-F[cy6#Fd
\clFb`l-Fb_al6&Fd\clFCFctF+-FAFitF(F(6(F][clFCF_[clFjrF^[clFctZ%?&Fd\cl-F_^l6$&
F`avFder-F[]y6$F+F`f`lF_x-Fbs6#F[]cl6$Q8cannot~evaluate~booleanF(Q;invalid~bool
ean~expressionF(@%/&%.lastexceptionGFg_lFbsYQhncannot~evaluate~return~value~of~
selection~function~to~booleanF(Y6$-Fcdp6$Q>error~in~selection~function:~F(&Fb^c
lFe_l&Fb^clFf^\l-F_^l6$FG<#-%(indicesG6#-FG6$Fgs-F_hlFcbnF(F(F(Fh`_lFi`_l%1simp
licialsubdivGf*Ff`n6,F_``lFjh\lFigrF^qFd\lF`[nFj`nFibnFgbz%#f3GF(F(C)@&FeioFfdo
4-&F^drFhivF_\l-F][o6#Q9argument~must~be~pointedF(>FjrF\r>FCFar>Fct-Ffhl6$;FjnF
jr7&&FCF_aoFb^o&FCFe_l-Fael6$F`p,&FjrF.F/F.>F\z7#-Fhy6$-Fhy6$-Fgh\l6$F`rFct/F`r
Fd]u/Fbs;F`sFjr?(F(F.F.F(F\bpC(>F\z-Fibl6$F\zF[cl>F`r&F\zF`cs>Fer-Fibl6$-FG6$F_
wF`rf*F\clF(F]tF(-F_cl6#1FabmF^\lF(F(F(>FftF`fm?&F]u&FerFeas0FftFcelC$>FbuFft>F
ft-Fbaz6$FftF]u>F\z-F_^l6'&Fd`v6#%;simplicialsubdiv/subdivideGF\zFjr&Fhgx6#-FG6
$F.FbuFct-Fgw6$/Fcr-F_hlFitF+F(F(F(Fa`blF.F\_vf*F^^`lF(F(F(@%FeioFfdo7#-&%%CELL
GF_v6$-Fj\s6#FiialF+F(F(F(Fhhzf*F^^`lF(F(F(@%FeioFfdo3F[bv-FijrFd^`lF(F(F(Fbjvf
*Ff`nF(F(F(@%FeioFfdo,&F\rF.F^`blF2F(F(F(FcavFddclF^gxf*6'FbcoF_`l'Fd[nFb`lFcqF
_``l6&Fd\lFc]pF`]lFbqF(F(C%>Fct-Fj\al6#-FG6$F^rF`in>Fjr-F]x6#-Fjal6$F_\sFcbl@'3
F\cm/FjrFjn-F^b`l6&Fbi_l,(F+F.FjinF2F2F.Fdbm7#-Fhy6$-F]x6#FdjblF\do0Fd_lF_`u-F^
b`l6'Fbi_lFcfclFabm7$,&FdbmF.FjrF2FjrFdfcl-F^b`l6'Fbi_lFcfclF_`uF\gclFdfclF(F(F
(Fa\wf*6$Fg`nFcflFh^blF(F(C$>FC-Fefz6#-Ffhal6$-F_^l6%&Fb_blF_\wFef`lFdas34-FK6$
Fd_l<%F'FeoFgjw3F^d^l/F]^xF_`u@%Fd_blFherFCF(F(F(Fabyf*Ff`n6$F`[nFibnF(F(C$?&FC
Fef`lF_xC$>Fct-Fefz6#-&F`avF_byFjfz@&F\gzFherFfby-F_cm6#-F[gv6$-Fjd`lFitF+F_`uF
(F(F(%+iscompleteGf*Ff`n6'F_``lF`[nFibnFd[nFih`lF(F(C'>FCFef`l@&FeioFfdo0-FG6$F
crFd\tF`pFb[w>FbsFcel?&FctFCF_x?&F\z-&F`avFjanFitF_xC$>Fjr-Fh]l6$-F[cyF[zFb`l@%
-FagmF`^t>Fbs-F`eq6$FbsFbeq>Fbs-F[flFjjcl5/FbsFcel3F]b`l/FbsFi[alF(F(F(Ffcclf*6
&%#CeGF^qFd[nFjh\l6%F`[nFg`nF_asF(F(C%>FCFf_l@$4-Fagm6%FcblFh_mF\zF\b\l-Fhy6$-F
bcm6%-Fagm6$F\z-FG6$F^rFctFiw-Fgh\l6$-&F`av6#Fg_o6&Fd_l7#-Fb^vFitF`p7#FcblF\hm/
FctFe^_lF(F(F(Fa]v,
I+std/existsf*6%FibnFigr'F`qFj\tF^[lF(F(C$?(FCF.F.FabmF_x@$-F+6#F[glC$@$Ffal>Fc
blFCFeb`lFjzF(F(F(F(,
I+std/forallf*F_]dlF^[lF(F(C$?(FCF.F.FabmF_x@$4Fd]dlC$@$Ffal>FcblFCFb[wF_xF(F(F
(F(,
I,std/findmaxf*6$'FibnFM'FigrFY6&F_q%%imaxGFg`lF]clF(F(C&>FctFjn>F\z,$Fe[xF2?(F
CF.F.FabmF_xC$>Fjr-F+6$F[glFe^\l@$2F\zFjrC$>FctFC>F\zFjrFctF(F(F(F(,
I*type/MODZf*F5F(F(F(3/Ff]pFj]p/FF.%%MODZGF(F(F(F(,
I/cone/_rays_setf*Fg]vF(6#%'inlineGF(Fi_wF(F(F(F(,
I/convex/motzkinf*6%Ff]\l'FeqFY'FfqFY6<F^q%#l0GF_`lFd[nFgq%(oldineqG%%newcG%#ci
G%'ineqnoG%*nooldineqG%#slG%#srG%#swGF_qF`qFi[uFigr%'face2dG%)adjacentG%%rposG%
%rnegG%#r0G%%addrG%'addsatG%%csatG%,dpw_newc_ciGF(F(C.>FCFi[w>FctF^s>F\zFct>Fjr
Fes>FbsFdv>F`rFfr>FftF[j]l>Fer7$Fh[mF[fx-F^bm6&F^rF?F\x%,constraintsG?(F]uF.F.F
\x52FjnFaho2FjnFgirC)>Fbu,(FftF.F]uF.FabmF2-F^bm6(FgsF?Faho%'lines,GFgirFe]v-F^
bm6&F`sF?%-constraint~#GF]u>8=-F[[l6#F^[^l>Fbw-F_^l6$f*F][lF(F(F(7$F+Fh`blF(F(6
$FiadlFecdlF\z>Fjx-F_^l6$f*F][lF(F(F(F\ddlF(F(F]ddlFjr@%-Fjs6%f*F5F(F]tF(0Fi_lF
jnF(F(F(FbwFbfwC(-F^bm6%FgsF?%9reducing~lineality~spaceG>Ffu*&-F``al6#&Fbw6$Fbf
wF^rF.&Fbw6#FbfwF.>Fbw-Fgw6$/FbfwFiwFbw>F\z-F_^l6%F\_lFbwFfu>Fjr-F_^l6%F\_lFjxF
fu@%2FftFbuC$>Fjr7$F^jr&FfuFg_l>Fbs7$-FG6#-F_^l6%F[flFbs<#Fbu<#-Fael6#;F.,&FbuF
.F2F.>FCFeyC.-F^bm6%FgsF?%7computing~new~rays~...G>847#-Fael6#;F.Fgir>6$8788-%-
selectremoveG6$f*F5F(F(F(2Fjn&F[im6$F+F^rF(F(6$F_adlFjxFegdl>6$89F]hdl-F_hdl6$f
*F5F(F(F(/FchdlFjnF(F(FehdlF]hdl-F^bm6*FfvF?%&r0~=~G-F]x6#Fhhdl%&r+~=~G-F]x6#F\
hdl%&r-~=~G-F]x6#F]hdl>8:F`p>8;F`p>85,(FCF.FahoF2F/F.?&FbdwF]hdlF_x?&FbfwF\hdlF
_xC'>8<-Fbaz6$&FbsFbedl&Fbs6#Fbdw@$2-F]x6#FcjdlF]jdlFdx>86F_x?(F^ewF.F.FgirF_x@
$33-Fjcl6$Fcjdl&Fbs6#F^ew0F^ewFbdw0F^ewFbfwC$>F^[elFjzFdip@$F^[elC$>Fiidl7$-FG6
#Fiidl-F\_l6$&FjxFhjdl&FjxFbedl>F[jdl7$-FG6#F[jdlFcjdl@&F^fdlC%?&FbfwFhhdlF_x>F
bs-Fgw6$/Fbfw-F[fl6$FfjdlFifdlFbs>F[jdl-F_^l6%F[flF[jdlFifdl>Fhhdl7$-FGFaidl-FG
Fdidl2Fjn,&FcidlF.FfidlF.>FCFey>Fjr7$-Fhy6$&FjrFbedl/FbfwFhhdlF_\el>Fbs7$-Fhy6$
FfjdlFa^elFg\el@$0F\zFctC$-F^bm6%F`sF?%;normalising~lines~and~raysG>Fa`r-FhvFa`
r-F^v6)F\rF\zFjrFbs7$-FGF]^vFh[m7$FbhmF[fxF]wF(F(F(F(,
I.convex/reducef*6#F_[n6,F^qF_`lFd[nFgqF_qF`qF\elFcqFdqFebwF(F(C4>FCF\r>FctF^s>
F\zFes@$3/F[fmFjn/FahoFjn-F_cm6#-Fb_pFi[l>FjrFdv>F]uFar>FbuFfr-F^bm6%F`sF?%Ftra
nsposing~ray-facet~incidence~tableG>Fer-Fddl6$Fjr-F]x6#Fbu-F^bm6%F`sF?%=detecti
ng~implicit~equationsG>FftFaho>F]u7$-FGFccn-Fhy6$F[h_l/Fbs-Fbfo6$f*F5F(F(F(/-F]
x6#F\calF[imF(F(6&FebwFftF\elFer7#-Fael6#;F.F[ael-F^bm6%F`sF?%Creducing~and~nor
malising~equationsG>F]u-FhvFccn-F^bm6%F`sF?%Freducing~and~normalising~inequalit
iesG>F`r-F[`l6%Fer,*FCF.-F]xFccnF2F[fmF2F2F.F]]z@%/F[j]lF\xC$-F^bm6%F^rF?%?all~
inequalities~induce~facetsG>Fbu-F\g\lF\wC&>Fbu-F\g\l6$F]u7#-Fhy6$F[h_lFj]q>Fer7
#-Fhy6$&FerFcbnFj]q-F^bm6%F`sF?%Ftransposing~facet-ray~incidence~tableG>Fjr-Fdd
l6$FerFaho-F^v6)FCFctF\zFjrF]uFbuFerF(F(F(F(,
I/CFACE/listraysf*6$FcflFi`nF^[lF(F(7#-Fhy6$Fh[l/FCFd_lF(F(F(F(,
I-contains/rayf*6$F`[nFd[nF(F(F(3-Fijr6$f*F5F(F(F(F_`xF(F(Fb`xFar-Fijr6$f*F5F(F
(F(1FjnF``xF(F(Fb`xFfrF(F(F(F(,
I*type/FAN0f*F5F(F(F(3-%)type/FANGF_\lF[bvF(F(F(F(,
I.contains/linef*Fdeel6$F_`lF`[yF(F(5Fh[x/-F]x6#-Fhv6#7$F_]nFd_lFf]nF(F(F(F(,
I/convert/affineF4F(,
I-convex/homogf*6$FedsFdf\lF(F(F(-F]]l6#7$-FGF[^alFd_lF(F(F(F(,
I.type/PCOMPLEXf*F5F(F(F(3Fj_dl/FFF^b`lF(F(F(F(,
I/convex/homog_1f*6%FW'%$v_1GFeoFdf\lF(F(F(-F]]l6#7%Fj\lFd_lFcblF(F(F(F(,
I.convex/originf*FbioF(F_anF(7$-Fael6$FjnFbi_lF.F(F(F(F(,
I.ray/_isaffinef*6#Fi_xF(F(F(-F_cl6#2FjnF0F(F(F(F(,
I/convex/lelim_1f*Fee`lF(F]tF(-F_^l6$Fa\l-Few6%FgwFhwF+F(F(F(F(,
I$FAN=F(FjzE\[lJFe]vf*Ff`nF(F(F(@%FeioFfdoFesF(F(F(Fi]vFc_`l%.stellarsubdivGf*6
#F\[al6'FbqFd[nF^qFddqFg`nF(F(C)@$F[`cl-F][o6#Q;sorry,~fan~must~be~pointedF(>FC
Fcas@$F`[oFe[o>FbsF+>F\z-FG6$F^rFbs?&FctFe_xF_xC'@$0F[fmF\zF_\o>Fjr-&F^drF_byFc
`n@$/FjrF_`uFdx>Fjr-Fh]l6$FjgxFb`l@%/FjrFcel-F][o6#QEray~is~contained~in~the~mi
nimal~coneF(>Fbs-Fgw6%/Fgs-F[fl6$F`cpF^fl/Fcr-Few6(F_^l%<FAN/stellarsubdiv/subd
ivideGFhexF\z7#FctFjrFbsFbsF(F(F(FfavFg_`lFi_`lFj_`lF^jlF]a`lFbirf*Ff`n6#FigrF(
F(C$Z%>FC-F_^l6%F_irFef`lFdasFcipY6%Fj^clFA&Fb^cl6#;FgsF2-Fcz6$FCFjzF(F(F(Fgjsf
*Ff`nF(F(F(@%FeioFfdoF^sF(F(F(FferFie`lFagvFcg`lF[avFbh`lFij`lFjj`lFdhvF^calFd[
wF^calFbevFccalF[hvFcdalF^`wF\galFg\mf*Fca[l60Fea[lFg`nFeg`lFfg`lF_qF`qFj\wF[]w
F]]wF[ay%#h1GF^qFaaw%#d2GF(F(C+>FCFjjn@(Fa\n-F_cm6#Fj`o4-FK6$FC-FY6#F^drFe]wFe\
rF\b\l>FfuF\r>FbuF^s>FftFes>FbwFdv>F\zFar?&Fct&FCFeasF_xC*>FbfwFa\dl>Fjx,&FfuF.
FbfwF.>Fbu7$-FG6#-Few6&F\^mFjxFbuFjn-FG6#-Few6&F\^mFjxFh[[lFfu>Fft-F[fl6$-Few6&
F\^mFjxFftFjn-Few6&F\^mFjxFdczFfu>Fbw7$-FG6#-Few6&F\^mFjxFbwFjn-FG6#-Few6&F\^mF
jx-FG6$FfvFctFfu>Fjr-FG6$FcrFct>F\z-Ffhl6$;FjnFjx7#-Fhy6$7#-Fhy6$-Fhy6$-Fhy6$-&
F[q6#.Fg\m6$FerF]u/F]u&Fjr6#,&FbsF.F`rF2/Fer&F\zFchm/F`r;-Fg`l6$Fjn,&FbsF.FbfwF
2-Fd`l6$FfuFbs/FbsF]afl>FfuFjx-Fj`z6'FfuFbuFftFbw-F_hlF[zF(F(F(F_jwf*Ff`nF(F(F(
@%FeioFfdoFdvF(F(F(FbjwFg^blFg`xFe_blFavF]ablFgzF`ablFebxFjhbl%.regularsubdivGf
*6#'Fg`n%%FAN0G60F_``lFjh\lFd\lF^qF`[nFhglFe[nF_qF`qFd[nFbqFeamFih`lF\ayF(F(C-@
$FeioFfdo>FCFar>FjrF\r>FjxFes>F[d\l-Ffhl6$Ff`cl7#-Fael6$F`pFi[p>FctF]dfl?(F\zFj
nF.FjrF_x?&FbsF]flF_x@%-F`c\lFcbn>&F[d\lF[z7$-FG6#FhdflFbs>F^`t7$-FGFah`lFbs?(F
\zF^rF.FjrF_x?(F(F.F.F(0F^`tF`pC.-F^bm6'FgsF^drF`h`l.%Csingular~cone(s)~left~in
~dimensionGF\z>Fbs&F^`tFg_l>FbwF`cp@$0-F]x6#FbwF\zC$-F^bm6%F^rF^dr.%Grestarting
~with~simplicial~subdivisionG-F_cm6#-&F^dr6#.Facfl6#-&F^dr6#.Fe_clF_\l>F`r-Fbao
6%-F^emF]fflF_xFer?(F]uF.F.F(/&F`r6$F]uF]uF.F(>FftF^[^l>Ffu&FbwFccn?(FbuF.F.,&F
]uF.F2F.F_x@$0&F`r6$FbuF]uFjnC$>Fft,&FftF.&FerF\aelF.>Ffu6$Ffu&FbwF\ael>Ffu<#Ff
u>Fjx-F[fl6$Fjx<#Fft@%/-F]x6#FfuF\z>F^`t-Fgw6$/F.-F`a\l6&FbsFjr7#FftFfuF^`t?(F]
uF^rF.FjrF_x>&FctFccn-F_^l6'F`a\lFiiflFjrFfiflFfu>Fbfw-Fgw6%/FgsFjx/Fcr-F_hlF_d
\lF+>F[d\l.F[d\lFbfwF(F_d\lF(F_^nF\jbl%,ispolytopalGf*6$Fg`n'FipFb[nF(F(F(C%@$F
edoFfdo-F^bm6%F`sF^dr%5testing~completenessG3-&F^dr6#.FciclF_\l-&F^dr6#.%1isqua
sipolytopalG6$FP-F^bm6%F`sF^dr%;testing~quasi-polytopenessGF(F(F(Fj_yFhjblFe_cl
Ff_clFf[glf*Ffjfl6/F^qFd[n%&ind_CG%&ind_rGF_qFigr%#L0GFbhnFcqFdqF`[nFd\l%#dnGF(
F(C2@$FedoFfdo-F^bm6%F`sF^dr%Ptrying~to~find~strictly~convex~support~functionG>
FCF\r>F`rFef`l>FjxF[j]l>Ffu*&FCF.FjxF.?(FbsF.F.FjxF_x>&F\z6#&F`rFcbn*&FCF.F_]sF
.>Fbu6$-Fhy6$-Fhy6$-F\^m6%FfuFct&F\zF]ffl/Fct-FG6$FcrFbw/FbwF`r-Fhy6$-Fhy6$-F\^
m6'FfuFctFjn,$FctF2*&FCF.FbsF./Fbs;F.,&FjxF.F2F.F[]\l>FftFiw?&FctFesF_xC'>Fdbz-
F_hdl6$f*Fg]vF(F(F(-Fagm6$F[imFesF(F(6$Fd[nFctF`r>Fbs&F\z6#&F]uFg_l>FbfpFbs>Fbu
6$Fbu-Fhy6$-F\^m6'FfuFctFbsFd^glFi]gl/Fbw&F]uFeas>Fft6$Fft-Fhy6$F\`gl/FbwFer>Fb
w-Ff^o6&FfuF`pFg^mF`p>Fbs-F]x6#F[^gl>Fbw-Ff^o6&Ffu7#FbwF`pFfifl>Fbu-F_cl6#/Fi`g
lFbs@$3FbuFa\uC%-F^bm6%F`sF^dr%8constructing~polyhedronG>Fct-F\b]lF]ffl>Fd_l-Fe
[v6&Fb]yF`p-F_^l6$f*F][lF(F(F(-Ffgn6$F+-Faim6$F+&F[im6#;F.F^dlF(F(6&Fd[nFctF^qF
CF^s-F_^l6$f*F][lF(F(F(-Ffgn6$F+-Faim6$F+&F[im6#;,&F\calF.F.F.,&F\calF.Fb_alF.F
(F(6(Fd[nFctF^\glFjrF^qFCFesFbuF(F(F(Fa`blFjnF\_vf*Ff`nF(F(F(@%FeioFfdo7#-&Fd`[
lF_v6$-Fd_o6&F\rF`pF^sF`pF+F(F(F(F[amf*Ff`nFb\flF(F(C$Z%>FC-F_^l6%FfhoFef`lFdas
FcipYFi\flF]]flF(F(F(%,regularpartGf*FccflFb\flF(F(C&@$FeioFfdo>FCFiw-&F^drFgga
l6$F+f*FhbnF(F(F(@%-&Fc^vFac\lF_\lC$>F[im6$F[imF+FjzF_xF(F(6$FigrFC-Febt6$-F_^l
6$Fb^v7#FCFjzF(F(F(FbjvF\eclFcavFd`[lF^gxf*6'FbcoF^dyFaeclFbamF_``l6$Fd\lFc]pF(
F(C$>FctFeecl-F`g`l6'F+,&F+F.FjinF2FabmFdbmFdfclF(F(F(Fa\wF`gclFabyFchclFciclFd
iclFfcclFa[dlFa]v,
I'convexf*F56$Fj`lF86#%(packageGE\s#%._PackageTableG=F(FjzE\[lcqFdjnf*F(F(F(F(-
&F`bmF@FOF(F(F(Fj_oF[gglFe]vF[gglFi]vF[gglFh_]lF[gglF^^vF[gglFb`]lF[gglFfielF[g
glF]_vF[gglF_b]lF[gglFdeoF[gglFac]lF[ggl%*directsumGF[gglFj_vF[gglFfavF[gglF`io
F[gglF\bvF[gglF^jlF[gglF\bnF[gglFf^pF[gglFhizF[gglF^ioF[gglFbcpF[gglFgjsF[gglFa
dqF[gglFafvF[gglFferF[gglFgizF[gglF`gqF[gglF_\rF[gglFh]rF[gglFi]rF[gglFij`lF[gg
lFdhvF[gglFd[wF[ggl%(torsionGF[gglFj[wF[gglF_a[lF[gglFa]oF[gglF\[[lF[gglF^`wF[g
glF`crF[gglFa\^lF[gglF^awF[gglF[c[lF[gglFg\wF[gglFha^lF[gglF`bwF[gglF[frF[gglFi
frF[gglFeboF[gglF_jwF[gglFbjwF[gglFijlF[gglFg`xF[gglFaaxF[gglFebxF[gglFj^^lF[gg
lFch^lF[gglFacflF[gglF]a]lF[gglF[\_lF[gglFdhxF[gglFe_pF[gglF]]sF[gglFd_sF[gglFh
jxF[gglFg`[lF[gglFihxF[gglF[asF[gglF`axF[gglF_^nF[gglFbdsF[gglFecsF[gglFdjflF[g
glFh[tF[gglFj_yF[gglF[`yF[gglFh`_lF[gglFe_clF[gglFf[glF[gglF`_oF[gglF\]\lF[gglF
^`yF[gglF]btF[gglF^aoF[gglFdjxF[gglF\_vF[gglFedglF[gglFeitF[gglFhhzF[gglFda]lF[
gglFbjvF[gglF]`_lF[gglF_boF[gglFa\wF[gglFabyF[gglFh[zF[ggl%/transversalfanGF[gg
lFejtF[gglFciclF[gglF_huF[gglFf[vF[gglFa\zF[ggl%*_InitFileGf*F(F(F(F(@$4-%*inte
rfaceG6#%&quietG-%'printfG6#Q[vconvex~1.0~as~of~Thu~Feb~13~13:35:26~CET~2003|+C
opyright~(C)~1999-2003~Matthias~Franz|+Distributed~under~the~GNU~General~Public
~License|+This~version~is~still~UNDER~CONSTRUCTION!|+F(F(F(F(C%>FC-FG6$F.FA@%-F
<6#&F?Fi[l>FctFdhgl>Fct&FFFi[l@%-FK6$FctFMZ%-FctFOQ.invalid~inputF(C$>FC&Fb^cl6
#Fhr@%/-FGF\e^lFj]pY6$&Fb^cl6#;F^rFcr-Fd]`lFi_vYF(Fc^pF(FSF(Fa]v,
I&PFACE=F(FjzE\[lBFe]vf*Ff`nF(F(F(@%FeioFfdo-F_^l6$FT-Fjal6$F_\sFdezF(F(F(Fh_]l
f*Ff`nFe]sF(F(@'FeioFfdo-FijalF_\lC'>Fbbn-Fc_^lFds>FC&-Fd`nF_\lFg_l>FbbnFiw>Fd`
n-Fgw6$/FgsFiw-F_hl6#Fd`nFCFe[xF(6$Fd`nFbbnF(Fi]vFi^zF_\zF`_zF]_vf*Ff`nF(F(F(@%
FeioFfdo-FT6#-&Fc^vF]b]lF_\lF(F(F(Fac]lf*Ff`n6&Fi`nFipFf[n%#FFGF(F(C%>FctFes>FC
-F]xFajl@'FeioFfdo55FgjglF\d]l3F]_^l/Fh[[lF`pC'>Fbbn-Fc_^lFit>F\z-Fc[l6#-Fhy6$&
-Fd`nF`ilFg_l/FjrFgan>Fd`nF`[hl>FbbnFiw-Fben6$F\zF^enFe[xF(Fe[hlF(F\bnFdgzFhizF
iizFgizF^\[lFg\[lFh\[lF^][lF_][lFagvF`^[lFh`vF\qFbevFh`[lF[hvF\a[lF\[[lFba[lFg\
wf*FhbnF(F(F(@%FeioFfdo-&Fc^v6#.F36#-&Fc^vFe\wF_\lF(F(F(F[c[lF\c[lFaaxF]h[lFavF
jh[lFj^^lf*Ff`nF(F(F(@%FeioFfdo-F_^l6$FT-FbfoFdjglF(F(F(Fa[m&Fian6#Ff^vF]a]lf*F
f`nF(F(F(@%FeioFfdo-F_cl6#Fdh[lF(F(F(Fg`[lFj[\lF_^nf*Ff`nF(F(F(@'FeioFfdoFdh[lF
2,&-&Fc^vF]^nF_\lF.F2F.F(F(F(Ff^vFe^[lFceoF_]\lFg^yFd]\lFhhzf*Ff`n6$FipFi`nF(F(
C&@$FeioFfdo>FCFes>FctF\r5/FctFcel3/Fd_mF`p2-Fj[r6#F\iz-Fd`lF`]vF(F(F(%.convert
/CFACEGf*FhbnFc_]lF(F(C%@$FeioFfdo>FCFes-F\fv6&F\rF^s-&FdfnF^foFi[lFdvF(F(F(Fbj
vFh^\lF^gxF^_\lFh[zFc_\lFa]v,
I(FANCONE=F(FjzE\[lfnFe]vFf]vFi]vFj]vF^^vF_^vF]_vF^_vFj_vF[`vFfavFgavF\bvF]bvFb
irf*Fg]v6$%#s1G%#s2GF(F(-Fcdcl6$-F_irFO-F]i]l6$7$/FC&F^drFifz/FctFc`[l-FC6$-Fct
F_\lFdasF(F(F(F^jlFhcvF\bnFcevFhizf*6#Fj\w6'Fg`nFgeoF`[nFd[nFih`lF(F(C*>FctFjjn
@$Fja[lFe[o>FC-Fc`[lF_\l@$-Fjs6$f*F5F(F(F(0FabhlF[imF(F(6$Fg`nFCFctFe][l>F\z&Fc
t6#-Fgdx6$FidxFct>FjrFfbbl>Fbs-Fbaz6#-FG6#-F_^l6$Fc\alFct-Fj`z6$-F_av6#-&F`av6#
.Fg\[l6$F\z-Fbfo6$f*F5F(F(F(-Fagm6$&F[imF_\lF^dlF(F(6&Fd[nFjrFih`lFbs<#FggdlFCF
(F(F(FgjsF_fvFafvFbfvFgfvF[qFferFhfvFagvFbgvF`foF\hvFdhvFehvFd[wFe[wFh`vF^drFj[
wF[\wFbevf*Fi\wF(F(F(@%3Fc][l/-FG6$"#5F+-FG6$F\ehlFd_l-Fjcl6$Fi_wF[`wC$-F^bm6&F
^rFd`v.%(callingG&FdixFfgv-&FdixF`evF_^[lF(F(F(F[hvFc_wF\[[lf*F[bhl6%Fg`nFgeoF`
[nF(F(C%>FctFjjn>FCFabhl@'Fja[lFe[o-Fjs6$f*F5F(F(F(FfbhlF(F(FgbhlFctFe][l-F[[fl
6$FC-FG6#<#-Fhy6$-FG6#FfbblFjb[lF(F(F(F^`wF_`wFg_oFf`wF^awF_awFg\wF\bwFg\mf*F(6
&F`[nFgeoF\ahlF]ahlF(F(C%>FCFd\m>FctFjjn@%-FK6$Fct-FY6#Fd`[l-Fjcgl6$FC-F]i]l6$7
$/F\z&F^drFf\m/FjrFc`[l-F\z6#-FG6#-F_^l6$FjrFctFCF(F(F(F`bwFabwF_jwF`jwFbjwf*Fg
]vF[ahlF(F(-Fj`z6$-&FdixFag[lFO-F]i]l6$7$/FCFa`w/Fct&Fd`vFe`[lFgahlF(F(F(FijlFg
_xFg`xFh`xFaaxFbaxFavf*6$F_[nFg`nF(F(F(-Fj]p6&Fd`vFahvFjn-Fj\al6#7#/FjnFd_lF(F(
F(FebxF_`wFa[mf*Fg]vF[ahlF(F(@%Fh[xF^cx-Fcdcl6$-FfhoFO-F]i]l6$7$/FC&F^dr6#.F[am
Ffahl-FC6#FiahlF(F(F(Fi^oFccxFdhxFehxFg`[lf*Fg]v6$Fc]pF^qF(F(C$>FCFjdhl@'FeioFf
do/-FG6$FjnFh`clFj]pFh`cl>Fh`cl-F_hl6#Fh`clF(F(F(Fihxf*F[ixF(F(F(@)F[hqFfdoFb]w
Fe[o3Fc][l/Fabhl-Fc`[lFi[mC$@$Ffal>Fcbl-&Fd`v6#.FhizF_^[lF_xC$-F^bm6&F^rFd`vFde
hl&Fdix6#Fihx-&FdixFgeblFOF(F(F(FhjxFijxF`axF^[yF_^nFg_yFj_yF_`wF[`yF\`yF^`yF_`
yFdjxFg`yFceoF\cyF\_vFbcyFbjvFjcyFcavFc^vF^gxF\dyFa\wFidyFabyFbhyFh[zFi[zF`gglf
*6$F`[n'FcflFb[n6,Fg`n%#FdGF_``lFd[nFcqF^qFeabl%$qMCG%#qrG%$qFdGF(F(C0>FCFabhl>
FctF\r>FerFi[w@&FedoFfdoF\brC$@$Fa\u>Fd_l-FfcmFitF`cv>FerFi[w>Fft,&FctF.FerF2>F
\zF``m>FerFi[w>FjrFi_w>Fbs-&F?6#.F`]sF]^v>F]u-Ffhl6$;FjnFft7#-Fhy6$-F_^l6%F`[x-
Fbfo6$f*F5F(F(F(Fec`lF(F(6$Fd[nFjrFbbflFbs/F`r;FerF\r>Fbu<#-Fhy6$-FG6#-F_^l6$f*
F5F(F]tF(Fii`lF(F(F(&F]uFchm/F`rFa^il@$Fa\u>Fd_lFbs-Fc]_l6'FftF`pFbu-FG6$Fcr-Fd
_o6&FftF`p-Fh]l6$FbuFYF`p-F_hlFccnF(F(F(Fa\zFb\zFa]v,
I%CELL=F(FjzE\[l_oFe]vFb_]lFh_]lFi_]lFi]vFj]vFb`]lFc`]lF]_vFga]lF_b]lF`b]lFac]l
Fbc]lFj_vF[`vFfavFgavFbirFj`hlF^jlF^d]lF\bnFde]lF[vFaf]lFhizFjahlFgjsFi[^lFgfvF
\qFferFhfvF`fof*Fc_]l6&F`[nF_^`lF\ahlF]ahlF(F(C%>FC-F]foFO>Fct-&FddclFe`[lF_\l@
%/Fh[[lF_`uFC-Fjcgl6$FC-.&Fdz6#.F_falFitF(F(F(FagvFbgvFh`vFdzFd[wFe[wFj[wF[\wFb
evFfdhlF[hvFc_wF^`wF_`wFg_oF]\^lFa\^lFb\^lF^awF_awFg\wFj_^lFg\mF]`^lFha^lFia^lF
_jwFhb^lFbjwFchhlFijlFfg^lFg`xFh`xFaaxFbaxFavf*6$'F`[nF\qFg`nF(F(F(-Fj]p6%Fd`vF
f[_lFbihlF(F(F(FebxF_`wFj^^lF[h^lFch^lFdh^lFa[mFb[_lF]a]lFi[_lF[\_lF\\_lFi^oFi^
_lFdhxFehxFg`[lFdjhlFihxF_[ilFhjxFa__lF`axF^[yF_^nFg_yFj_yF_`wF[`yFg__lFh`_lFi`
_lF^`yF_`yFdjxFg`yFceoF\cyF\_vFbcyFhhzFha_lFda]lF\b_lFbjvFbh_lFcavFianF]`_lFdh_
lF^gxf*Fjh_lF(F(F(@%F\i_l-.FddclFai_l-F_bilFei_lF(F(F(F_boF_j_lFa\wFhj_lFabyFbh
yFh[zFi[zFa\zFb\zFa]v,
I%MODZ=F(FjzE\[l+%'_smithGf*Fdgl6%FhglFd[nF_qF(F(C$@'-FK6$-F_hl6#%,_Env_ismithG
FM>FC-F]cilF_\l-FK6$-F_hl6#%'ismithGFM>FC-FdcilF_\l>FC-&%'linalgGFccil6#-Fbcm6%
-FK6$F+FfhlF+-Fh]lF_dil@'-FK6$FCFbpC$?(FctF.F.-Fd`l6$-FG6$FbhtF`dil-FG6$FfhtF`d
il0&FCFidnFjnF(7#-Fhy6$&FCFhg_l/F\z;F.FihlF\bsFC-F][o6#Q.ismith~failedF(F(F(F(%
&_zeroG-F[^p6%F]`dlFjnF`pF^gglf*F(6#FgjnF(F(C$>FCFjjn@%-FK6$FC-FY6#F]`dl-&F]`dl
F_v6$-Fc[l6#-FG6#-Few6%FGF^rFC-&F]`dl6#.%+_normeldivG6#-F_^l6$FG-Few6%FGF`sFCFe
[oF(F(F(Fgizf*6#FhamF(F(F(F\rF(F(F(F_gglf*FggilF(F(F(F^sF(F(F(F[c[lf*FggilF(F(F
(,&F\rF.FiaxF.F(F(F(Favf*6$'Fd[nFe`l'%&eldivGFd`oF(F(F(-Fj]p6%F\`dlF+Fd_lF(F(F(
Fgetf*Fiet6&F_qF_hilF`ftF`qF(F(C%?(FCFhjoF.Fd_lF_xC(@$FeftC$>Fgft-Fdfil6$FgftF`
pFdx>Fct-&F]`dl6#.FdbilF^gt>F\zF[fm?(FjrF.F.F\z/F\`tF.F(>Fgft-Fdfil6$,&FgftF.F\
zF2&Fct6#;FjrF2>Fift,&FiftF.F\zF2>&FcblFi[m-Fdfil6$F^jilF`pFcblF(F(F(F`gilf*F[f
il6'F_qF`qF^qFd\lF_`lF(F(C&>FjrF^\l>FbsF+?(FCF.F.FfdmF_x?(FctFb]yF.FjrF_xC%>F\z
-Fh\l6$&FbsFi[l&FbsFit>F][jl*(F\[jlF.F][jlF.F\zF2>F\[jlF\z-F]i]l6$FdfmFbsF(F(F(
F^gxf*F\hilF^[lF(F(,&*&F+F..%"ZGF.F.-Fc[l6#-Fhy6$&Ff[jlFi[lFaeelF.F(F(F(Fa]v,
I$&<>f*F(F(F]tF(4-F[hvFOF(F(F(Fa]v,
I6FAN/homology/getbasisf*Ff]alF(F_anF(Fh]alF(F(F(F(,
I0convex/addanglef*6&FX%#v1G%$v12G%$v13G6#F[\lF(F(C$>FC,&F+F.Fd_lF27$-%&evalfG6
#-%'arctanG6$-Faim6$FCFcbl-Faim6$FCF\hmF+F(F(F(F(,
I-convert/CONEF4F(,
I#&=F4Fa]v,
I#&<F4Fa]v,
I$&<=F4Fa]v,
I5polyhedron/&x/hspacef*6%F&Fe[mFa\mF^[lF(F(-Fgw6%Fh[m/F2,&-Fc[l6#-Fhy6$Fh[l/FC
FcblF.F0F.F+F(F(F(F(,
I5face/convert/fanconef*6#F\j\lF(F(F(-Fjcgl6$-%2face/convert/coneGF_\l-%/fancon
e/domainG6#-%,face/domainGF_\lF(F(F(F(,
I0type/POLYHEDRONf*F5F(F(F(3Fj_dl-Fagm6$FF<$F\_pF_bilF(F(F(F(,
I.convert/CFACEF4F(,
I.type/POLYTOPEf*F5F(F(F(3Fdil-FehzF_\lF(F(F(F(,
I*type/CELLf*F5F(F(F(3Fj_dl/FFF_bilF(F(F(F(,
I-type/FANCONEf*F5F(F(F(3Fj_dl/FF.Fd`[lF(F(F(F(,
I*type/CONEf*F5F(F(F(3Fj_dl-Fagm6$FF<$Fg`jlF`hvF(F(F(F(,
I+type/CONE1f*F5F(F(F(3-Fh`jlF_\lFfilF(F(F(F(,
I+type/CONE0f*F5F(F(F(3FaajlF[bvF(F(F(F(,
I,convert/FANF4F(,
I+type/PFACEf*F5F(F(F(3Fj_dl/FFFbhzF(F(F(F(,
I+type/CFACEf*F5F(F(F(3Fj_dl/FFFe[[lF(F(F(F(,
I#&xF4Fa]v,
I<FAN/stellarsubdiv/subdividef*6&F_[nF^qFca\lFdam6$Fg`nFaqF(F(C%@$5Fia\l3/FjinF
.-&F[q6#.Fd[wF_\lF\b\l>FctF^s-Fhy6$-Fbcm6%Fdb\lFiw-Fgw6$/F`sFctFjb\l/FCF`b\lF(F
(F(F(,
I8convex/orderplanepointsf*6#'FddqFY6$F[bmFigrF(F(C&@$2F^\lFgsF\b\l>FC,&Ff_l#F.
F^rFi_lF_djl>Fct-F_^l6'Fc\jlF+FC,&Fi_lF.FCF2,&&F+Ff\blF.FCF2-Few6%FGF^r-Fibl6$F
ctf*F\clF(F]tF(-F_cl6#2Ff_lFj_lF(F(F(F(F(F(F(,
I6polyhedron/proximum/gf*6%FXF[\lFab_lF(F]tF(,&F+F.*&-Faim6$F+FcblF.Fd_lF.F2F(F
(F(F(,
I5cone/&x/addincidencef*6&'%#CSGFb`l'%$CASGFb`l'%#ASGFb`l'F_qFjdlF(F(F(-F`eq6$F
cbl-F_^l6%Fc[l-F`eqF`^rF\hmF(F(F(F(,
I6convex/lindiosolve/<=f*6$'F6FY'F]clFYF^[lF(F(C$?(FCF.F.F^\lF_x@$2F[glFh[lFb[w
F_xF(F(F(F(,
I:convex/readpoly/listofsetf*6#Ficp6'F_`lFd\l%#ssG%#seGFb\rF(F(C%>F\zFiw?(F(F.F
.F(F_xC(>FC-FaepF_\l@$/FCFcipFdip>Fct,&&-F^ep6$FCQ$|fr%nF(Fg_lF.F.F.>FjrFiw?(F(
F.F.F(F_xC&>Fbs-F^ep6$&FC6#;FctF2Q7%d%d%d%d%d%d%d%d%d%d%nF(@$0Fdgs"#6C$>Fjr6$Fj
rF[hsFdip>Fjr6$Fjr-FG6$F-Fbs>Fct,&FctF.Fg`zF.>F\z6$F\z-Fh]l6$-F_^l6%Fc[lFc\vF.F
b`l7#F\zF(F(F(F(,
I$&<<F4Fa]v,
I8convex/readpoly/makesatf*6$Fbq%#ieG6$Fa[pFd[nF(F(C%-F^bm6%F`sF\q.%@computing~
incidence~informationG>FC<#-Fael6#;F.Fabm7#-Fhy6$-Fbfo6$f*F5F(F(F(/-Faim6$F[im&
FablF_\lFjnF(F(6&Fd[nFctFbjjlFd_lFC/FctF+F(F(F(F(,
I5convex/readpoly/nopsf*6%FjcpF[dp'Fd\lFj\tF(F(F(@$3-F<6#&Fd_lF_\l0Fb\[mF`p>Fcb
l-F]x6#&Fb\[mFg_lF(F(F(F(,
I7convex/readpoly/matrixf*F_gjl6'F_`lF_qFhgqFXF_ialF(F(C)>FCFhgjl>FctF.>F\zFcip
?(F(F.F.F(F_xC&>Fjr-F^ep6$FghjlQ%%a%nF(@$F`fclFdip>F\z-Fcdp6$F\zQ#%aF(>Fct,&Fct
F.&FjrFe_lF.>FbsFiw?(F(F.F.F(F_xC&>Fjr-F^ep6$FCF\z@&F`fclFdip4-FK6$FjrFcoC$-Fbj
pF_\l-F][o6#Q<polyhedron~must~be~rationalF(>Fbs6$Fbs-Ffgn6$&FjrFeasFc]x>FCFhgjl
Fe^mF(F(F(F(,
I5convex/writepoly/setf*6$FicpFa[pF^[lF(F(C%-Fihq6$F+Q"|frF(?&FC-Fibl6#FbcvF_x-
Fihq6%F+FbiqFey-Fihq6$F+Q$~|hr|+F(F(F(F(F(,
I8convex/writepoly/matrixf*6&FicpFjcpFhgqFj`l6$Fd[nFXF(F(C$-Fihq6%F+Q%|+%s|+F(F
d_l?&FCF\hmF_xC$>Fct-F"Fi[l-Fihq6&F+FcblFfj\l-FGFhcwF(F(F(F(,
I)type/FANf*F5F(F(F(3Fj_dl/FFF`g`lF(F(F(F(,
I9convex/readpoly/readlinef*F_gjlFee`lF(F(?(F(F.F.F(F_xC$>FC-%)readlineGF_\l@&F
in-F_cm6#Fcip5Fjgjl0Fb^oQ"#F(F`cvF(F(F(F(