M7R0
I$FAN=6"%&falseGE\[lO%1isquasipolytopalGf*6$%"FG'%"PG%%nameG6/%"dG%"rG%&ind_CG%
&ind_rG%"iG%"LG%#L0G%#L1G%#eqG%%ineqG%"CG%"nG%#dnGF$F$C4@$2""#9#-%&ERRORG6#Q3to
o~many~argumentsF$-%)userinfoG6%""$F"%Ptrying~to~find~strictly~convex~support~f
unctionG>8$-%#opG6$F?9$>8)-&F"6#.%._maximal_listG6#FO>8/-%%nopsG6#FQ>80*&FK"""F
YFjn?(8(FjnFjnFY%%trueG>&8&6#&FQ6#F\o*&FKFjn,&F\oFjn!""FjnFjn>8,6$-%$seqG6$-F[p
6$-%-convex/embedG6%Fhn8%&F`o6#8./Fbp-FM6$""'Fep/FepFQ-F[p6$-F[p6$-F`p6'FhnFbp"
"!,$FbpFfo*&FKFjnF\oFjn/F\o;Fjn,&FYFjnFfoFjn/Fbp-FM6$FHFO>8-%%NULLG?&Fbp-FM6$""
%FOF]oC'>6$8+8*-%-selectremoveG6$f*6#F9F$F$F$-%'memberG6$T#F^rF$F$6$F0FbpFQ>F\o
&F`o6#&Fdr6#Fjn>&8'6#FbpF\o>Fho6$Fho-F[p6$-F`p6'FhnFbpF\oFbqFcp/Fep&Fdr6#;F?Ffo
>F[r6$F[r-F[p6$F]t/FepFer>Fep-&%%CONEG6#.%._intersectionG6&Fhn7"7#FhoF`u>FQ-FM6
$FHFep?&Fbp7#F[rF]o@$-%+std/forallG6$f*6#%"xGF$F$F$-%&evalbG6#/-%/convex/dotpro
dG6$FOF^sFaqF$F$F_sFQ-%'RETURNG6#F%>F\o-Fen6#Fgp>Fep-Fjt6&Fhn7#FepF`uFfu>Fho-F_
v6#/FivF\o@$3Fho/F@F?C%-FF6%FHF"%8constructing~polyhedronG>Fbp-&F[u6#.%'relintG
Fdp>9%-&%+POLYHEDRONGF\u6&,&FKFjnFjnFjnF`u-%$mapG6$f*6#%"vGF$F$F$-%-convex/homo
gG6$FO-Fcv6$FO&F^s6#;FjnT%F$F$6&F0FbpF/FKFhq-Fhx6$f*F[yF$F$F$-F^y6$FO-Fcv6$FO&F
^s6#;,&&FeyFWFjnFjnFjn,&FbzFjnT'FjnF$F$6(F0FbpF2FgsF/FKF^rFhoF$F$F$%/convert/af
fineGf*6#F*6#F4F$F$C$Z%>FK-Fhx6%&F[u6#.FfzFR&9"FatQ!F$Y6%&%.lastexceptionG6#F?9
!&Fh[l6#;F`rFfo-&%)PCOMPLEXG6#.%%_fanG6$FKF%F$F$F$%(supportGf*Fhz6$F9%"fGF$F$C$
?&FKFRF]oC$>Fbp-%*traperrorG6#-&&-FM6$FaqFj[l6#.%$_elG6#.Fe\l6$FKFb[l@&/Fbp%*la
sterrorG-FB6#F]^l0Fbp%%FAILG-Ffv6#-&Fb]l6#.%%_newG6$-&&Fb]lFe]l6#.%*_2domtypeGF
hsFOFa^lF$F$F$%)traverseGf*6$F*'%"gG%*procedureGF$F$F$@%F>FA-&Fc]l6#.%*traverse
2G6%FOFaxf*F$F$F$F$F$F$F$F$F$F$F$%&codimGf*FhzF$F$F$@%2FjnF@FA-Fen6#-FM6$""&FOF
$F$F$Fh^lf*F$F$F$F$-.%%_OBJG6$Fc]lFc[lF$F$F$%.stellarsubdivGf*6#%#F0G6'%#rlGF0F
/%"SGF*F$F$C)@$4-&F"6#.%*ispointedGFW-FB6#Q;sorry,~fan~must~be~pointedF$>FK7#Fb
[l@$4-%%typeG6$FK-%%listG6#%$vecG-FB6#Q9illegal~argument~type(s)F$>F\oFO>F`o-FM
6$F?F\o?&Fbp-Fhx6$%2convex/reduceqvecGFKF]oC'@$0-FenFhsF`o-FB6#QEarguments~must
~lie~in~the~same~spaceF$>Fgs-&F"Fh]l6$F\oFbp@$/FgsFa^l\>Fgs-%(convertG6$-FM6$F`
rFgs%$setG@%/Fgs<"-FB6#QEray~is~contained~in~the~minimal~coneF$>F\o-%'subsopG6%
/F`r-%&unionG6$-FM6$F`rF\o<#Fbp/Fip-%%map2G6(Fhx%<FAN/stellarsubdiv/subdivideG-
FM6$FipF\oF`o7#FbpFgsF\oF\oF$F$F$%&linesGf*FhzF$F$F$@%Fa`lFAFhqF$F$F$Fg]l%(FANC
ONEG%#&=Gf*6$%#F1G%#F2G6(%$ll1G%$cmpGF3F/%$MC1G%$MC2GF$F$C+>FgsFL@(F>FA4-Fcbl6$
FaxFc]lFibl0Fgs-FM6$F?FaxFev>FKFhq@$0FK-FM6$FHFaxFev>Fbp-%#ifG6%/FKFa^lf*F\vF$6
$%)operatorG%&arrowGF$7$Fhq-Fddl6$F^rFhdlF$F$F$%/cone/_rays_setG>F\o-FM6$FipFO>
FQ-FM6$FipFax?(F`oFaqFjnFgsF]o@$0-Fddl6$-Fhx6$Fbp&F\o6#F`oFhdl-Fddl6$-Fhx6$Fbp&
FQFiilFhdlFevF]oF$F$F$F[`lf*6%F*'%#f1GFe_l'%#f2GFe_l6'%#g1G%#g2G%&f_dimG%)f_fac
etsG%+f_traverseGF$F$C(@'FewC$>FKf*F$F$6#%)rememberGF$F]oF$F$F$>FbpFax/F@FHC$>F
KFax>Fbp9&FA>F`o&F\_l6#.%$dimG>Fgs&F\_l6#.%%predG>F\of*6#%#rsG6$F_al%$rs1GF`[mF
$@$-F^s6$%'_Env_fGFOC$>FKF[]m?&F[]m-Fey6#FKF]oC%>Fbp-Fddl6$-&%&CFACEG6#.%%raysG
6#F[]mFhdl-Fdz6&F[]mFKFbpFO-Fj[lFhsF$F$6(FfjlFKFijlFgsFgjlFbpZ%?&F[]m-Fhx6$&Fb]
l6#.%(maximalG-&Fc]lFe^m6$FO.FfblF]o-F\o6#Fc]m6$Q8cannot~evaluate~booleanF$Q;in
valid~boolean~expressionF$@%/&Fh[lFdsF\oYQhncannot~evaluate~return~value~of~sel
ection~function~to~booleanF$Y6$-%$catG6$Q>error~in~selection~function:~F$Fg[l&F
h[l6#;FHFfo-Fhx6$FM<#-%(indicesG6#-FM6$F`r-%%evalGFcoF$F$F$%#&xGf*6#Fifl60%#FlG
F*F^glF_glF3%"jG%#C1G%#C2G%#l1G%#r1G%#h1GF/%#d1G%#d2GF$F$C+>FK7#Fc[l@(/FKF`u-Ff
v6#-&%'CONVEXG6#.%(zerofanG6#Faq4-Fcbl6$FK-Ffbl6#F"-FB6#QFillegal~combination~o
f~argument~typesF$/F@Fjn-FfvFW>FhnFL>FhoFhq>F[rF^r>FepFd`l>F`oF\il?&Fbp&FKFatF]
oC*>81-FM6$F?Fbp>FY,&FhnFjnFgcmFjn>Fho7$-FM6#-F\fl6&F`pFYFhoFaq-FM6#-F\fl6&F`pF
Y-FM6$FHFbpFhn>F[r-Feel6$-F\fl6&F`pFYF[rFaq-F\fl6&F`pFY-FM6$F`rFbpFhn>Fep7$-FM6
#-F\fl6&F`pFYFepFaq-FM6#-F\fl6&F`pFY-FM6$Ff`lFbpFhn>Fgs-FM6$FipFbp>F`o-%&arrayG
6$;FaqFY7#-F[p6$7#-F[p6$-F[p6$-F[p6$-&F[u6#.Fi`m6$FerFdr/Fdr&Fgs6#,&F\oFjnFQFfo
/Fer&F`oFfn/FQ;-%$maxG6$Faq,&F\oFjnFgcmFfo-%$minG6$FhnF\o/F\oFdfm>FhnFY-&Fc]lFf
^l6'FhnFhoF[rFep-Fh`mFiilF$F$F$Fc\lf*6$%$Cl1G%+compattestG6.F/%"lGF9%#ClG%#MCGF
0F:%#CdGF`am%#CIG%'notredG%)m_compatGF$F$C+@$/-FenFWFjnC&>F`o&FOFds>FK-FM6$F?F`
o>Fer-&F[uFj[mFiil-Ffv6#-Ffhm6'FK-FM6$FHF`o-Fddl6$-FM6$F`rF`oFhdl-FM6$FipF`o-Fb
fm6$;FaqFK7%-%"$G6$F`uFer7#-Fddl6$F`o&Fb]l6#.%&_baseG-Fc[n6$F`u,&FKFjnFerFfo>FY
f*F$F$FdhlF$F]oF$F$F$>Fgs-%%sortG6$FOf*6$F]v%"yGF$FdhlF$-F_v6#2-Fen6#F\il-Fen6#
F_ilF$F$F$>FK-FM6$F?&FgsFds>Fbp-FM6$FHFb]n>FQF[el>F\o-Fbfm6$F`[n7#-Fc[n6$F`uFfx
?&F`oFgsF]oC)@$0F]jmFKFhcl@$0FfjmFbp>FbpFa^l@$Fax>FY&-FM6$FjnF`o6#.%.arecompati
bleG>FdrF`jm>FepF]o?(FerFKFfoFdrFep?&Fho&F\o6#FerF]o@&4-FY6$F`oFho-FB6#Q=argume
nts~must~be~compatibleF$-%'subsetG6$Fhjm-Fddl6$-FM6$F`rFhoFhdlC%-FF6%F?Fc]l.%3r
edundant~argumentG>FepF%[@$FepC$>FQ-Feel6$FQFhjm>&F\o6#Fdr7$-FM6#F]anF`o-Ffhm6'
FKFbpFQ-FM6$Fip-&F[u6#.%&_hullG6&FKF`u7$-F`hl6%/FbpFa^l-F[p6$-F[p6$-FM6#Ffjm/F`
oF`_n/FerF`[n-FMFhs-FMFfnF`u-F\fl6&FhxFddlF\oFh[nF$F$F$%1simplicialsubdivGf*Fhz
6,F`im%$sMCGF4F/F:F9%#FLGFh\lFdjl%#f3GF$F$C)@&Fa`lFAFeal-FB6#Q9argument~must~be
~pointedF$>FgsFL>FKF\il>Fbp-Fbfm6$;FaqFgs7&&FKFcbm&FKFds&FKFi[l-Fc[n6$F`u,&FgsF
jn!"#Fjn>F`o7#-F[p6$-F[p6$-%<FAN/simplicialsubdiv/insertG6$FQFbp/FQ&FKFco/F\o;F
HFgs?(F$FjnFjnF$0F`oF`uC(>F`o-Fc\n6$F`of*Ff\nF$FdhlF$-F_v6#1&FaxFi[l&FOFi[lF$F$
F$>FQ&F`o6$FjnFjn>Fer-Fc\n6$-FM6$"")FQf*Ff\nF$FdhlF$-F_v6#1-Fen6#FaxFhimF$F$F$>
F[r&FerFds?&Fdr&FerFat0F[rF[elC$>FhoF[r>F[r-%*intersectG6$F[rFdr>F`o-Fhx6'&Fc]l
6#%;simplicialsubdiv/subdivideGF`oFgs&-FM6$F`rFQ6#-FM6$FjnFhoFbp-Fael6$/Fip-Fh`
mFhsFOF$F$F$%+genhvectorGf*6#'F*%%FAN0G6&F:%"pGF]vF3F$F$C&@$0F@FjnFA>Fbp-&F"6#.
%/genhpolynomialG6$FOF`o>FKFL-%&ArrayG6$F`[n7#-F[p6$-%&coeffG6%FbpF`oFgs/FgsF`[
nF$F$F$Fjalf*FhzF$F$F$@%Fa`lFA-F_v6#/FhqF`uF$F$F$%-issimplicialGf*FhzF$F$F$@%Fa
`lFA-Fiu6$&Fb]l6#-FM6#Fj[lFRF$F$F$%&imageGf*6$F*%"AG6#FjflF$F$C$>FK-F^]l6#-&Fc]
lFa\l6$-Fhx6%&Fh[n6#.Fb[oFRFb[l34-Fcbl6$Fax<%Fhbl%)rationalG%.real_infinityG3-F
cbl6$Fax%$matG/-&F_bm6#.%)_inverseGF\gnFa^l@%/FKF]^lF^^lFKF$F$F$%(hplanesGf*Fhz
F$F$F$@%Fa`lFAFd`lF$F$F$%(hvectorGf*Fhz6&Fh\lF:F3F^amF$F$C%>FbpFL>FK-&F"6#.%(fv
ectorGFW-F[jn6$;FaqFbp7#-F[p6$-%"+G6#-F[p6$*()Ffo,&F`oFjnFgsFfoFjn-%)binomialG6
$,&FbpFjnFgsFfoFa_oFjn&FK6#FgsFjn/Fgs;FaqF`o/F`oFf^oF$F$F$%,ispolytopalGf*F)F$F
$F$C%@$F>FA-FF6%FHF"%5testing~completenessG3-&F"6#.%+iscompleteGFW-&F"6#.F'6$Fc
[l-FF6%FHF"%;testing~quasi-polytopenessGF$F$F$FVf*6#'F*<$F"F`\l6%F/F3F`imF$F$C%
>FKFL>F`oF\il7#-F[p6$-FM6#&F`o6#,&FKFjnFbpFfo/FbpF`[nF$F$F$Fginf*6$F[in'%"qG%*a
lgebraicG6*F`imFijlFd_l%"hGF:%#IPGF]vF^inF$F$C,@$F>FA>F\oFL>FbpF^\m>Fgsf*6%Fe\m
%$rs2G%#n2GF$F`[mF$C$>&F^sF\gn,&FdcoFjn-%'expandG6#*&),&FeyFjnFfoFjn,&Fg[mFjn-&
Fg]mFj[mF[^mFfoFjn-FdzFWFjnFjn?&F[]m-T)F[^mF]o-T+6%Fc]mFaxFg[mF$F$6,FhboFQF]vFe
rFd_lF`oFijlFbpFgboFgs>F`of*Fd\m6&%#n1GF3F^in%"mGF`[mF$C)>FKF]do@$/FKFhim-FfvFd
s>FK,&FKFjnFfoFjn>&F^sFWFaq?&F[]m-FeyF[^mF]o-Fdz6%Fc]mFOFK>F`o-Fgco6#*&,&FjnFjn
FbdoFfoFjnFdeoFjn-F[_o6#-F[p6$*&-Fajn6%F`oFbdoFbpFjn)FbdoFbpFjn/Fbp;Faq,$FK#Fjn
F?F$F$6*FhboFQFijlFbpFgboFgsF]vFer>FQ-%&tableGF$>&FQFcbmFaq>FKFb^m@%/-FenF`]mFj
nC$>F[]mF_dn>Fdr-Fgco6#*&),&FerFjnFfoFjn,&F\oFjnF]doFfoFjn-F`oF]_mFjnC$?&F[]mFK
F]o-Fgs6%Fc]mFaqF\o>Fdr-Fgco6#*&)FerF\oFjn-%%subsG6$/Fer*$FerFfoF_goFjn@%Few-Fh
ho6$/FerFaxFdrFdrF$F$F$Fj]mf*FhzF$F$F$@%Fa`lFAF^rF$F$F$%+ambientdimGf*FhzF$F$F$
@%Fa`lFA,&FLFjn&Fc]l6#.%'_shiftGFfoF$F$F$%,regularpartGf*FjhnFizF$F$C&@$Fa`lFA>
FKF\r-&F"6#.F`_l6$FOf*6#Fh\lF$F$F$@%-&Fg]m6#.%*isregularGFWC$>F^s6$F^sFOF%F]oF$
F$6$F4FK-&F"Fa\l6$-Fhx6$&Fg]mF]_l7#FKF%F$F$F$%)homologyGf*6$F*F_al6+%#naG%&COEF
FGFe[o%#ORGF/Fhjl%)getbasisG%(stop_rsG%#rtGF$F$C->6$FKFbp-&F_bm6#.%*_parsemodG6
#Fc[l>F\o-&Fc]l6#.FbioFW@'/FKFjn>Fdr-F`hl6%/Fc]l.F"F[el<#F[el/FKF?C$@&FcglFibm0
-F\]pF\gnF\oFhcl>Fdr-Fddl6$-Fhx6$Fjhl-FSF\gnFhdlFA-FF6%FHFc]l%7determining~inci
dencesG>Fgs-F]go6#%'sparseG>F`o-F[jn6$;FaqF\o7#-Fc[n6$F[el,&F\oFjnFjnFjn>FQFi[m
>Ferf*6#'Fe\mFhdlF$F`[mF$-FM6#-&F_bm6#.%+_gausselimG6#-Fddl6$FOFfblF$F$F$@$4-Fj
_n6$Fdr-Fh_l6%FOf*6$Fh\lFe\m6#F/F$F$@%-%+std/existsG6$f*F\vF$F$F$-Fj_n6$T$FOF$F
$6$Fe\mFaxF^sF%C%>FK-FeyFW>&FdzF`]m-Feel6$Ffap<#FaxF]oF$F$6(F_\pFdrFhjlFQFe[oF`
of*6&%#f0GFbjl%$rs0GFg\mF$F$F$>&F^s6$Fg[m9'-%%signG6#-&F_bm6#.%%_detG6#-&F_bm6#
.%+_matmatmulG6$7#-Fey6#Fbbp7$-Fey6#Fg[m-FM6$Fjn-%&minusG6$FbbpFg[mF$F$6&F]\pFg
sF^\pFerFf_n-FF6%FHFc]l%3computing~homologyG-&Fbp6#.%*_homologyG6&FaqF\o-Fhx6$F
enF`of*6#%"kG6$F3F^amF$F$7#-F[p6$7#-F[p6$&F^s6$FbpFK/Fbp&Fey6#,&FOFjnFfoFjn/FKF
bzF$F$6&F]\pFgsFe[oF`oF$F$F$%#&<Gf*Fhfl6%F^glF_glF3F$F$C$@&F>FA-&Fc]l6#%$&<=GFi
\pC%>FKF\il>FbpF_il?(F`oFjnFjnFLF]o@$0-Fen6#&FKFiil-Fen6#&FbpFiil-Ffv6#F]oF%F$F
$F$F]hnf*6&%#CeGF/F0F_cn6%F9F*F^inF$F$C%>FKF[jm@$4-F\s6%Fg[m-FM6$F`rFKF`oF]cm-F
[p6$-F`hl6%-F\s6$F`oFhcmF\r-F\en6$-&Fb]l6#Fjan6&Fax7#-Fe[pFhsF`u7#Fg[mFbbp/Fbp-
&F[u6#.%'facetsGF`]mF$F$F$%&flagfGf*6$F*'Fbal-Fhdl6#%(integerG6(FhjlFijlFjjlF4F
[eo%&flagsGF$F$C+@&F>FA/FaxF[elF`eo>Fgs-Fc\n6$-Fddl6$FaxFfbl%">G>F\o-FenFg_o>FK
Fi[m>FbpF^\m>F`of*Fd\m6$%#asGF_alF`[mF$C%@'0-F^sF[^m&Fey6#F@>FKFb[l/F@FdzC$>Fbd
o,&FbdoFjnFjnFjn-FfvF$>FKFc[l>FbpF[]m?&F[]m-FddoFhsF]o-Fj[l6$Fc]mFKF$F$6,FhjlFK
F4FgsF[eoF\oF[jpFQFijlFbp>FQFaq?&F[]mFb^mF]o@$1Fb]n-FKF[^mF]hoFQF$F$F$%.regular
subdivGf*Fjhn60F`imF_cnF:F/F9%"BG%"UGF3F^amF0Faal%#RSGFe\mFjflF$F$C-@$Fa`lFA>FK
F\il>FgsFL>FYF^r>%6FAN/regularsubdiv/rMCG-Fbfm6$F\dn7#-Fc[n6$F`u,&FgsFjnFjnFjn>
FbpFb]q?(F`oFaqFjnFgsF]o?&F\oF\gpF]o@%-&F[uFijoFco>&Fa]qFiil7$-FM6#F_^qF\o>F_gp
7$-FMF^gpF\o?(F`oF?FjnFgsF]o?(F$FjnFjnF$0F_gpF`uC.-FF6'F`rF"F]gp.%Csingular~con
e(s)~left~in~dimensionGF`o>F\o&F_gpFds>FepFgel@$0-FenFdpF`oC$-FF6%F?F".%Grestar
ting~with~simplicial~subdivisionG-Ffv6#-&F"6#.Fe\q6#-&F"6#.F\cnFW>FQ-&F_bm6#.%-
_hermite2invG6%-&F_bm6#.%+_transposeGFdpF]oFer?(FdrFjnFjnF$/&FQ6$FdrFdrFjnF$>F[
r&FerF^an>Fhn&FepF^an?(FhoFjnFjn,&FdrFjnFfoFjnF]o@$0&FQ6$FhoFdrFaqC$>F[r,&F[rFj
n&Fer6#FhoFjn>Fhn6$Fhn&FepFbbq>Fhn<#Fhn>FY-Feel6$FY<#F[r@%/-Fen6#FhnF`o>F_gp-Fa
el6$/Fjn-%<FAN/regularsubdiv/subdivideG6&F\oFgsFfuFhnF_gp?(FdrF?FjnFgsF]o>&FbpF
^an-Fhx6'FecqFicqFgsFfuFhn>Fgcm-Fael6%/F`rFY/Fip-Fh`m6#Fa]qFO>Fa]q.Fa]qFgcmF$Fb
dqF$Fg`of*Fhz6'F`imF9Fh\lF0Fe\mF$F$C'>FKFR@&Fa`lFA0-FM6$Fip&FK6#FfoF`uFev>F\oF[
el?&FbpFKF]o?&F`o-&Fb]lF`ipFhsF]oC$>Fgs-Fddl6$-Ff]mFiilFhdl@%-F\s6$FgsF\o>F\o-F
[dp6$F\o<#Fgs>F\o-FeelF^fq5/F\oF[el3/Fc]l.F`\l/F\oFf]pF$F$F$%)containsGf*6%F*F9
'%#FCGF-6,F]amF_im%#CrGF_amFh\lF/F:F3F`imF]glF$F$C-@&2FHF@FA-%+type/!BASEG6$Fax
Fb]lFibl>FerFggl>FQ-FajmF\gn@&0FerFLFhcl3Fefq/FQFaqC$@$Fc[m>Fg[m&-&F`\l6#.%(min
imalGFWFdsF`gp>FKFhq>FbpF\hl>F`o-Fddl6$-FM6$F`rFaxFhdl@'Fbhl>F[rf*F\vF$F$F$3/Fh
qF^s-Fj_n6$FeyFhhlF$F$6&F_imFbpF^gqF`o/FKFbp>F[rf*F\vF$F$F$-Fj_n6$F^sFhhlF$F$6$
F^gqF`oFev>FhoF\il?(FdrFerFfoFggqF]o?&Fgs-%'selectG6$F[r&FhoF^anF]oC$>F\o-&F[uF
h]l6$Fgs-FMFiil@$0F\oFa^lC$@$Fc[m>Fg[m-Fe^l6$-F[_lFcoFO-Ffv6#-F_v6#/F`o-Fddl6$-
Ff]mFcoFhdlF%F$F$F$%1convert/PCOMPLEXGf*FhzFizF$F$C$Z%>FK-Fhx6%&F[u6#.%3convert
/POLYHEDRONGFRFb[lFd[lYFf[lF^\lF$F$F$Fcfpf*Fhfl6'%#llGF:F3F9F`imF$F$C%>FbpFL>FK
F\hl@)F>FAFcglFibl0FbpFgglFhclC%>F\oF\il?(F`oFaqFjnFbpF]o?&FgsFhilF]o@$4-&Fc]l6
#.Fhfq6$FaxFgsFevF]oF$F$F$%&flaghGf*Feip6%%"TG%"sGFgboF$F$C'@$F>FA>F`oFaq>FbpF[
gn?&FK-&%)combinatG6#.%)powersetGF\gnF]o>F`o,&F`oFjn*&)Ffo,&FbpFjnFcgoFfoFjn-&F
c]l6#.Fcip6$FOFKFjnFjnF`oF$F$F$%)preimageGf*FhzFf[oF$F$C$>FK-F^]l6#-F\\o6$-Fhx6
%&Fh[n6#.F`_rFRFb[lF%@%Fe]oF^^lFKF$F$F$Fc^of*Fhz6$Fe[oFhjlF$F$C'@$Fa`lFA>FK-F[j
n6#;,$FfioFfoF[]p>FbpFi[m-&Fc]lFajo6$FOf*FejoFh`pF$F$C%>FK-F^sFW>&FeyF`]m,&F`ar
FjnFjnFjnF]oF$F$6&FhjlFbpFe[oFKFKF$F$F$Fg^mf*6$F*Fi]r6#F`imF$F$C%@(F>FA5F\cm/Fa
xF[_m-Ffv6#-Fhx6%Fe^lFRFO0Fax.FbfmFibm>FK-F\fl6&FhxFe^lF\ilFO@%Fd]p-Fh`mF`]m-%2
convex/shiftarrayGF`]mF$F$F$%)_purefanGf*6&'F_imFfbl'Fe\rFfbl'F7Ffbl'%$rlsG<$Fh
dlFfbl6%F:F/Fe\mF$F$C&>FK-FM6$F?F[jm>Fbp-Fen6#-FM6$FipF[jm@%2F@F`r>F`o-Fhx6$f*F
\vF$FdhlF$-FM6#FhhlF$F$F$-Fddl6$FOFhdl>F`o-Fddl6$FbbpFhdl-Ffhm6'FKFaxF`oFg[m-Fb
fm6$F`[n7%-Fc[n6$F`uF_boFO-Fc[n6$F`uFbpF$F$F$FiioFaqF\\mf*Fhz6$F3F`imF$F$C%@$Fa
`lFA>FbpF\il?(FKFLFfoF$F]o@$0&FbpF`]mF`u-Ffv6#,&FKFjnFfioFfoF$F$F$F[[pFjjn%)ske
letonGf*6$F*'F:Fiip6(Fe[oFh\qF3Fe\mF4FhjlF$F$C'@&F>FA1F[]pFaxF]cm>F\oF\r>FQFi[m
-Fi`r6$FOf*FejoF$F$F$@%2F`apFdapF]oC$>Fdz6$FdzFOF%F$F$6(F:FaxFhjlFQF4F\o@%/F\oF
\r-FB6#Q1nothing~selectedF$-F\\o6$-Fhx6$F[_l7#F\oF%F$F$F$%'_printGf*6''F/%*nonn
egintG'F^imFfbl'F0FhdlF\crF`im6$F:Fi]rF$F$C$>Fbp-F]go6#-FM6$F?9(-Fe]p6'FO,&FOFj
n-FenFdcpFfoF[gn-FenFgcp7#-F[p6$-Fen6#Fher/FK;FjnFOF$F$F$Fdhqf*FhzF$F$F$@%Fa`lF
A7#-&FeflFf^l6$-Fgan6&FLF`uFhqF`uFOF$F$F$%*protectedG,
I/convex/dehomogf*6#'FgboFhblF$F$F$7$&FO6#;FjnFddn&FOF^eqF$F$F$F$,
I.convex/affinef*6#'F\yFfbl6#%"aGF$F$C$>FKFejr@%/FKFaqFbjr*&FbjrFjnFKFfoF$F$F$F
$,
I)type/ray-%)specfuncG6$Fhbl%$rayGF$,
I)type/vec<%-Ffbl6#Fh\o-%'vectorGFi[s-%'VectorGFi[sF$,
I*type/line-Fc[s6$Fhbl%%lineGF$,
I)type/mat<%F`u-%'matrixGFi[s-%'MatrixGFi[sF$,
I*mat/nrowsf*6#Fe[oF$F$F$@'-FcblF_`pFhim-Fcbl6$FOFe\s-FM6$7%F?FjnF?-Fh`mFW-FM6$
7$FjnFjnFOF$F$F$F$,
I3convex/dotprodwithf*F[y6$F3%"wGF$F$-%(unapplyG6$-F[_o6#-F[p6$*&&FOF`]mFjnFher
Fjn/FK;FjnFhimFbpF$F$F$F$,
I1convex/reducevecf*F[y6#F:F$F$C$>FK-%$absG6#-%%igcdG6#-FMFW@%F_[sFO*&FOFjnFKFf
oF$F$F$F$,
I2convex/reduceqvecf*F[y6$F:%#vlGF$F$C%@%F\]s>FbpFO>FbpF^`p>FK-F[_s6#-F^_s6#-FM
6#-Fhx6$%&numerGFbp@%F_[sFbp*(-%%ilcmG6#-FM6#-Fhx6$%&denomGFbpFjnFKFfoFbpFjnF$F
$F$F$,
I3convex/combinevecsf*6$F\yFi]sF$F$F$-Fe^s6#,&*&F\fnFjnF[jmFjnFjn*&F]fnFjn&FaxF
dsFjnFfoF$F$F$F$,
I3convex/maximalsetsf*6%'F^im-Ffbl6#Fhdl'FahmFiip'F]hmFiip6%%#nlGF3F[eoF$F$C(>F
K7#-F[p6$7$Fbp-Fen6#&FOFhs/FbpFd^s@$Fc[m>FK-%'removeG6$f*F\vF$F$F$52F]fnF`ap2T&
F]fnF$F$6&FahmFaxF]hmFg[mFK>FK-Fhx6$f*F\vF$FdhlF$F[jmF$F$F$-Fc\n6$FKFhen>F`oF`u
?&FbpFKF]o@$4-F[ap6$f*F\vF$F$F$-Fj_n6$&F`ap6#Fey&F`apFWF$F$6&F^imFOF3FbpF`o>F`o
7$FfjqFbpF`oF$F$F$F$,
I4convex/transposesatf*6$'%$satGFfbl'%(entriesGF]hr6%%%sat2GF3F^amF$F$C%>FK7#-F
c[n6$F[elFax?(FbpFjnFjnFhimF]o?&F`oFjbsF]o>FK-Fael6$/F`o-Feel6$F\gpFielFKFKF$F$
F$F$,
I1convex/mat/homogf*6$'Fe[o%)listlistGFijr6#F3F$F$7$-F[p6$7$-FM6#Fb^s&FaxF`]mFc
^s-%.convex/originG6#,&-Fen6#F[jmFjnFjnFjnF$F$F$F$,
I2convex/shiftarrayf*Fj\s6&F3%#i0G%#i1GFh\qF$F$C'>Fbp-FM6$7$F?FjnFb]s>F`o-FM6$7
$F?F?Fb]s>Fgs-Fbfm6#;,&FbpFjnFfoFjn,&F`oFjnFfoFjn?(FKFbpFjnF`oF]o>&Fgs6#FbeoFb^
s-Fh`mFg_oF$F$F$F$,
I1type/POLYHEDRON1f*F\vF$F$F$3-Fcbl6$FOFdx0F^rF`uF$F$F$F$,
I1type/POLYHEDRON0f*F\vF$F$F$3Fais-&F[uFc]r6$FO-F`gs6#FLF$F$F$F$,
I2type/POLYHEDRON_0f*F\vF$F$F$3Fais-&F[u6#.%/containsrelintGFiisF$F$F$F$,
I3type/POLYHEDRON__0f*F\vF$F$F$3-Fcbl6$FO%-POLYHEDRON_0G/F\ilF`uF$F$F$F$,
I3convert/POLYHEDRONf*F\v6#%$fcnGF$F$C$@%-%)assignedG6#&F_bmFa[o>FKFd[t>FK&-FM6
$FjnFOFa[o@%-Fcbl6$FKFe_l-FKFi\p-.Fj[lFi\pF$6#F_bmF$F$,
I2polyhedron/&x/rayf*6$F\y%#roGF$F$F$-Fael6$-FMF\gnFOF$F$F$F$,
I3polyhedron/&x/conef*6#%#P1G6+F,%#PdGF/F3%$eqsGF\yF:Fd\t%#hoGF$F$C->FK-&F[u6#F
i`m6#-FM6#-Fhx6$&F[u6#%-convert/CONEGFham>Fbp-FM6$F?FK>F\oF\r>FerFL>FQ,$-F`gsFa
_nFfo>FhoF\r?(FgsF?FjnF@F]oC&>Fho6$FhoFer>F`o-FM6$F?&Fc[lFg_o>F\o6$F\o-F`p6'Fbp
FQFaq-F`gsFiilFer>Fer,&FerFjnF`oFjn>FK-%/convex/motzkinG6%FKFhgrF`u>FhoFau>Fdr-
Fhx6$f*F\vF$FdhlF$/FOF\rF$F$F$Fho-%.convex/reduceG6#-&F[uFf^l6),(FbpFjnF@FfoFjn
Fjn-Fhx6%Fa\t-FM6$FHFKFdr-Fhx6%Fa\tF\hpFdr-FM6$Ff`lFK-Fhx6&%5polyhedron/&x/hspa
ceG&-FM6$FipFK6#;Fjn,$F@FfoFdrFho-Fhx6&F`at-FM6$""(FKFdrFho-FM6$FffnFKF$F$F$F$,
I3convex/lindiosolvef*6&'%#rdG%'posintGF\cr'F8Ffbl'Fj\qFhdl6-F/Fe[o%#AtGF3F^am%
"MGF,Fg\n%#AyG%%yincG%#v0GF$F$C--FF6*FHF[uF[gn.%.equations~andGF\ir.%0inequalit
ies~inGFO.%+dimensionsG@$3/FaxF`u/Fg[mF`u-Ffv6#-F`hl6%/F@F`rF`u-&F_bm6#.%'_idma
tGFW>FKF\ir>Fbp7$Fg\t-F[p6$7&-FM6#,$&Fg[mFg_oFfo-Fc[n6$Faq,&FgsFjnFfoFjnFjn-Fc[
n6$Faq,&FKFjnFgsFfo/Fgs;FjnFK>F`o-F\aqFhs>FK,&FKFjnFOFjn>Fer-F_dtF`]m>FQF`u>Fep
7#-Fc[n6$FaqFgcl?(F$FjnFjnF$0FerF`uC&>FdrF^gn>Fer-Fael6$/FjnF\rFer>Fho-&F_bm6#.
%+_matvecmulG6$FbpFdr@&/FhoFep@$4-F\s6$FdrFQC$@$3F]dt4-F\s6$&Fdr6#FcirFbbp-Ffv6
#7#F[ht>FQ7$FibnFdr4-F[ap6$f*F\vF$F$F$-%6convex/lindiosolve/<=GFdvF$F$6$Fg\nFdr
FQ?(FgsFjnFjnFKF]o@$2-Fcv6$&F`oFg_oFhoFaqC$>F[r-Fael6$/Fgs,&&FdrFg_oFjnFjnFjnFd
r@$4-F\s6$F[rFer>Fer7$-FMFa_nF[r-Fhx6$f*F\vF$F$F$&FO6#;FjnF`apF$F$6$FbbtFOFQF$F
$F$F$,
I4convex/hilbertbasisf*6%'%$allG%(booleanG'F9F[u'Fh\qF-6)F^imF0FgboF/Fi\q%"VGF8
F$F$C.>FbpFjhq>FKF\hl@$3/FbpF`uFjamC$@$Fc[m>Fg[mFK-FfvFhs-&F_bm6#.%*_hermite3G6
&-F\aq6#7$-FMF`]mFhbnF]oF\oFQ@$Fc[m>Fg[m&FQ6#;FjnFcgo@$Fc[u-Ffv6#F`u>FgsFggq>F\
o&F\o6#;,&FcgoFjnFjnFjnFgs>FQ&FQF]]u>Fgs,&FgsFjnFcgoFfo>Fer-F_cs6%F\s-Fhx6$Fe^s
-F]cp6$FQ-FM6$F[btFax-Fddl6$-F_dtFg_oFhdl-F]cp6$-F\aqFfn-F^bt6&FgsF`uFer-F`hl6%
FOF\r-Fddl6$-F]cpF^dlFhdlF$F$F$F$,
I2face/volume/volobf*Fhz6.%#rnGF:FgboF`cn%#viG%#BLGF][uFh\q%#BVG%#OBGF\yF3F`[mF
$C$>FKFL@'2F?FcgoC)>Fgs-&%&PFACEGF_\mFW>F\o-FM6$FjnFL>Fep&%5face/volume/vertice
sGFco>FQ-F_cs6$f*FejoF$F$F$-F\s6$F^sFLF$F$6$F^_uF\oFgs>FerFaq?&FdrFQF]oC'>6$Fho
F[r-Fj^uF^an>Fbp,&FepFjn&F``u6#-FM6$Fjn-FM6$F?FdrFfo>Fbp-F[_o6$Fbp-F[p6$*(-Fcv6
$Fbp&FYFdsFjnF^buFjn&FYFi[lFjn/FYF[r>F`o-Fcv6$FbpFbp>Fer,&FerFjn*&FhoFjn-%%sqrt
GFiilFjnFjn6$*&-%)simplifyG6$FerFhbuFjn,&-Fen6#F[rFjnFjnFjnFfo7$-FMF`cu7$Fbp,$*
$F`oFfoFfo/FcgoF?C%>Fbp,&&F``u6#F^^tFjn&F``u6#-FM6$FjnFKFfo>F`oFbbu6$Fgbu7#Fccu
6$FcgoF`uF$6#F``uF$F$,
I0convex/affh2rayf*6#'Fgbo<$%*affhplaneG%*affhspaceGF$F$F$@%-Fcbl6$Fh[tFh\o-F^y
6$FL,$Fh[tFfo,$-F^y6$Fh[t,$FLFfoFfoF$F$F$F$,
I-convex/embedf*6''F:F]hr'F6Ffbl'FigsF]hr'%#L2GFfbl'%#i2GF]hrF$F$F$@'Fc[m7%-Fc[
n6$FaqFg[mFg\t-Fc[n6$Faq,(FOFjnFg[mFfoF[gnFfo2Fg[mFghr7'FbfuFg\t-Fc[n6$Faq,(Fgh
rFjnFg[mFfoF[gnFfo-FMFdcp-Fc[n6$Faq,(FOFjnFghrFfoF[irFfo7'-Fc[n6$FaqFghrF\gu-Fc
[n6$Faq,(Fg[mFjnFghrFfoF[irFfoFg\tFdfuF$F$F$F$,
I'CONVEX=F$F%E\[lW%.emptypcomplexGf*6#F\hrF$F`[mF$@%Fa`lFA-F_\l6$7#-&F_bm6#.%0e
mptypolyhedronGFWF%F$F$F$%+wprojspaceGf*F$6$%#alGFi\qF`[mF$C$>FKFham@'5Fjam4-Fc
bl6$FK-Ffbl6#Fcbt-FB6#QAarguments~must~be~of~type~posintF$FbgoF]bmC$-Ff`q6%-Fhx
6$f*F\vF$FdhlF$7#FOF$F$F$FKF]oFbp-&Fdx6#.%(facefanG6#-&F_bm6#.%)convhullG6#-FM6
#-F\fl6%FaelFgft-F`]oFhsF$F$F$%%cubeGf*6$F\hr'%"cGFh\o6&Fh\lF^imF3F\yF`[mF$C'@)
F>FA/FOFaq-Ffv6#-&F_bm6#.%/fullpolyhedronGFcbmF\cm>FgsFjn>FgsFax>FKf*6$F^imFa[v
F$F$F$7$F`_sFaxF$F$F$>Fbp7$7#,$FgsFfo7#Fgs?(F`oF?FjnFOF]o>Fbp7$-FM6#-Fhx6%FKFbp
Ff\v-FM6#-Fhx6%FKFbpFgs-Fcju6#FhbnF$F$F$%+affinehullGf*F$6%FhhuF_imFe\rF$F$C&>F
KFham>Fbp-Fhx6$&Fdx6#.F\^t-F^jq6%FcblFKFdx>F`o7%-FM6#-Fhx6%F^y-F^jq6%FcblFKFhbl
Fjn-FM6#-Fhx6%F^y-Fhx6$FM-F^jq6%FcblFKFa\sFaq-FM6#-Fhx6%F^y-Fhx6$FM-F^jq6%FcblF
KFe[sFaq@%5/F@Faq0,&FgclFjn-FenFiilFjnF@-FB6#QParguments~must~be~(affine)~rays,
~lines~or~conesF$-F^\r6#-&F[u6#.%+linearhullG6$FhbnFfjqF$F$F$Fh\pf*F$F$F$F$@'/&
Fc[lF^eq.Fiip6$,&F@FjnFfoFjn%%MODZG/F^av.Fh\o6$FaavF_bm6$F@F_bmF$F$F$%)readpoly
Gf*6#'%#fnG%'stringG6+%#fdG%$secGF^im%%dataGF:F/F,F`esFdesF$F$C-@$Fa`lFA>FK-%&f
openG6$-Fi_m6$FOQ&.polyF$%%READG?(F$FjnFjnF$4-%%feofGF`]mC&>Fbp-%'sscanfG6$-%9c
onvex/readpoly/readlineGF`]mQ#%sF$@$/FbpFaqFadl>Fbp-Fddl6$&FbpFdsF-@+-F\s6$Fbp%
;convex/readpoly/matrixsecsGC$-FF6&F`rFdx.%0reading~sectionGFbp>Ffs-%7convex/re
adpoly/matrixGF`]m-F\s6$Fbp<&.%,AMBIENT_DIMG.%$DIMG.%+N_VERTICESG.%)N_FACETSGC$
Fbdv>Ffs&-Fbcv6$FdcvQ#%dF$Fds-F\s6$Fbp<$.%3VERTICES_IN_FACETSG.%5FACETS_THRU_VE
RTICESGC$Fbdv>Ffs-%:convex/readpoly/listofsetGF`]m33/Fbp.%,DESCRIPTIONG-Fb[t6#&
%*infolevelG6#Fdx1F?F\gvC$-FF6&F?Fdx.%3displaying~sectionGFbp?(F$FjnFjnF$F]oC%>
F`oFdcv@$/F`oFd[lFf`n-%'lprintG6#-Fddl6$F`oF-C$-FF6&F`rFdx.%1skipping~sectionGF
bp?(F$FjnFjnF$0FacvFaqF$-%'fcloseGF`]m@%-Fb[t6#&Fgs6#F\ev>F\o,&F[ivFjnFjnFjn-Fh
x6&%5convex/readpoly/nopsGF`dvFgsF\o@$4-Fb[tFco-FB6#QPcannot~construct~polyhedr
on~from~the~given~dataF$@&-Fb[t6#&Fgs6#.%,AFFINE_HULLG>F[jv-Fi_pFjiv-Fb[t6#&Fgs
6#.%*EQUATIONSG>F[jv-Fi_pFbjv@(-Fb[t6#&Fgs6#F^ev>FQ,&F\[wFjnFjnFjnFiiv>FQ-FenFj
iv-Fb[t6#&Fgs6#.%)VERTICESG>FQ-Fen6#-Fi_pFc[w@$3-Fb[tFfn/F\oFQ>F[jvF`u@-33Fb[w-
Fb[t6#&Fgs6#.%'FACETSGFiivC%@)-Fb[t6#&Fgs6#F]fvC$>FhoF^]w>Fdr-F`hl6%-Fb[t6#&Fgs
6#F_fvFg]w-F\es6$Fho-FenFc[wFe]wC$>FdrFg]w>Fho-F\es6$Fdr-FenFe\w2F[^wFa^wC$>Fho
-%8convex/readpoly/makesatG6$Ff\wFd[w>FdrFi]wC$>Fdr-Ff^w6$Fd[wFf\w>FhoF_^w-FF6%
FHFdx.%Fdescription~of~polyhedron~is~completeG>Fer-Fc`t6(F\oF`uFd[wFdr-Fi_p6$F[
jvFf\wFhoFb[wC$-FF6%FHFdx.%Fconstructing~polyhedron~from~VERTICESG>Fer-Fgan6&F\
oF`uF`uFd[w3Fd\wFiivC$-FF6%FHFdx.%Tconstructing~polyhedron~from~FACETS~and~AFFI
NE_HULLG>Fer-Fjt6&F\oF`uF[jvFf\w-Fb[t6#&Fgs6#.%'POINTSGC$-FF6%FHFdx.%Dconstruct
ing~polyhedron~from~POINTSG>Fer-Fgan6&F\oF`uF`uFj`w3-Fb[t6#&Fgs6#.%-INEQUALITIE
SGFiivC$-FF6%FHFdx.%Zconstructing~polyhedron~from~INEQUALITIES~and~AFFINE_HULLG
>Fer-Fjt6&F\oF`uF[jvFiawFeiv-&Fdx6#.%%_c2pGFa_nF$F$F$Fc]of*6#%#A_G6)Fe[oFh\qF:F
3F^amF\yFi]sF$F$C(@%-Fcbl6$FKFfbl>FKFO>FK-Fddl6$FOFffs>F`oFcgo@&/F`oFaqFh\u0F`o
-Fen6#F_dn-Ffv6#Fa^l>Fbp-F_dtFiil?(FgsFjnFjnF`oF]oC,?(F\oFgsFjnF`o/&FK6$F\oFgsF
aqF$@$2F`oF\oF\dw>FQF_en>Fer*&&FbpFcoFjn&FQFg_oFfo>FQ*&FQFjnF\ewFfo>F_enFf_o>Ff
_oFQ>F[ew&FbpFg_o>FbewFer?(F\oFjnFjnF`oF]o@$0F\oFgsC$>F[ew,&F[ewFjn*&FddwFjnFer
FjnFfo>F_en,&F_enFjn*&FddwFjnFQFjnFfoFbpF$F$F$F\`pf*6$'Fe[oFfbl'%#A2GFfbl6*Fh\q
%#B2GF3F^amF[epF[eoF:Fj]rF$F$C(>FQFhim>Fer-F`hl6%F[hqFaqFcgs>FKFO@$Few>FbpFax>F
gsFaq?(F`oFjnFjnF$F]oC&?(FgsFg]qFjnFerF]oC$?(F\oF`oFjnFQFcdwF$@$1F\oFQC$>FK-Fae
l6%/F\oF\gp/F`o*&F_enFjnFddwFfoFKFf`n@'1FgsFer>FdrF\gpFew-Ffv6$-Fhx6$Fccl&FK6#;
FjnFhhs-Fhx6$FcclFbp-Ffv6#Fahw>FK-Fael6$/F`oF\gp-Fhx6$f*F[yF$F$F$,&FOFjn*&&FO6#
F^sFjnFeyFjnFfoF$F$6&F^amFgsFj]rFdrFK@$Few>Fbp-Fhx6$f*F[yF$F$F$FaiwF$F$FeiwFbpF
$F$F$%$fanGf*F$6%F_imFi]rF*F$F$C%>FKFham@'/F`[o.F[jw@%-Fcbl6$FK-Ffbl6#<$F"F[u>F
bpF"Fibl-Fcbl6$FK-Ffbl6#<$FdxF`\l>FbpF`\lFiblZ%>F`o-&FbpFa\l6$-Fhx6$f*F\vF$F$F$
@%-FcblFdv-FM6#-&F^sFe^mFWFOF$F$6$Fi]rFbpFKF]oFd[lF^^lF$F$F$%.permutahedronGf*F
[huF$F$F$@%Fa`lFA-Fcju6#-FM6#-F\fl6%Fael/FfoF\r-&Fb^r6#.%(permuteG6#7#-Fc[n6#;F
jn,&FOFjnFjnFjnF$F$F$F\\uf*6&'Fh\qFfbl'%%fullGFijt'%#U_G%&evalnG'%#V_GF[^x6.Fe[
oFi\qF][uFhgsF3F^amF[eoF/%#a1G%#a2G%#c1G%#c2GF$F$C,@$/FOF`uC%>Fg[mF`u>FbbpF`uFh
\u>FKFO>FerFcgo>F`o-F_dtFa_n>FbpF`o>FgsFjn?(FQFjnFjnFjcwF]hwC'>Fho&FK6$FgsFQ?(F
\oFg]qFjnFerF]oC+>F[r&FK6$F\oFQ@$/F[rFaqFadl>Fdr-F[_s6#-%'igcdexG6&FhoF[r.Fep.F
Y>Fho*&FhoFjnFdrFfo>F[r*&F[rFjnFdrFfo>FK-Fael6%/Fgs,&*&FYFjnF_enFjnFjn*&FepFjnF
f_oFjnFjn/F\o,&*&FhoFjnF_enFjnFjn*&F[rFjnFf_oFjnFfoFK>Fbp-Fael6%/Fgs,&*&FYFjnF[
ewFjnFjn*&FepFjnFbewFjnFjn/F\o,&*&FhoFjnF[ewFjnFjn*&F[rFjnFbewFjnFfoFbp>F`o-Fae
l6%/Fgs,&*&F[rFjn&F`oFcoFjnFjn*&FhoFjnF^itFjnFjn/F\o,&*&FepFjnFcbxFjnFjn*&FYFjn
F^itFjnFfoF`o>FhoFdr@&/FhoFaqFadl2FhoFaqC&>Fho,$FhoFfo>Ff_o,$Ff_oFfo>Fbew,$Fbew
Ffo>F^it,$F^itFfo@$Fax?(F\oFjnFjn,&FQFjnFfoFjnF]oC&>F[r-%&floorG6#*&Fg_xFjnFhoF
fo>FK-Fael6$/F\o,&F_enFjnFaaxFfoFK>F[ew,&F[ewFjnF\bxFfo>F^it,&FbbxFjnF^itFjn>Fg
sFg]q>Fg[mFbp>FbbpF`oFKF$F$F$%)pcomplexGF\jw6$Fhfq%#<=Gf*6$F8'F,<$FhblFdx6$Fe\r
F\yF$F$C$>FK-FeduFW@)F>FA-Fcbl6$FaxFhblC$>Fbp-F^y6$FaxFjn@%/FgclFcgo-F_v6#1Faq-
FcvFc\pFhcl/FgglFcgo-%-contains/rayG6$-&F[u6#.%&_dualGF\gnFKFhclF$F$F$Fi`vf*F$6
'FhhuF_imFe\rF/F9F$F$C(>FKFham>Fbp-F^jq6%FcblFKF[u>F`o-Fhx6$Fccl7$-FM6#Fh^v-FM6
#F^_v@$F[`v-FB6#QGarguments~must~be~rays,~lines~or~conesF$>Fgs-F`hl6%/F`oF`u-FM
6$F?F\dv-Fen6#&F`oFds@%5-F[ap6$f*F\vF$F$F$0FLF^sF$F$6$F/FgsFbp3Fcen50FehxFgs4-F
cbl6$F`oFffsFhcl-Fgan6&FgsF`u7%-F[p6$-FM6#-FM6$FHF\o/F\oFbp-F[p6$-FM6#FgelF^jxF
fjqF`uF$F$F$%/cyclicpolytopeGf*6$'F/Fcbt'F:FcbtF\epF$F$@%F>FA-Fcju6#-F[p6$7#-F[
p6$)FKFbp/FbpFcir/FK;Faq,&FaxFjnFfoFjnF$F$F$6$Fhfq%"=Gf*6$F7F`exFbexF$F$C$>FKFe
ex@)F>FAFgexC$>FbpF[fx@%F^fx-F_v6#/FbfxFaqFhclFcfx-%.contains/lineGFffxFhclF$F$
F$%(poshullGf*F$6)FhhuF_im%#PlGF0F^imF:F4F$F$C,>FKFham>F\o-Fhx6$Fccl-F\fl6%FMFj
nF`_v>Fgs-Fhx6$Fccl7$Fggx-FM6#-F\fl6%FMFjnFh_v>FbpFagx>F`oF`^v>FQ,*-FenFcoFjnFf
jpFjnFgclFjnF_`vFjn@$5F[hq0FQF@F\hx>Fer7$-FMFco-FMFg_o>FQ-F`hl6%Faft-Fen6#F^gn-
F`hl6%0FbpF`uFchx,&-FM6$F?FghxFjnFfoFjn@%33-Fiu6$f*F\vF$F$F$/FLF^sF$F$6$F:FQFbp
-Fiu6$f*F\vF$F$F$/FL,&F^sFjnFjnFjnF$F$Fe_yF`o5/FerF`u3/Ff^yFQ-Fcbl6$FerFffs-Fga
n6&FQFbp7$-FM6#-Fhx6$f*F\vF$FdhlF$-FM6#-&Fdx6#.FbflFWF$F$F$F`oFa^y7$-FM6#-Fhx6$
f*F\vF$FdhlF$-FM6#-Fhx6$f*6#Fg\nF$FdhlF$-Fe^s6#&-F]jrFWFdsF$F$F$F^rF$F$F$F`oFb^
yFhclF$F$F$%-intersectionGf*F$6(FhhuF_im%&ineqsGF^]tF:F4F$F$C$>FKFham@)Fjam-FB6
#Q[parguments~must~be~(rays,~lines~or~cones),~or~((affine)~rays,~lines~or~polyh
edra)F$-Fcbl6$FK-Ffbl6#<%FhblFa\sF[uC(>FgsF[]y>F`o-Fhx6$FcclFh^v>FbpFagx>FQ7$Fb
^yFfjq>F\o-F`hl6%Fc[u-Fen6#&FQFdsFchx@%3-Fiu6$f*F\vF$F$F$Fd_yF$F$6$F:F\oFbp5/FQ
F`u3/FicyF\o-Fcbl6$FQFffs-Fjt6&F\oFbpFgsF`oFhcl-Fcbl6$FK-Ffbl6#<%FdxFjduF[euC(>
Fgs-Fhx6$Fedu-F^jq6%FcblFKFjdu>F`o-Fhx6$Fedu-F^jq6%FcblFKF[eu>FbpF`^v>FQFecy>F\
oFgcy@%3-Fiu6$f*F\vF$F$F$Fd_yF$F$FadyFbpFbdy-FcxFidyFhclFfbyF$F$F$F\\vf*F[hu6#%
"bGF`[mF$C%@$Fa`lFA>FK-F_dt6#Fc]x-Fi`l6+.FdxFc]x&FKF\ht7#F]eq7#F[elF`uF_gyF`gyF
aqF$F$F$6$FhfqFa\sf*6$F^imFjjt6#Fe\rF$F$C$>FK-Fccl6#Fh[t@'F>FAFcfxFb\yFhclF$F$F
$6$FhfqFbfmf*6$F0Fjjt6#FaalF$F$C$>FK-FcclFW@'F>FAFcfx-Fefx6$FgfxFOFhclF$F$F$F]g
tf*6$Fe[oF\yF$F$F$-Fhx6$-Ff]sF\gnFOF$F$F$Fbbmf*F[huF$F`[mF$@%Fa`lFA-Fa[p6$7#-&F
_bm6#.%)zeroconeGFWF%F$F$F$Fjbpf*6#'F\cwFfbl6(F/F:Fe[oF3F^amF\yF$F$C)@$Fe^xF`eo
>FKFjn>F`oFO>FbpF_`v@$0FehxFbp-FB6#Q4not~a~square~matrixF$?(FgsFjnFjnFbpF]oC'?(
F\oFgsFjnFbp/&F`oFedwFaqF$@&2FbpF\o-FfvFcbmFfewC$>FK,$FKFfo>F`o-Fael6%/FgsFcbx/
F\oF^itF`o>FQ*&F^itFjn&F`o6$FgsFgsFfo>FK*&FKFjnFc[zFjn?(F\oF`_pFjnFbpF]o>Fcbx,&
FcbxFjn*&FejyFjnFQFjnFfoFKF$F$F$%.emptypolytopeGf*F[huF$F`[mF$@%Fa`lFA-Fael6$/F
jnF]gy-Fi`l6$-FM6#-F_iyFjfyFaqF$F$F$%,iscontainedGf*6$%%arg1G%%arg2GF$F$F$-&F_b
mFc]r6$FaxFOF$F$F$%,_gausselim2Gf*F_fw6&Fh\qFdfwFj]rF^amF$F$C'>FKFO>FbpFax>FgsF
aq?&F`oFKF]oC%?(FgsFg]qFjnF$/F^itFaqF$>F`o*&F`oFjnF^itFfo>Fbp-Fhx6$f*F[yF$F$F$F
aiwF$F$6&F^amFgsFj]rF`oFbpFfhwF$F$F$%(dotprodGf*6$'F\yFhbl'Fi]sFhbl6$F3F:F$F$C$
>Fbp-F`hl6%F\]sFhim-F`hl6%-Fcbl6$FOF]\sFh[tF`hs@%0Fbp-F`hl6%-FcblFcjpF[gn-F`hl6
%-Fcbl6$FaxF]\s-FM6$FjnFax-FM6$Fbhs-Fh`mF\gnFhcl-F[_o6#-F[p6$*&Fb^sFjnF^gsFjn/F
K;FjnFbpF$F$F$%1furthestdelaunayGf*F$6%FhhuF/F,F$F$C)>FKFham@&Fjam-FB6#QCcannot
~determine~ambient~dimensionF$FablFibl>FK-Fhx6%FddlFKFfbl@)4-Fcbl6$FKFffsFhcl/F
`[o.%(voronoiG>FK-Fhx6$f*F\vF$FdhlF$-%/convex/homog_1G6%,$FOFddnFjn-Fcv6$FOFOF$
F$F$FK/F`[o.%)delaunayG>FK-Fhx6$f*F\vF$FdhlF$-F[bz6%FOF^bzFjnF$F$F$FK>FK-Fhx6$f
*F\vF$FdhlF$-F[bz6%FO,$F^bzFfoFjnF$F$F$FK>FbpFjcw@%Fcaz>F`o-Fjt6&Fbp7#-Fi[v6#Fg
hsF`uFK>F`o-Fgan6&FbpF`uF`uFK-%4convex/projection_1GFiilF$F$F$%+stdsimplexGf*6#
Ffjx6$F3F\yF`[mF$C$@'F>FAF\cm>FbpFjn>Fbp&Fc[lFi[l-Fcju6$7#-Fc[n6$FaqFO-F[p6$7%-
Fc[n6$FaqFbeoFbp-Fc[n6$Faq,&FOFjnFKFfoFbirF$F$F$%+posorthantGf*F[hu6&F0FbalF`es
F3F`[mF$C'@$Fa`lFA>FKF^dt>Fbp<#-Fc[nF\ht>F`o7#-F[p6$-F[dp6$FbpF_fq/FgsFcir-Fc`t
6)FOF`uFKF`oF`uFKF`oF$F$F$Fbdtf*F[huFgfsF`[mF$7#-F[p6$7%F^ezFjnF`ezFbirF$F$F$6$
Fhfq&F]\s6#%$rowGF[hyF`cpf*6$Fe[oFh\qF$F$F$-F\fl6%FjftFOFaxF$F$F$%.crosspolytop
eGf*F_[v6%F^imF3F\yF`[mF$C$@)F>FAFe[vFf[vF\cm>F`oFjn>F`oFax-Fcju6$-F[p6$7%-Fc[n
6$FaqFghsF`o-Fc[n6$Faq,&FOFjnFbpFfoFa[y-F[p6$7%F^hz,$F`oFfoF`hzFa[yF$F$F$%*_her
mite1Gf*6$Ff]xFg]x6,Fe[oFhgsF3F^amF[eoF/F_^xF`^xFa^xFb^xF$F$C(@$Fe^xFh\u>FKFO>F
\oFcgo>FbpFjn?(FgsFjnFjnFjcw1FbpF\oC'>Fer&FK6$FbpFgs?(F`o,&FbpFjnFjnFjnFjnF\oF]
oC)>Fdr&FK6$F`oFgs@$/FdrFaqFadl>FQ-F[_s6#-F_`x6&FerFdr.Fho.F[r>Fer*&FerFjnFQFfo
>Fdr*&FdrFjnFQFfo>FK-Fael6%/Fbp,&*&F[rFjnF\gpFjnFjn*&FhoFjn&FKFhsFjnFjn/F`o,&*&
FerFjnF\gpFjnFjn*&FdrFjnF`[[lFjnFfoFK>FerFQ@&/FerFaqFadl2FerFaqC$>Fer,$FerFfo>F
`[[l,$F`[[lFfo@$Fax?(F`oFjnFjnF_etF]o>FK-Fael6$/F`o,&F\gpFjn*&-F\dx6#*&FjizFjnF
erFfoFjnF`[[lFjnFfoFK>FbpFgizFKF$F$F$FdhuF\\zFbbzFd`zFedpf*6&'FhgsFiip'FigsFiip
'Fe[oF[jn'F/Fe_l6$F3%#rkGF$F$C$?(FKFc]xFjnFaxF]oC&@$5/&Fg[mF\isFaq/&Fg[mF`]mFaq
Fadl>Fbp-Fen6#-Fi_p6#-FbbpF`]m>Fh][l,&Fh][lFjnFbpFfo>Fj][l,&Fj][lFjnFbpFfoFg[mF
$F$F$%*lensspaceGf*6#'F^inFcbt6'FhhuFe[oFi\qFa[vF3F`[mF$C(>FKF_bl@&Fjam-Ffv6#-F
_iyFcbm4-Fcbl6$FK-FfblFhip-FB6#Q@weights~must~be~of~type~integerF$>Fbp-Ff`q6%-F
hx6$f*F\vF$FdhlF$F[juF$F$F$FKF]oF`o>F`o-F`]oFiil>Fgs*&FOFjn-F[_s6#-F^_s6$FO&Fbp
F`fnFfo-&F_bm6#.Fd\y6#-F[p6$7$*&FgsFjn&F`o6$F\oFjnFjn-FM6$FbtFcbx/F\o;FjnF_`vF$
F$F$Fhfqf*F\v6$F^[tFi]rF$F$C%>Fbp-FMFjdz@%/FbpFi`l>FK&Fh[tF_[o>FK&F_bm6$F`[oFbp
@%F[\tF]\t-FB6#Q3method~not~definedF$F$F`\tF$%/randompolytopeGf*6%F\hrFieu'F]hm
Fcbt6%Fa[vF3F^amF$F$@)FagqFA/FaxFaqF`huFe[vFh[vC$>FK-%%randG6#;,$Fg[mFfoFg[m-Fc
ju6#-F[p6$7#-F[p6$-FKF$/F`oFcir/Fbp;FjnFaxF$F$F$Ffjuf*F$6)FhhuFg\yF0F^imF:F4F9F
$F$C+>FKFham>Fgs-Fhx6%F^yF]]yFaq>F`o7$-FM6#-Fhx6%F^yFe]yFaqFd^v>Fbp7$-FM6#-Fhx6
$F_[lFagx-FM6#F`^v>F\o,(FfjpFjnF_`vFjnFgclFjn@$5/F\oFaq0F\oF@F\hx>FQFecy>F\o-F`
hl6%0FQF`uFicyFchx@%3-Fiu6$f*F\vF$F$F$Fd_yF$F$FadyFbpFbdyC%>Fer-FganFidy>F`o-FM
6$F`rFer@%5-F[ap6$%.ray/_isaffineGF`o30F\oFjn/-FajmFa_nFaqFebwC$-%(WARNINGG6#Q:
no~affine~point~specifiedF$-Fahu6#FeoFhclF$F$F$%*writepolyGf*6%'F,%,POLYHEDRON1
GFjav'%%infoGF\bv6'F^bv%$fmtGF/Fj]rF3F$F$C1@&FagqFA4Fhjn-FB6#Q;polyhedron~must~
be~pointedF$>FK-Febv6$-Fi_m6$FaxFibv%&WRITEG-%(fprintfG6$FKQW#~created~by~the~M
aple~package~`convex'~version~1.0.2|+F$>F`oFL>Fbp-Fi_m6$-Fc[n6$Q$~%dF$F`oQ"|+F$
@$Fc[m-F_i[l6%FKQ1|+DESCRIPTION|+%s|+F$Fg[m-F_i[l6(FKQU|+AMBIENT_DIM|+%d|+|+DIM
|+%d|+|+N_VERTICES|+%d|+|+N_FACETS|+%d|+F$Fhhs-&FdxFj[mFW-Fen6#F^r-Fen6#-FM6$F[
btFO-%8convex/writepoly/matrixG6&FKQ)VERTICESF$FbpF^r-Fjj[l6&FKQ'FACETSF$FbpFgj
[l-Fjj[l6&FKQ,AFFINE_HULLF$FbpF\il-F_i[l6$FKQ5|+VERTICES_IN_FACETS|+F$-F\fl6%%5
convex/writepoly/setGFK-FM6$FffnFO-F_i[l6$FKQ+|+FAR_FACE|+F$-Fh[\l6$FK<#-Fc[n6#
;Fjn-F[_s6#-FM6$""*FOFfhvF$F$F$FeazFd`zFbiyf*F[huF$F`[mF$@%Fa`lFA-Fc`t6)FOF`uF`
uF`uF^dtF`uF`uF$F$F$%._latticebasisGf*6#'F4<$F`uFffs6#F][uF$F$C$-Ff`q6%-F\aq6$F
OFaqF%FK&FK6#Fd^sF$F$F$%*projspaceGf*6#FieuF$F`[mF$@%Fa`lFA-F]ju6#-Fcju6$-FM6#F
^dt7#-Fc[n6$FfoFOF$F$F$6$Fhfq&F]\s6#%'columnGF[hy6$FhfqFfblF[hyF_aqf*6$'Fe[o<&F
g\sFe\sF`uFffs'%&ncolsGF]hr6%F[eoF3F^amF$F$C$@%Fe^x>FKFax>FK-%*mat/ncolsGFW7#-F
[p6$7#-F[p6$&FO6$FbpF`o/Fbp;Fjn-Fh\sFW/F`oFdetF$F$F$Fi`qf*6%Ff]xFg]xF\^x6-Fe[oF
][uFhgsF3F^amF[eoF/F_^xF`^xFa^xFb^xF$F$C*@$Fe^xC$>Fg[mF`uFh\u>FKFO>FQFcgo>Fbp-F
_dtFfn>F`oFjn?(F\oFjnFjnFjcw1F`oFQC'>Fdr&FK6$F`oF\o?(Fgs,&F`oFjnFjnFjnFjnFQF]oC
*>Fho&FKF[fq@$F[cxFadl>Fer-F[_s6#-F_`x6&FdrFhoFdjzFa`x>Fdr*&FdrFjnFerFfo>Fho*&F
hoFjnFerFfo>FK-Fael6%/F`o,&F]axFjnF^[[lFjn/Fgs,&*&FdrFjnFf_oFjnFjn*&FhoFjnF\gpF
jnFfoFK>Fbp-Fael6%/F`o,&*&FhoFjnFbewFjnFjn*&FdrFjnF_gpFjnFjn/Fgs,&F\bxFjn*&FepF
jnF_gpFjnFfoFbp>FdrFer@&F]jzFadl2FdrFaqC%>Fdr,$FdrFfo>F\gp,$F\gpFfo>F_gp,$F_gpF
fo@$Fax?(FgsFjnFjnFeoF]oC%>Fho-F\dx6#*&F[b\lFjnFdrFfo>FK-Fael6$/Fgs,&Ff_oFjnF^c
\lFfoFK>F_gp,&Fdc\lFjnF_gpFjn>F`oFha\l>Fg[mFbpFKF$F$F$%%modzGf*6$'F0<$F]hrF`iu'
%&eldivGF`iu6$%#_rG%'_eldivGF$F$C&@&F>FA3Few4-Fcbl6$FOF]hrFibm>FK-F`hl6%5Few3F\
cmFaf\lFOFaq>Fbp-F`hl6%FewFax-F`hl6%3F\cmF\]sFOF`u-&FbavFf^l6$FK-&Fbav6#.%+_nor
meldivGFhsF$F$F$%)fullconeGf*F[huF$F`[mF$@%Fa`lFA-Fc`t6)FOF^dtF`uF`uF`uF`uF`uF$
F$F$F\jr,
I%CONE=F$F%E\[lfnFjanf*6&FieuF_imFe\rFaalF$F$F$-Fhfx6#-Fjt6&FO-Fhx6$FhfxFaxFg[m
FbbpF$F$F$F^uf*6&FieuFjbr'F^]tFfbl'FbbyFfbl6(%$Cl2G%%eqs2G%'ineqs2GF9F3%#NCGF$F
$C&@%FgctC%>Fgs-&F_bm6#.Ffg\lFW>FbpFg[m>F`oFbbpC'>F\o-%,std/findmaxG6$&F[u6#.F^
`lFax>Fgs&FaxFco>FK-Fael6$F`grFax>Fbp7$-F[p6$-FM6#F_fl/F\oFK-FMFgcp>F`o7$-F[p6$
-FM6#-FM6$F[btF\oF\[]lF\gu-FF6&F?F_bm.%.starting~withG-&-FM6$FjnFgs6#.Figr6#-FM
6$FbtFgs>FQ-Fg_t6%FgsFbpF`o@%3/F_hnFfdl/-FM6$FHFQ-FM6$FHFgs-&F[uF^^vFg_o-F``tFf
nF$F$F$%'_edgesGf*Fjr6%F`esF3F/F$F$C&@$Fa`lFA>FKFd`l>F`o,(-FajmFWFjn-Fen6#FhqFf
oFfoFjn7#-F[p6$-Fe^l6&FielF`[[lFOF`o/Fbp;,&-F`hl6%/Fc]l.F[uFaqFd\\lFjnFjnFjnFcg
oF$F$F$Ffzf*6$F9Fc^z6$F,Ff_sF$F$C&>FK-Fi`l6%F]gy-FM6$Fbt-Fc]t6$FO-&F_bm6#.FcezF
ds,$Fcj[lFfo@&F>FAF\cm-FfvF`]m>FbpFbjp@%/FgclFL-%9polyhedron/image/similarG6%FK
FjnFbpFhclF$F$F$Fe\lf*Fjr6+F^]tFbbyFaalFi]sFa[vF\yF3%#hnG%#okGF$F$C,>F`oF_bl@&F
bhx-Ffv6#-&Fc]lFbhqFW4-Fcbl6$F`oFeblFibl>F`o-F`hl6%/&Fc]lFi[nFg^]l-Fhx6$FcclF`o
-Fhx6%F^yF`oFjn@$50FLFehxFbixFhcl>FKF\il?&FQF`oF]o@$-F[ap6$f*F\vF$F$F$0FbvFaqF$
F$6$F\yFQFKF\dw>FbpFgj[l>FdrF[el?(FerFjnFjnFgclF]oC&>Fgs&FbpFa_n>FhoF]o?&FQF`oF
]oC$>F\o-Fcv6$FQFgs@&2F\oFaqF\dw2FaqF\o>FhoF%@$Fho>Fdr-Feel6$Fdr<#Fer-&Fb]l6#.%
0_hspacenos2faceG6$FOFdrF$F$F$F`_lf*F\vF$F$F$-&&Fc]l6#.%%_domGF_[o6$-&F`d]lFa\l
6#F[juFb[lF$F$F$F^`lf*FjrF$F$F$@%Fa`lFAF[]nF$F$F$Fh^lf*F$F$F$F$-Fi`l6$Fg^]lFc[l
F$F$F$Fbflf*FjrF$F$F$@%Fa`lFAFhqF$F$F$%.issimplicial1Gf*Fjr6#FdamF$F$C$>FK,&Fi]
]lFjnFfoFjn@%Fa`lFA3Fhjn-Fiu6$f*F\vF$F$F$/FhimF^sF$F$6$FdamFKFi[\lF$F$F$%-incid
entraysGf*FjrF$F$F$@%Fa`lFAFi[\lF$F$F$Fg]lFg]mFfflf*6$F_amF`amF$F$F$@'F>FA-Fcgq
FeglFibm33/FLFggl/FhhlFhhq/FhqF\hlF$F$F$F[`lF]d]lFi`mf*F$62F9F_imF/F^imF0F`esF7
F8Fdes%#nrG%#niGF3%#irG%#iiG%#SrG%&SineqGF$F$C2>FbpFham@&4-Fcbl6$Fbp-Ffbl6#F[uF
ibmF\cm-Ffv6#-Fj]t6#F\dv>F`o-F[_o6#-FM6#-Fhx6$&F[uF]]pFbp>82<#-Fc[n6#;Fjn-F[_o6
#-F[p6$-Fen6#F\hpFdiq>83<#-Fc[n6#;Fjn-F[_o6#-F[p6$-Fen6#FiatFdiq>FgsF\r>F\oF\r>
FQF\r>FerF\r>FdrF\r>FhoF\r>FYFaq>FhnFaq>FgcmFaq?&FKFbpF]oC->Fgs6$Fgs-FM6#-F\fl6
&F`pF`oFh`tFY>Fer6$Fer-FM6#-F\fl6&F`pF`oFbatFY>F\o6$F\o-FM6#-F\fl6&F`pF`oF\hpFY
>Fdr6$Fdr-FM6#-F\fl6&F`pF`oFiatFY>F[rF^i]l>FepFji]l>FQ6$FQ-FM6#-Fhx6'%5cone/&x/
addincidenceGF\at<#-Fc[n6#;FjnFepFai]lFgcm>Fho6$Fho-FM6#-Fhx6'Fg\^lF\bt<#-Fc[n6
#;FjnF[rFeh]lFhn>FY,&FYFjnF^^tFjn>Fhn,&FhnFjnF[rFjn>Fgcm,&FgcmFjnFepFjn-Fc`t6)F
`oFg\vFhgr7#FQ7#Fer7#FdrFauF$F$F$F[gxf*FjrF$F$F$-Fi`l6+Fh[tFLF\ilFgj[lFi[\lFhqF
^rFd`l-FM6$;Fh\\lFfoFOF$F$F$FhhnF]d]lFjalf*FjrF$F$F$@%Fa`lFAFfjnF$F$F$Fijnf*Fjr
F$F$F$@%Fa`lFA3Fhjn/Fcj[lFi]]lF$F$F$F[_nf*6%F_amF`am'F9F-6$FbimF,F$F$C$@(FagqFA
Fbf]lFibm0FLFgglFhcl@%5Fgf]l/Fba]lF]gyC%>FK-&Fc]lF\u6&FL7$FOFaxF`uF`u@$Fc[m>Fg[
mFK3-&Fc]l6#.%'isfaceG6$FKFO-Fa`^l6$FKFaxF%F$F$F$%*linealityGf*FjrF$F$F$@%Fa`lF
A-Fe[p6#-&F[uFbhqFWF$F$F$Fbipf*Fjr6$FdesF3F$F$C%@$Fa`lFA>FKFi[\l7#-F[p6$-&Fg]mF
f^l6&F`[[lFielFOFjn/FbpFf\uF$F$F$%*isfulldimGf*FjrF$F$F$@%Fa`lFA-F_v6#FjjsF$F$F
$Fb[of*6$F9'Fe[o<%Fh\oFi\oF]]o6&%%newrG%%newlG%&AinvtG%$AllGF$F$@-F>FA-Fcbl6$Fa
xFh\o@(F[c[l-F_iyF[js2FaqFax-Fj]tFW2FaxFaq-Fc`t6)FLFhq,$F^rFfoFd`lF\il,$Fgj[lFf
oFi[\l-Fcbl6$FaxFi\o-Fdi\lF[js3-Fcbl6$Fax<$Fg\sFe\s/-Fh\sF\gnFaq@%0-Fh_\lF\gnFL
-FB6#QGambient~dimension~and~map~do~not~matchF$-Fdi\lFcbmFgctFdd^lC(>Fgs-F`hl6%
Fb_zFax-Fddl6$FaxFffs@$0-Fen6#Fb]nFLFad^l>Fbp-F]cp6$FgsFhq>FK-Fhx6$Fccl-F]cp6$F
gsF^r>F`oF_]o@%0F`oFa^lC%-FF6%F?F[u.%,regular~mapG>F`o-F\aqFiil-Fc`t6'F]e^l-Fi_
pFdepFd`l-Fi_p6$-F]cp6$F`oF\il-F]cp6$F`oFgj[lFi[\lC$-FF6%F?F[u.%-singular~mapG-
Fgan6&FfjpF`uFfhwFKF$F$F$Ff]of*FjrF$F$F$@%Fa`lFAF\ilF$F$F$Fa\rf*FjrFh`pF$F$C$>F
KFL@'Fa`lFAF_[s-FB6#QAargument~must~not~lie~in~0-spaceF$-Fcx6&FKF[juF`uF`uF$F$F
$Fi]oF]d]l%/incidentfacetsGf*FjrF$F$F$@%Fa`lFAFd`lF$F$F$%&polarGf*FjrF$F$F$@%Fa
`lFA-&Fc]lFa\o6$-&Fc]l6#.%%dualGFWFfoF$F$F$%)issimpleGf*FjrF$F$F$@%Fa`lFA-&Fc]l
6#.F_e]l6#-FhfxFWF$F$F$Fj]mf*FjrF$F$F$@%Fa`lFAF^rF$F$F$F\^tf*FjrF$F$F$@%Fa`lFA-
Fi`l6$Fg^]l-FM6$;F?FffnFOF$F$F$%0incidencematrixGf*Fjr6&F3F^amF\g]l%$irnGF$F$C&
@$Fa`lFA>F`oFi[\l>Fgs-F`hl6%5Ff^]l1FaqFf\\lF_`v,&F_`vFjnFfoFjn-Fbfm6&Fh^p;FjnFg
s;FjnFcj[l7#-F[p6$-F[p6$/Fc\pFjn/Fbp&F`oF`]m/FKF[[_lF$F$F$Fbiof*FjrF$F$F$@%Fa`l
FAFLF$F$F$Fih^lf*FjrF$F$F$@%Fa`lFA-Fc`t6)FLF\ilFgj[lFi[\lFhqF^rFd`lF$F$F$F_xf*F
jr6#F0F$F$C$>FKF^r@'Fa`lFAFjam7#-Fc[n6$FaqFL-Fe^s6#-F[_o6#Fa\uF$F$F$%&edgesGFb]
]l%(hspacesGf*FjrF$F$F$@%Fa`lFAFgj[lF$F$F$F[fpf*F$F$F$F$3F`fp4-&Fc]l6#FfflFi\pF
$F$F$%)boundaryGf*6#'F9<$F]h[l%&CONE1GF$F$F$@%Fa`lFA-&F`d]l6#.Fgbr6&-Fhx6$&Fb]l
F]_l-&Fc]lF`ipFWFhqF\ilF^rF$F$F$FcipF]d]lFhfqf*6$F9'Fj\zF]cy6$F/F0F$F$C$>FKFL@)
F>FAFgexC$>Fbp-FcclF\gn@%/FKFgcl-Fefx6$FOFbpFhcl-Fcbl6$FaxFa\sC$>Fbp-Fccl6#Fg_z
@%F^__l-Fc\yF`__lFhcl-&F[u6#.FcfpF]]zF$F$F$Fcfpf*F`f]l6%Faam%#l2G%$nl2GF$F$C'@(
F>FAFbf]lFibmFc_^lFhcl>FKFhq>FbpF\hl>F`oFgcl331F]]nF[]n5Fdiq31FcgoF`o1-Fen6#-Fi
_p6#7$FhbnFa\uF`o-Fiu6$f*F\vF$F$F$-FefxF_apF$F$6$F`amFaxF^rF$F$F$Ff]rF]d]lF`_rf
*Fab^l6&%&neweqG%(newineqG%%AinvGFgbtF$F$@+F>FA-Fcbl6$Fax<$Fh\oFi\o-&F[uFa\o6$F
O-F`hl6%F[c[l%)infinityG*$FaxFfoFgct@%/FLFaq-FB6#QXcannot~determine~ambient~dim
ension,~please~use~a~MatrixF$Fad^lFhc^l@%Fhb_l-Fdi\l6#F`d^lFad^lC(@$0F]d^lFLFad
^l>Fgs-F\aqF\gn>FK-F]cp6$FgsF\il>Fbp-Fhx6$Fccl-F]cp6$FgsFgj[l>F`oF_]o@%Fie^lC$F
[f^l-Fc`t6'F]e^l-Fi_p6$-F]cp6$F`oFhq-F]cp6$F`oF^rFd`l-Fi_pFc\pFi[\lC$F[g^l-Fjt6
&FfjpF`uFaclFbpF$F$F$Fc^of*FjrF$F$F$@%Fa`lFA-Fhx6$Fen-&Fc]l6#.%&facesGFWF$F$F$F
g^mf*FjrF$F$F$@%Fa`lFA-Fe^l6&<#-Fc[n6#F\[_lF[elFOFaqF$F$F$%-hilbertbasisGf*6$F9
F[[uF$F$F$@%F>FA-Fdjt6$F]oFc[lF$F$F$F[\nF[u%)islinearGf*FjrF$F$F$@%Fa`lFA-F_v6#
/F^rF`uF$F$F$Fcjsf*6$F9'F0FhblF$F$F$@%F>FA3-Fiu6$f*F\vF$F$F$/-Fcv6$FOF`apFaqF$F
$6$F0FaxF\il-Fiu6$f*F\vF$F$F$2FaqF`g_lF$F$Fbg_lFgj[lF$F$F$Fce_lf*Fjr6)%#ldGF/%#
adG%#FtGF3F[epF4F$F$C,@$Fa`lFA>FKFj]]l>FbpFi]]l>F`oFL>Fgs-Fbfm6$Fi_o7#-Fc[n6$F`
uFha\l>&Fgs6#-F`hl6%Faa]lFKFaq7#Fi`]l>Ffs7#-Fi^mFW@$2FKFghsC$>&Fgs6#Ffx-&Fc]l6#
.Fa]]lFW>&FgsFgczFa^_l?(FQ,&FKFjnF?FjnFjn,&FbpFjnFddnFjnF]oC$-FF6&FHFc]l%/face~
dimensionGFQ>&FgsFfn-F\fl6%Fhc]lFO-Fddl6$<#-F[p6$-FM6#-%5convex/succhspacenosG6
$FOF\o/F\o&Fgs6#FhcxFfbl@%Faa]lF]is-FfbrFg_oF$F$F$Fd`^lf*6%F_amF`am'F*F-6$FbamF
jflF$F$C%@(FagqFAFbf]lFibmFc_^lFhcl>FKFhhl@'3/FKF[elFf_^lC$@$Fc[m>Fg[m-&FdxFbhq
F\gnF]o3Fgf]l-Fj_n6$FKFhhqC%>Fbp-Fdjq6$FaxFa\u@$Fc[m@%Ff_^l>Fg[m-Fael6$/Fjn.Fj_
uFbp>Fg[mFbp3F`^l/-Fddl6$-Ff]mFhsFhdlFKF%F$F$F$F\\mf*FjrF$F$F$@%Fa`lFA,&F[]pFjn
F[]nFfoF$F$F$Fcd]lF"F[[pf*6$F9'%&basisGF-6&F/F0Fi\qF3F$F$C%>Fbp-&Fc]lFh]mFW>FK-
&Fc]lFj[mFW@'F>FA3/FgclFK-&Fc]lFhalFWC&>Fbp-F\aq6$FbpF[]p>F`o-F`hl6%Few-Ff`q6%F
bpF]oFax-&F_bm6#.Fghz6$FbpF%?(FgsFjnFjnFKF]o@$0-F[_s6#Fc[zFjnFevF]oF%F$F$F$F\fr
F]d]lFdhqf*FjrF$F$F$@%Fa`lFA-Fe^l6%F[el<#-Fc[n6#;FjnFej[lFOF$F$F$Figrf*6)F\hrF^
hr'F0FfblF_esF\crFdbt'FdesFfblF$F$F$-Fc]l6'FO,&FOFjn-Fen6#FghrFfoF[gnF\ir-Fen6#
9)F$F$F$F\jr,
I&CFACE=F$F%E\[lD%'corankGf*FhzF$F$F$@%Fa`lFAFd`lF$F$F$Ffzf*Fejo6$F9F,F$F$C%>FK
F^r>Fbp-F^]l6#-&F^du6#FfzFj]l@%F\^lF^^l-&Fj_uFf^l6&-Feel6$FL<#-Fen6#F_emFhqFbpF
d`lF$F$F$F^`lf*FhzF$F$F$@%Fa`lFA,&-Fen6#-FM6$FipF^rFjnFd`lFjnF$F$F$Fh^lf*6&F]_u
Fb`]lF9'Fa][lF]hrF$F$F$-Fi`l6'Fc]lFOFaxFg[m-F`hl6%Fc[m-F`hl6%2FhimF[gn,*-FM6$F?
Fg[mFjn-Fen6#-FM6$FHFg[mFfo-Fen6#-FM6$FipFg[mFfo-F`hl6%1FhimFHFhim-Fen6#-Fi_p6#
-%/CFACE/listraysG6%-FM6$F`rFg[mFO-FF6%FHFc]l%/computing~rankGFfo-F`hl6%1F[gnFH
F[gn-Fen6#-Fi_p6#-Fae`l6%-FM6$F[btFg[mFax-FF6%FHFc]l%1computing~corankGFbbpF$F$
F$F__lf*Fhz6(F9F0F`esF3Fi]rF`amF$F$C*@$Fa`lFA>FKF^r>FbpF\hp>F`oF\at>FQ-F``t6#-F
c`t6)F^^tFh`t7#-F[p6$Fbew/FgsFL7#-F[p6$F^itFeg`lFbatFiatF`u@$/Fc]lFb]`l>FQ-Ffbw
Ffn>F\oF^du@%/F\o&F\oFi[nFQ-&F\oFf^l6$FQ-&Fefl6#.%'domainGF`]mF$F$F$Ffflf*F$F$F
dhlF$-F_v6#-Ff[yFi\pF$F$F$%-_raynos2faceGf*6$F9F]_uF$F$F$-&Fc]lFifx6#-&Fc]lFic]
l6$Fbi^lFaxF$F$F$Fi`mf*F$6)F]amF_imF0FgboF]_uFb`]lF3F$F$C+>FKFham@$4-Fcbl6$FK-F
fbl6#Fc]lFibm>Fbp-Fhx6$&Fg]mFfh`lFK>F`oF[el>FgsF[el>F\oFaq>FQFaq?(FerFjnFjnFcgo
F]oC&>F`o-Feel6$F`o-Fhx6%F[_o-FM6$F?&FKFa_nF\o>Fgs-Feel6$Fgs-Fhx6%F[_o-FM6$FHFa
[alFQ>F\o,&F\oFjn-Fen6#-FM6$F`rFgb]lFjn>FQ,&FQFjn-Fen6#-FM6$F[btFgb]lFjn-Ffhm6%
F`oFgs-F`hl6%F\`vF__[l-&F`d]lFd]tFd]vF$F$F$F[gxf*FhzFjrF$F$C$>FKF^r-Ffhm6&FhqFL
-FhfxF`]m,*F^^tFjn-Fen6#Fh`tFfo-Fen6#FbatFfoFd`lFfoF$F$F$Fjalf*FhzF$F$F$@%Fa`lF
A/-FM6$FHF^rF`uF$F$F$%)_faceseqGf*6%F9FiflFjfl6*%$rn1G%$rn2G%$hn1GF4F`esF3F*F`c
nF$F$C)>FKFggl>FbpF_d`l>F`oF\hl>F\oFd`l>FdrF\r?(F$FjnFjnF$0FKFbpC$@%F_\`lC%>FK<
#Fcj[l>F`o&F\oF^eq>Fer-Ffhm6%FKF`oFOC&>Fgs7#-F[p6$-Ffgn6$&F\oFfnF`o/FQ-F[dpFdep
>F`o&Fgs6#-F\j\l6$FenFgs>Fer-Fdi`lFhin>FK-FM6$F?Fer>FdrFcrFdrF$F$F$%.convert/PF
ACEGf*Fejo6%F9F,FdjlF$F$C'>FKF^r@&Fa`lFA/F^^tFaqFgg^l>Fbp-&F^du6#Fa\rF`]m>F`o-F
`hl6%/F_emF\hp-Ffb`l6&FLFhqFbpFd`l-&Fj_uFifx6$-Fdjq6$-FhfxFhs-FM6#-&Fg]m6#.Fi\_
lFW-FF6%FHFg]m%:computing~supporting~faceG@%-%7convex/raynos/isaffineG6$F]jm-FM
6$Fh\\lFbpF`o-Fd\`lFhsF$F$F$F[d]lf*6$'F9<$F[uFdx'Fb`]lFhdlF`a^lF$F$@%F^jp-Ffhm6
&Fhe_lFaxFOFaqC$>FKFi[\l-Ffhm6&-Ffgn6#-F[p6$F`[[l/FbpFaxFaxFO&Fc[lF]`mF$F$F$Fa\
mf*Fhz6$F9%$rnlGF$F$C&>FKF^r>Fbp-F_[`l6$F`]al-Fai`lFW@&Fa`lFA3Fjg`l4-&Fdx6#.%*i
sboundedGF`]m>Fbp-F^jq6%F[calFbp-FM6$Fh\\lFK-Fhx6$Fai`l-F\fl6&Fdi`lF`]alFbp,&-&
Fg]m6#.%%rankGFWFjnFfoFjnF$F$F$%$&<<Gf*FhflF$F$F$@)F>FAFcglFibm0F^rFjhq-FB6#QIa
rguments~must~belong~to~the~same~domainF$3/Fd`l,&-FM6$Ff`lFaxFjnFjnFjn-Fafp6$FO
FaxF$F$F$Fj]mf*Fhz6$F0F3F$F$C%@$Fa`lFA>FK-FM6$F`rF^r7#-F[p6$F`[[l/FbpFLF$F$F$%(
minimumGf*6#Fbjl6$FhhuFh\lF$F$C&>FKFham@$F[j`lFibm>Fbp-F^]l6#-&Fc]l6#.%(maximum
G6#-FM6#-Fhx6$Fai`lFK@'F\^lF^^l5/Fc]l.Fg]m-F[cal6$Ffdm-FM6$Fh\\lF^r-Fai`lFhs-Fd
\`lFdj[lF$F$F$F\^tFff`l%*hspacenosGf*FhzF$F$F$@%Fa`lFAFhqF$F$F$Fbiof*FhzFjrF$F$
@%Fa`lFAC$>FKF^r-&F`d]lF]]pF`]mF$F$F$Fih^lf*FhzFjrF$F$C%@$Fa`lFA>FKF^r-Fha^l6&F
hqFL-&F[uFgh^lF`]mFa]alF$F$F$F_xf*FhzF]\_lF$F$C$>FK-Ff]mFW@'Fa`lFAFjam7#-Fc[n6$
Faq-FbioFWFd\_lF$F$F$Fi\_lf*Fhz6$F8F3F$F$C%@$Fa`lFA>FK-FM6$F[btF^r7#-F[p6$F`[[l
FgqF$F$F$F[fpf*F$F$F$F$34F\i`lF`fpF$F$F$Fhh`lf*FhzF$F$F$@%Fa`lFAF^rF$F$F$Fcfpf*
FhflF$F$F$@)F>FAFcglFibmFefalFffal-Fj_n6$FLFgglF$F$F$%'raynosGf*FhzF$F$F$@%Fa`l
FAFLF$F$F$F`_rf*6$Fh\lFbb^l6$F9F`amF$F$C%>FKF^r>Fbp-F^]l6#-&F^duF[`rFj]l@)F\^lF
^^lF[]o-&Fg]mFifx6#-Fdjq6$F_bal-FM6#-F]cp6$Fcc_lFbbal3Fjb^l0FaxFaq-Fael6$/F`rFb
pFO-&F[uFe^mFhsF$F$F$%%succGf*FhzFjrF$F$C$>FKF^r@'F>FA3-Fcbl6$FKFdx/FLF[el-&Fdx
Fhi_lF`]m-F\fl6%Fdi`lFK-F_[`lFe`^lF$F$F$Fafalf*FhzFjrF$F$@%Fa`lFAC$>FKF^rFa]alF
$F$F$F\\mf*FhzF$F$F$@%Fa`lFA,&-Fen6#Fi]alFjnF]falFjnF$F$F$Fcd]lF[uFihalf*F[am6%
F9F]amF*F$F$C%>FKF^r>FbpFham@'4-Fcbl6$FbpF^j`lFibm-F[ap6$f*F\vF$F$F$0F^rF^sF$F$
6$F9FKFbpFffal-Fdi`l6$FK-Ffgn6#-F[p6$Ffjm/F`oFbpF$F$F$F[[pF\^`lFigrf*6$'F]_uFhd
lFdcalF$F$F$-Fc]l6$FhimF[gnF$F$F$F\jr,
I;polyhedron/image/newvertexf*6%F0Fa[vF\y6$%#arGF\g]lF$F$C$>Fc\p-FM6#F^by-Fccl6
#7$-FM6#,&*&FaxFjnFKFjnFjn*&FbpFjnFg[mFjnFjnFbpF$F$F$F$,
I;polyhedron/image/newhspacef*6%FgboFefyF\y6$%#ahG%#ihGF$F$C%>Fc\pF\bbl>FKFdbbl
-Fccl6#7$Fa\u,&FbpFjn-Fcv6$Fg[mFKFfoF$F$F$F$,
I9polyhedron/image/similarf*6%'F,FdxF`[vFijr6$F0Fjf]lF$F$C%>FKF^r>FbpFd\\l-Fi`l
6*F]gyFLFhq-&F_bm6#.F^]z6$Fhq7$-F`hl6%F^c^l-FM6#&FK6#Fb`z-FM6#,$FidblFfo-FM6#-F
hx6&Feabl&FK6#;FgizFfoFaxFg[mFd`l-Fi_p6$-Fhx6&FfbblF\ilFfb_lFg[m-Fhx6&FfbblFgj[
lFfb_lFg[mFi[\lFf\\lF$F$F$F$,
I<FAN/simplicialsubdiv/insertf*6$F9F_cn6$%"eGF:F$F$C%>FbpFi]]l>FK,&Fcj[lFjnFbpF
fo@%F_[sC$>&FaxFhs7$-FM6#FgfblFOF\r7$FOFKF$F$F$F$,
I:convex/facefan/facet2conef*6&'F*Fg]mF:Fe\rF76$F9%#dhGF$F$C$>Fbp-F]jr6#&FbbalF
ds@$0&FbpFi[lFaqC$>FK-Fe[pFW-Fc`t6)FaxFg[m-Fhx6$f*F\vF$FdhlF$F[byF$F$F$F\hpF\at
Fbbp-Fhx6$f*F\vF$F$F$-F_as6$F^byF^sF$F$6$FagblFbpFiatF\btF$F$F$F$,
I<FAN/stellarsubdiv/subdividef*6&FjjtF/%#lrGFebt6$F*Fe\rF$F$C%@$54-Fj_n6$FbbpFh
hl3/F[irFjn-&F[u6#.FijnFWF]cm>FbpFhq-F[p6$-F`hl6%-Fj_n6$Fbbp-Fddl6$-Ff]mF`]mFhd
lF\r-Fael6$/FHFbp-Fgan6&Fax7#-Fe[pF`]mF`uFg[m/FK-F_ipFWF$F$F$F$,
I<FAN/regularsubdiv/subdividef*6&F9F/F[iblFj\q6'F*%$rCSG%$sCSGF`amF:F$F$C)@$F`i
blF]cm>FbpF\r>F`oF\r?&FKF[[clF]oC%@$F^jblFadl>FgsFfjbl@%-F]^qFg_o>FbpFeiz>F`oF[
jz>F\o-Fen6#&Fg[mFds>&Fa]qFco7$-FM6#Fc\clFbpF`oF$FbdqF$F$,
I9convex/readpoly/readlinef*6#F^bv6#F^imF$F$?(F$FjnFjnF$F]oC$>FK-%)readlineGFW@
&F_[s-Ffv6#Fd[l5/FKFd[l0F_dnQ"#F$Fi_]lF$F$F$F$,
I:convex/readpoly/listofsetf*Fi\cl6'F^imF:%#ssG%#seGFa[vF$F$C%>F`oF\r?(F$FjnFjn
F$F]oC(>FK-FecvFW@$Fd]clFf`n>Fbp,&&-Fbcv6$FKQ$|fr%nF$FdsFjnFjnFjn>FgsF\r?(F$Fjn
FjnF$F]oC&>F\o-Fbcv6$&FK6#;FbpFfoQ7%d%d%d%d%d%d%d%d%d%d%nF$@$0F[^y"#6C$>Fgs6$Fg
sFa^yFf`n>Fgs6$Fgs-FM6$FdjrF\o>Fbp,&FbpFjnF`_alFjn>F`o6$F`o-Fddl6$-Fhx6%F[_oFg\
vFjnFhdl7#F`oF$F$F$F$,
I;convex/readpoly/matrixsecs<(F\bwF]awFg[wF^jvFfjvFi\wF$,
I7convex/raynos/isaffinef*6$Fbabl'Fjf]lFiipF$F$F$52-F[_sF\gn-F]hmF__s/FOF[elF$F
$F$F$,
I5convex/succhspacenosf*6$Fbcal'F*<$Fg]mFj_u6&Fb`]lF`es%#FrGF3F$F$C&>FKF\hl>Fbp
Fd`l>F`o7#-F[p6$-Ffgn6$FKFbew/Fgs-F[dp6$Fhe_lFggl7#-F[p6$F^it/Fgs-FhasFiilF$F$F
$F$,
I0convex/addanglef*6&F\y%#v1G%$v12G%$v13G6#Fi]sF$F$C$>FK,&FOFjnFaxFfo7$-%&evalf
G6#-%'arctanG6$-Fcv6$FKFg[m-Fcv6$FKFbbpFOF$F$F$F$,
I/CFACE/listraysf*6$Fe[oF]_uFgfsF$F$7#-F[p6$Fb^s/FKFaxF$F$F$F$,
I/type/affhplane<$/FhblFh\o/Fh\oFhblF$,
I/type/affhspace<$1FhblFh\o1Fh\oFhblF$,
I*mat/ncolsf*Fj\sF$F$F$@'F\]sFcgsF]]s-FM6$7%F?F?F?Fb]s-FM6$7$FjnF?FOF$F$F$F$,
I+POLYHEDRON=F$F%E\[l^o%(surfaceGf*6#F,Fh`pF$F$C$>FK-&FdxF_j\lFW@)Fa`lFAF_[s-&F
j_u6#.Fiecl6#-&FdxFe^mFWF`]p,$-&Fj_u6#.%'volumeGFefclF?FaqF$F$F$Fjanf*F$F$F$F$-
Ffbw6#-FganFi\pF$F$F$F^uf*6&F:F_imF^]tFbbyF$F$F$-Ffbw6#-Fjt6&FOFaxFg[m7$F\gu-F`
gsFWF$F$F$Fbealf*F[fclF$F$F$@%Fa`lFA3/Ff\\lFaqFhjnF$F$F$Fa]]lFb]]l%)proximumGf*
6%F\h[lFc^z'%%distGF-6-F7F8Fi]s%#w0GF3F^amF^inFh\l%#flG%$fl1G%$fl2GF$F$C)>FerF[
fx@&FagqFA0-FenFa_nFLFhcl>FKF\il>FbpFgj[l?(F\oFjnFjnFcgoF]oC(>F`oF_en>Fgs-Fael6
$/FfoFaqF`o>Fgs*&FgsFjn-FcvFd[zFfo?(FQF`_pFjnFcgoF]o>&FKFfn-%6polyhedron/proxim
um/gG6%F[jclF`oFgs>Fbp-Fhx6&F]jclFbpF`oFgs>Fer-F]jcl6%FerFgsF`o>FdrFffcl?(F$Fjn
FjnF$F]oC->Fho-Fi_uF^an>F[r-Fhx6&f*6%F]vFg\n%"zGF$FdhlF$&Fax6#&-F[dp6$FhqFg[mFd
sF$F$F$FhoFbp-FM6$FHFdr>Fep-Fhx6$f*6#Fgbo6$%#h0GFa[vF$F$C$>FbpFbv@%1FaqFbpFaqC$
>FK-Fael6$Fh\xFO*&FbpF?-Fcv6$FKFKFfoF$F$6$F^inFerF[r>F\o-F\j\l6$f*F\vF$FdhlF$FO
F$F$F$Fep@$/&FepFcoFaqC%>Fer-FfjrFa_n@$Fc[mC$>F`o,&FbjpFjnFerFfo>Fg[m-Fhbu6#-Fc
v6$F`oF`o-FfvFa_n>Fdr&FhoFco>F`o&F[rFco>FgsFcicl>FgsFgicl>FbpF`jcl>FerFcjclF$F$
F$Fe\lF``]lF`_lF]d]lF^`lFhd]lFbflf*F[fclF$F$F$@'Fa`lFAFff_lFa^l-Fhx6$FfjrFhqF$F
$F$F_e]lF`e]l%%drawGf*F[fclFh`pF$F$C$>FKF[]pZ%--F`hl6%Fg]p%%PLOTG%'PLOT3DG6#-&F
c]l6#.%)plotdataGFi\pF$YF$F$F$F$Fg]lFj_u%-minkowskisumGf*Fj\t6(Fg\yF/F,Ff_sFaal
F\yF$F$C*@$F\cm-Ffv6#-&FdxF_\rFW>FKFham>Fbp-&FdxF]]pFW@&4-Fcbl6$FK-FfblF^gv-FB6
#Q<arguments~must~be~polyhedraF$-F[ap6$f*F\vF$F$F$0Ff`dlF^sF$F$6$F/FbpFKFhcl>Fg
s7#7#-Fc[n6$FaqFbp>F\oF\r?&F`oFKF]oC$>Fgs7#-F[p6$-FM6#-Fhx6%F[_oFgsFQ/FQ-&Fdx6#
.%)verticesGFiil>F\o6$F\o-FM6#-Fhx6$Fe[s-&FdxFh]mFiil@%/FgsF`u-FahuFhs-Fcju6$Fb
^yF\oF$F$F$FfflF_f]lF[`lF]d]l%*recessionGf*F[fclF$F$F$@%Fa`lFA-F``t6#-Fc`t6)Ff`
dlF[ay-FbcdlFW&Fd`lFb\\l-Fhx6$f*F\vF$FdhlF$F]byF$F$F$F\il-Fhx6$f*F\vF$FdhlF$F[b
yF$F$F$Fgj[lF[elF$F$F$Fi`mf*F$6#Fg\yF$F$C$>FKFham@)F\`vFh[vFi`dlF]adl-F[ap6$&Fd
x6#.%(isemptyGFK-Fahu6#,&-F[_o6#-FM6#-Fhx6$Fch]lFKFjnF@Ffo-Ffbw6#-Fh\tFg\_lF$F$
F$%)distanceGf*6%F,Fc^z'F^inF-Fh`pF$F$C$Z%@'-F^edlFW>FKFeb_lFc[m>Fg[m-&Fdx6#.F^
hcl6%FOFaxFKFhfdlFd[lYF]^lFKF$F$F$F[gxFa^^lFhhnf*6#F\h[lF$F$F$C$@$FainFA-&F"6#.
Fhhn6#-&Fdx6#.%*normalfanGFWF$F$F$FjalFg^^lFijnFi^^lF[_nF]_^lFbipf*F[fclF`a^lF$
F$C%@$Fa`lFA>FKFi[\l7#-F[p6$-Ffb`lFia^l/Fbp;Fjn,&FcgoFjn-F`hl6%Fgj^lFaqFfoFjnF$
F$F$F[b^lF\b^l%%joinGf*F$FhddlF$F$C$>FKFham@'F\`vFh[vFi`dlF]adl-Ffbw6#-Fhfx6#-F
h\t6#-FM6#-Fhx6$FhfxFKF$F$F$F`juf*6#'F,%,POLYHEDRON0GF$F$F$@%Fa`lFA-FhgdlFai^lF
$F$F$Fb[of*6%F,'Fe[o<%FhblFh\oF]]oFc^z6&F/Fhb^lFj]rFf_sF$F$C$>FKFf`dl@'FagqFAF[
]o@)30FaxF`u5Fb_z0F]d^lFaqC%>FbpFid^l>Fgs-F`hl6%FewF]ft-Fddl6$Fg[mFfbl@%50-FenF
[h]lFK0FfjpFgclFad^l-Ffbw6#-Fab_l6$FO-FbfsFeiz53Fc[m0F`[elF`u34Fb_z0-FM6$%0matr
ix_OP_ncolsGF[`zFKFad^lFefdl-FahuFcbmFh[vC$@'Fjb^lC$>F`oFax>Fgs-F`hl6%Few7#-Fc[
n6$FaqFKF`[elFewC$>F`oFjn>FgsFbjpFibm@)0FfjpFKFad^lFefdlFO0F`oFaq-F^`]l6%FOF`oF
gs-Ffbw6#-Fgan6&FfxF`uF`u7#-F^y6$FgsFjnF$F$F$Ff]of*F[fclF$F$F$@'Fa`lFAFefdl7#/7
#-Fc[n6$FaqFf`dlFjn-Fhx6$f*F\vF$FdhlF$/F[jm,$F]fnFfoF$F$F$-Fhx6$F]jrF\ilF$F$F$F
a\rf*F[fclF$F$F$@%Fa`lFA-Fi`l6$F]gy-FM6$;F?Fh\\lFOF$F$F$F_h^lF`h^lFjh^lF[i^lFj]
mf*F[fclF$F$F$@%Fa`lFA-Fhx6$Ffjr&F^rFb\\lF$F$F$Faedlf*F[fclF$F$F$@%Fa`lFAFdf_lF
$F$F$F\^tFei^lF\j^lF]j^lFbiof*F[fclF$F$F$@%Fa`lFA,&FLFjnFfoFjnF$F$F$Fih^lf*F[fc
lF$F$F$@%Fa`lFA-F^\rFai^lF$F$F$F_xf*F_gdlF$F$F$@%Fa`lFA-Ffjr6#-F\xFWF$F$F$Fi\_l
f*F[fclF$F$F$@'Fa`lFA-&Fdx6#.%)isaffineGFWF`u-Fhx6$f*F\vF$FdhlF$1,$F[jmFfoF]fnF
$F$F$-Fhx6$F]jr-F`hl6%Fgj^lFgj[l&Fgj[lFcjrF$F$F$F[fpF\]_lFb]_lFc]_lFcipF]d]lFhf
qf*6$F,'Fj\z<&Fe[sFhblFa\sFdxFf^_lF$F$C$>FKFL@+F>FAFgexC$>FbpF[fx@%F^__lF___lFh
cl-Fcbl6$FaxFe[sC$>Fbp-F^y6$Fg_zFaq@%F^__lF___lFhclFa__lC$>FbpFebel@%F^__lFh__l
Fhcl-&FdxFbfpF]]zF$F$F$FcfpF]`_lFibwf*6#'F,Fccal6*F0F`es%#riGF^_u%%rnexGFgboFde
s%#nhGF$F$C->FKF^r>FbpFd`l>F`oFaq>FgsF_]u>F\oF\r?(F$FjnFjnF$F]oC(?(F`oFha\lFjnF
_et4-F]g[lF[gpF$?(FgsF_etFfoF`o-F]g[l6#Ff_oF$@$1FgsF`oFf`n>FK-Fael6%/FgsF\gp/F`
oFf_oFK>Fbp-Fael6%/FgsF_gp/F`oFbewFbp>F\o6%F\o/FgsF`o/F`oFgs-%'ASSERTG6$/F`oFg]
qQErays~and~vertices~incorrectly~sortedF$>FQFgj[l>Fer-Fhho6$FhgrFi[\l@&/FgsFcgo
-Ffv6#-Fahu6#F]`el1Faj[l,&FgsFjnFj]]lFjnC$>FdrFZ?(F`oFjnFjnFdrF]o@$4-F[cal6$&Fe
rFiilFgsC'>FQ-Fael6%/F`o&FQF^an/FdrF^jlFQ>Fer-Fael6%/F`oFeaq/FdrFjfelFer>Fbp-Fh
ho6$7$/F`oFdr/FdrF`oFbp>FgsFf\vFf`n-Fi`l6+F]gyFLFhqFKFbpF\ilFQFerFgsF$F$F$Ff]rF
]d]lFi_dlf*6#'F,%)POLYTOPEG6$F/%%optsGF$F$C&@&F>FA4-F\s6$Ff`dl7$F?FH-FB6#QHargu
ment~must~lie~in~2-space~or~3-spaceF$>Fbp-F`hl6%Few-FM6#-Fddl6$Fedz%,PLOToption
sGF\r>FK-F\\mFW@*/FKFH-%)POLYGONSG6$-FM6#-Fhx6$%8convex/orderplanepointsG-Fhx6$
&Fj_uFhbdl-&FdxF`ipFWFbpFg]p-F\jel6$-Fbjel6#-FgbdlFWFbpF`]p-%'CURVESG6$F\[flFbp
F_[s-F]aw6$-FMF[[flFbpF$F$F$F`_rf*F_jdlFbjdlF$F$C$>FKFf`dl@'FagqFAF[]o@+FgjdlC%
>FbpFid^l>FgsF[]el@%50FgclFKFf[elFad^l-Ffbw6#-&F[uF[`rFj[el50FKFaqF]\elFad^lFgc
tFib_lFefdl-FahuF^c_l-Fi[vF^c_lC$@'Fjb^lC$>F`oFax>FgsF[]elFewC$>F`oFjn>FgsFbjpF
ibm@)Fd]elFad^lFe]el-F^`]l6%FOFecu,$*&FgsFjnF`oFfoFfo-Fefx6$FOF]^el-Fi[vF`]m-Fa
huF`]mF$F$F$Fc^oF[e_lFg^mFde_lFjbdlf*F[fclF$F$F$@%Fa`lFA-Fhx6$Ffjr&F^r6#;,&Fd\\
lFjnFjnFjnFfoF$F$F$F[\nFdxFaf_lf*F[fclF$F$F$@%Fa`lFA-F_v6#/F^r7#FjisF$F$F$F\ael
f*F[fclF$F$F$@%Fa`lFA-F_v6#/Fcj[lFjnF$F$F$Fcjsf*6$F,Fif_lF$F$F$@%F>FA-F`js6$FOF
[fxF$F$F$F[hdlf*F_gdl6'F9F:F/Fe\rF7F$F$C)@$Fa`lFA>FK-Fhfx6#-F]^vFW>FbpFf`dl>F`o
-Fbj[lF`]m>Fgs-Fhx6$f*F\vF$FdhlF$F]byF$F$F$Fh`t>F\o-Fi_p6#-Fhx6$f*F\vF$FdhlF$F]
byF$F$F$Fbat-&F"Ff^l6'FbpFgs-F[dp6$-Fhx6$f*F\vF$FdhlF$F[byF$F$F$-Fddl6$F\hpFhdl
<#FgadlF\o-Fbfm6$Ff^o7%-Fc[n6$F`uF`o-Fhx6'F\gblF^ipFbpFgsF\o-Fc[n6$F`u,&FbpFjnF
`oFfoF$F$F$Fce_lFgg_lFd`^lFf[`lF]gclf*F[fclF$F$F$@'Fa`lFAFjjsFifclFaqF$F$F$F\\m
Fi]`lFcd]lF`\l%*issimplexGf*F[fclF$F$F$@%Fa`lFA3F]hcl-&FdxFgiblFWF$F$F$F\frF]d]
lFigrf*6*FfjxF^hrFj``lF_esF\crFdbtF[a`lF[aclF$F$F$@%3/9+FaqFgct-.Fchel6&Fhep,(F
OFjnF_a`lFfoFfoFjnF\irFaa`l-F]gy6'FhepFjbflF[gn7$,&F\irFjn-F[_s6#FfbflFfoF_cfl-
F`hl6%2FaqFfbflFaa`l7#,&Faa`lFjnFfoFjnF$F$F$FdhqF```lF\jr,
I+type/!BASEf*6$F]vFi]rF$F$F$50Fia[lFi`l0&Fh[tFi[n&FaxFi[nF$F$F$F$,
I+print/_OBJf*6#Fi]rF$F$F$-&FOF^\]l6#Fb[lF$F$F$F$,
I)PCOMPLEX=F$F%E\[lJFbealf*6#%#PCGF$F$F$@%Fa`lFA3Fhjn-Fiu6$F]g[lF^rF$F$F$Fe\lFf
\lF`_lFa_lF^`lF_`lFh^lFg`lFbflf*FhdflFj\clF$F$C$>FKFhq@'Fa`lFAFbhlFKFh^dlF$F$F$
Fj^dlF[_dlFg]l%%CELLGFfflFgflF[`lF_jl%,convert/FANGf*FhdflF$F$F$@'Fa`lFA/FhqFa^
l-FB6#Q@argument~has~no~lineality~spaceF$-Fael6%/FjnFe]p/Fip-F\fl6%FhxF]^vF\ilF
OF$F$F$Fc\lFihmF\cnF]cnFjalFdjnFijnFjjnFb[oFc[oFf]of*FhdflF$F$F$@'Fa`lFA-&F`\lF
_edlFW7#/7#-Fc[n6$Faq-&F`\lF]]pFWFjn-Fhx6$f*F\vF$FdhlF$Fi^elF$F$F$-Fhx6$F]jrFd`
lF$F$F$FVF`aoFj]mf*FhdflF$F$F$@%Fa`lFA-Fhx6$Ffjr-F_csF]eflF$F$F$Faedlf*FhdflF$F
$F$@%Fa`lFA-F_v6#/F^rF[elF$F$F$FbioFcioFg[pFh[pF[fpF\fpF]hnFbgpFcipFdipFg`oFedq
FhfqFifqFcfpFc\rFf]rFg]rFi_dlf*6#'FidflF`\l6*F/FehelF`imF,%"tGF*Ff_s%#vsGF$F$C(
@&F>FA4-&F`\lF`ealFW-FB6#Q9argument~must~be~boundedF$>FKFiffl>FbpF`iel>F`oF\il@
'Fg]p>F\oF\rFjielC%>F\oF\go?&Fgs&F`o6#F`rF]o?&FQ-FgjelFg_oF]oC&@$4-&Fj_uF`ealFf
nFadl>Fer-FejelFfn>Fdr-Fddl6$FerFhdl@%-Fb[tFaan>F]an&.F\oF^an>F]anF\jt>F\o-Fbes
FcoF\iel6%-F\jel6$-FM6#-Fhx6$Fbjel7$F\o-FM6#-Fhx6$Fgbdl&F`o6#FHFbp-F^[fl6$-FM6#
-Fhx6$Fgbdl&F`oFi[lFbp-F]aw6$-FM6#-Fhx6$FM-Fhx6$FgbdlFghxFbpF$F$F$F`_rFa_rFc^oF
^`rFg^mFcarFjbdlf*FhdflF$F$F$@%Fa`lFA-Fhx6$Ffjr-F^jqF]eflF$F$F$FgbrFhbrFiioFjnF
]gclf*FhdflFhddlF$F$C$>FK&F\ilF[js@'Fa`lFA-Fiu6$F_ealFK-F[_o6#-FM6#-Fhx6$&FdxF[
gclFKFeb_lF$F$F$F\\mF`erF\frF]frFigrf*6'F\hrF^imF_hrF7F`im6&F:Fi]rFf_sFaalF$F$C
%>FbpFchr>Fgs-Fen6#-F_cs6$F]g[lFg[m@'3Fgct/FgsFaq-Fffq6&Fhep,(FOFjnF[irFfoFfoFj
nF\irF]ir0FaxFa^l-Fffq6'FhepFe^glF[gn7$,&F\irFjnFgsFfoFgsF]ir-Fffq6'FhepFe^glFa
^lFi^glF]irF$F$F$Fdhqf*FhdflF$F$F$@%Fa`lFA7#-&FbeflFf^l6$-Fahu6#FifflFOF$F$F$F\
jr,
I+std/existsf*6%Fh\lF4'F^amF[^xFgfsF$F$C$?(FKFjnFjnF[gnF]o@$-FO6#F^gsC$@$Fc[m>F
g[mFKF`gpF%F$F$F$F$,
I+std/forallf*Fg_glFgfsF$F$C$?(FKFjnFjnF[gnF]o@$4F\`glC$@$Fc[m>Fg[mFKFevF]oF$F$
F$F$,
I,std/findmaxf*6$'Fh\lFe_l'F4Ffbl6&F3%%imaxGF]hmFg\nF$F$C&>FbpFaq>F`o,$Feb_lFfo
?(FKFjnFjnF[gnF]oC$>Fgs-FO6$F^gsFadal@$2F`oFgsC$>FbpFK>F`oFgsFbpF$F$F$F$,
I*type/MODZf*F\vF$F$F$3/Fia[lFi`l/Fh[t.FbavF$F$F$F$,
I/convex/dotprodf*FaasFgfsF$F$-F[_o6#-F[p6$F``zFc^sF$F$F$F$,
I-convert/CONEF\[tF$,
I/cone/_rays_setf*FjrF$6#%'inlineGF$FhhlF$F$F$F$,
I/convex/motzkinf*6%Fbcal'Fia_lFfbl'Fja_lFfbl6<F/%#l0GF^imF0F`es%(oldineqG%%new
cG%#ciG%'ineqnoG%*nooldineqG%#slG%#srG%#swGF3F^amF[epF4%'face2dG%)adjacentG%%rp
osG%%rnegG%#r0G%%addrG%'addsatG%%csatG%,dpw_newc_ciGF$F$C.>FKFi]]l>FbpFhq>F`oFb
p>FgsF^r>F\oFd`l>FQFgj[l>F[rFZ>Fer7$Fg\tF][]l-FF6&F?F_bmF\icl%,constraintsG?(Fd
rFjnFjnF\icl52FaqF_`v2FaqFfjpC)>Fho,(F[rFjnFdrFjnF[gnFfo-FF6(F`rF_bmF_`v%'lines
,GFfjpFj]m-FF6&FHF_bm%-constraint~#GFdr>8=-Ff]s6#Feaq>Fep-Fhx6$f*F[yF$F$F$7$FOF
^arF$F$6$FgdglFcfglF`o>FY-Fhx6$f*F[yF$F$F$FjfglF$F$F[gglFgs@%-F[ap6%f*F\vF$Fdhl
F$0F]fnFaqF$F$F$FepFgcmC(-FF6%F`rF_bm%9reducing~lineality~spaceG>Fhn*&-Fdbp6#&F
ep6$FgcmF?Fjn&Fep6#FgcmFjn>Fep-Fael6$/FgcmF\rFep>F`o-Fhx6%F_asFepFhn>Fgs-Fhx6%F
_asFYFhn@%2F[rFhoC$>Fgs7$Fb^y&FhnFds>F\o7$-FM6#-Fhx6%FeelF\o<#Fho<#-Fc[n6#;Fjn,
&FhoFjnFfoFjn>FKFbeoC.-FF6%F`rF_bm%7computing~new~rays~...G>847#-Fc[n6#;FjnFfjp
>6$8788-Fgr6$f*F\vF$F$F$2Faq&F^s6$FOF?F$F$6$F]dglFYFcjgl>6$89F[[hl-Fgr6$f*F\vF$
F$F$/F`[hlFaqF$F$Fb[hlF[[hl-FF6*Ff`lF_bm%&r0~=~G-Fen6#Fe[hl%&r+~=~G-Fen6#Fjjgl%
&r-~=~G-Fen6#F[[hl>8:F`u>8;F`u>85,(FKFjnF_`vFfoFddnFjn?&Feh]lF[[hlF]o?&FgcmFjjg
lF]oC'>8<-Ffgn6$&F\oF`hgl&F\o6#Feh]l@$2-Fen6#F`]hlFj\hlFadl>86F]o?(Fai]lFjnFjnF
fjpF]o@$33-Fj_n6$F`]hl&F\o6#Fai]l0Fai]lFeh]l0Fai]lFgcmC$>F[^hlF%Ff`n@$F[^hlC$>F
f\hl7$-FM6#Ff\hl-F_as6$&FYFe]hl&FYF`hgl>Fh\hl7$-FM6#Fh\hlF`]hl@&F\iglC%?&FgcmFe
[hlF]o>F\o-Fael6$/Fgcm-Feel6$Fc]hlFgiglF\o>Fh\hl-Fhx6%FeelFh\hlFgigl>Fe[hl7$-FM
F^\hl-FMFa\hl2Faq,&F`\hlFjnFc\hlFjn>FKFbeo>Fgs7$-F[p6$&FgsF`hgl/FgcmFe[hlF\_hl>
F\o7$-F[p6$Fc]hlF^ahlFd_hl@$0F`oFbpC$-FF6%FHF_bm%;normalising~lines~and~raysG>F
[jz-Fi_pF[jz-Fc`t6)FLF`oFgsF\o7$-FMF\]nFg\t7$FibnF][]lFi[\lF$F$F$F$,
I.convex/reducef*6#Fjjt6,F/F^imF0F`esF3F^amFdesF7F8Fjf]lF$F$C4>FKFL>FbpFhq>F`oF
^r@$3/FgclFaq/F_`vFaq-Ffv6#-F_iyF`]m>FgsFd`l>FdrF\il>FhoFgj[l-FF6%FHF_bm%Ftrans
posing~ray-facet~incidence~tableG>Fer-F\es6$Fgs-FenFbbq-FF6%FHF_bm%=detecting~i
mplicit~equationsG>F[rF_`v>Fdr7$-FMF^an-F[p6$F_^dl/F\o-F^jq6$f*F\vF$F$F$/-Fen6#
FbzF^sF$F$6&Fjf]lF[rFdesFer7#-Fc[n6#;FjnFhchl-FF6%FHF_bm%Creducing~and~normalis
ing~equationsG>Fdr-Fi_pF^an-FF6%FHF_bm%Freducing~and~normalising~inequalitiesG>
FQ-Fhas6%Fer,*FKFjn-FenF^anFfoFgclFfoFfoFjnFhj^l@%/FZF\iclC$-FF6%F?F_bm%?all~in
equalities~induce~facetsG>Fho-F`dbl6$FdrFhoC&>Fho-F`dbl6$Fdr7#-F[p6$F_^dlF_\w>F
er7#-F[p6$&FerFcoF_\w-FF6%FHF_bm%Ftransposing~facet-ray~incidence~tableG>Fgs-F\
es6$FerF_`v-Fc`t6)FKFbpF`oFgsFdrFhoFerF$F$F$F$,
I-contains/rayf*6$F9F0F$F$F$3-Fiu6$f*F\vF$F$F$F_g_lF$F$Fbg_lF\il-Fiu6$f*F\vF$F$
F$1FaqF`g_lF$F$Fbg_lFgj[lF$F$F$F$,
I.contains/linef*Fjghl6$F^imFig_lF$F$5Fhb_l/-Fen6#-Fi_p6#7$Fa\uFaxFcgoF$F$F$F$,
I/convert/affineF\[tF$,
I-convex/homogf*6$Fc^zF`[vF$F$F$-Fccl6#7$-FMF]`pFaxF$F$F$F$,
I/convex/homog_1f*6%Fijr'%$v_1GFh\oF`[vF$F$F$-Fccl6#7%F`_sFaxFg[mF$F$F$F$,
I.convex/originf*F_dzF$F`[mF$7$-Fc[n6$FaqFhepFjnF$F$F$F$,
I.ray/_isaffinef*6#Fif_lF$F$F$-F_v6#2FaqFejrF$F$F$F$,
I'convexf*F\v6$F[eoF^[t6#%(packageGE\s#%._PackageTableG=F$F%E\[l[rFieclf*F$F$F$
F$-&FhjhlFa[oFi\pF$F$F$FiguFa[ilFehuFa[ilF][vFa[ilFbealFa[ilF'Fa[ilFga`lFa[ilFe
]vFa[ilFgavFa[ilFe\lFa[ilF`_lFa[ilF^hclFa[ilF^`lFa[ilF\alFa[ilFbflFa[ilF_e]lFa[
ilF\f]lFa[ilFj^dlFa[ilF[jwFa[ilF[`dlFa[ilF_\xFa[ilF[exFa[ilFi`vFa[il%*directsum
GFa[ilFcjxFa[ilF[`lFa[ilFd\yFa[ilF_byFa[ilF\\vFa[ilFhcdlFa[il%/transversalfanGF
a[ilF^fdlFa[ilF\cnFa[ilFbbmFa[ilFhhnFa[ilFjalFa[ilFijnFa[ilF[\zFa[ilFf\zFa[ilF[
_nFa[ilFh`^lFa[ilFbipFa[ilF`^zFa[ilF[b^lFa[ilFihdlFa[ilFc`zFa[ilF`juFa[ilFb[oFa
[ilFf]oFa[ilFa\mFa[ilFi]oFa[ilF]dzFa[ilFcezFa[ilF\h^lFa[ilF[`oFa[ilF_h^lFa[ilFg
inFa[ilFjh^lFa[ilFj]mFa[ilFaedlFa[ilF[halFa[ilF\j^lFa[ilFbgzFa[ilFiialFa[ilFbio
Fa[ilFjioFa[ilFdhuFa[ilFih^lFa[ilF_xFa[ilFh\_lFa[ilFg[pFa[ilFi\_lFa[ilFb]_lFa[i
lFcipFa[ilFbbzFa[ilFhh`lFa[ilFe\qFa[ilFe^[lFa[ilFg`oFa[ilFhfqFa[ilFeb[lFa[ilFf\
blFa[ilFfjuFa[ilFf]rFa[ilFi_dlFa[ilF`_rFa[ilFc^oFa[ilFg^mFa[ilFig[lFa[ilFjbdlFa
[ilF[f_lFa[ilFaf_lFa[ilFeazFa[ilFd^blFa[ilF\aelFa[ilFcjsFa[ilF[hdlFa[ilFafalFa[
ilFbiyFa[ilFce_lFa[ilFj]\lFa[ilFd`^lFa[ilF\\mFa[ilF]gclFa[ilFihalFa[ilF[bflFa[i
l%(torsionGFa[ilF[[pFa[ilFce\lFa[ilF\frFa[ilFfg\lFa[ilFdhqFa[il%*_InitFileGf*F$
F$F$F$@$4-%*interfaceG6#%&quietG-%'printfG6#Q]wConvex~version~1.0.2,~Copyright~
(C)~1999-2004~Matthias~Franz|+This~package~is~distributed~under~the~GNU~General
~Public~License,|+see~http://www-fourier.ujf-grenoble.fr/|irfranz/convex/~for~d
etails.|+F$F$F$F$C%>FK-FM6$FjnFj[l@%-Fb[t6#&F_bmF`]m>FbpFj\il>Fbp&Fh[tF`]m@%-Fc
bl6$FbpFe_lZ%-FbpFi\pQ.invalid~inputF$C$>FK&Fh[l6#F[bt@%/-FMF_]elFi`lY6$&Fh[l6#
;F?Fip-F^dflFg\_lYF$Fbb[lF$F`\tF$F\jr,
I&PFACE=F$F%E\[lAFieclf*Fhz6&F]_uF,F][u%#FFGF$F$C%>FbpF^r>FK-FenF[js@'Fa`lFA55-
FhiflFWF`]p3Fg]p/FfdmF`uC'>F``u-FgbdlFhs>F`o-F[_o6#-F[p6$&-Fj^uFg_oFds/FgsFh_u>
Fj^u-Fael6$/F`rF\r-Fh`m6#Fj^u>F``uF\r-F\cu6$F`oFhbuFeb_lF$6$Fj^uF``uF$Fbealf*Fh
z6$F,F]_uF$F$C&@$Fa`lFA>FKF^r>FbpFL5/FbpF[el3/Fh`tF`u2-F[_s6#Ffeal-FahmFd]vF$F$
F$Fga`lFha`lF^`lF]c`lFh^lFdc`lF__lFff`lFfflFih`lF]i`lF^i`l%.convert/CFACEGf*Fej
oF[fclF$F$C%@$Fa`lFA>FKF^r-Fha^l6&FLFhq-&F^duF^^vF`]mFd`lF$F$F$F[gxF[]alF[^alF\
^alF[d]lF`calFa\r&Fj_u6#F__lFa\mFbdalFbfalFcfalFj]mf*FhzF$F$F$@%Fa`lFA-Fhx6$Ffj
r-F_cs6$F]g[lF][blF$F$F$Faedlf*FhzF$F$F$@%Fa`lFA-F_v6#F\_blF$F$F$F[halF\halFbio
F\jalFih^lf*FejoF$F$F$@%Fa`lFA-&Fg]m6#.Fi`al6#-&Fg]mFgh^lFWF$F$F$F_xf*FhzF$F$F$
@%Fa`lFA-Ffjr6#-&Fg]mF]xFWF$F$F$F[fpF]\blFhh`lF`\blFcfpFb\blFjbdlf*FhzF$F$F$@%F
a`lFA-Fhx6$Ffjr-F^jqFebilF$F$F$Fd^blFe^blFafalFb_blF\\mf*FhzF$F$F$@'Fa`lFAF\_bl
Ffo,&-F^doFWFjnFfoFjnF$F$F$F]gclf*FhzFb]\lF$F$@'Fa`lFAF__ilC'>F``u-FgbdlFdj[l>F
K&-Fj^uFWFds>F``uF\r>Fj^uF^`ilFKFeb_lF$Ff`ilF$Fcd]lFdxFihalF[`blFigrF`ablF\jr,
I(FANCONE=F$F%E\[ljnFjanF^h\lF^uFfh\lFa]]lFb]]lFfzf*Fjr6$%#s1G%#s2GF$F$-Fa_gl6$
-F_[lFi\p-Fhho6$7$/FK&F"Fcb`l/FbpFeh`l-FK6$-FbpFWFb[lF$F$F$Fe\lF``]lF`_lF]d]lF^
`lFhd]lFh^lf*6$FjjtF*F$F$F$-Fi`l6&Fc]lFii^lFaq-F]go6#7#/FaqFaxF$F$F$FbflF]e]lF_
e]lF`e]lF\f]lF]f]lFg]lFg]mFfflF_f]lF[`lF]d]lFe[ilf*6$F9'Fe[oF-6,F*%#FdGF`imF0F7
F/Faim%$qMCG%#qrG%$qFdGF$F$C0>FK-Feh`lFW>FbpFL>FerFi]]l@&F>FAFg[[lC$@$Few>Fax-F
_dtFhsFi_]l>FerFi]]l>F[r,&FbpFjnFerFfo>F`oFbat>FerFi]]l>FgsFhhl>F\o-&F_bm6#.F]]
\lF\]n>Fdr-Fbfm6$;FaqF[r7#-F[p6$-Fhx6%Fab_l-F^jq6$f*F\vF$F$F$FgiqF$F$6$F0FgsFig
mF\o/FQ;FerFL>Fho<#-F[p6$-FM6#-Fhx6$f*F\vF$FdhlF$F`drF$F$F$&FdrFfn/FQFghil@$Few
>FaxF\o-Fe`fl6'F[rF`uFho-FM6$Fip-Fgan6&F[rF`u-Fddl6$FhoFfblF`u-Fh`mF^anF$F$F$Fi
`mf*F$6&F9F_imFaeilFbeilF$F$C%>FK-Fc]tFi\p>FbpFham@%-Fcbl6$Fbp-Ffbl6#Fefl-Fhir6
$FK-Fhho6$7$/F`o&F"Fd]t/FgsFeh`l-F`o6#-FM6#-Fhx6$FgsFbpFKF$F$F$F[gxFa^^lFhhnF]d
]lFjalFg^^lFijnFi^^lF[_nf*F^_^lF$F$F$@)FagqFAFbf]lFibl3Fdgl/Fagil-Feh`lF\gnC$@$
Fc[m>Fg[m-&Fc]l6#.F[halF_galF]oC$-FF6&F?Fc]l.%(callingG&Fba]l6#F[_n-&Fba]lFi^nF
i\pF$F$F$Fh`^lFi`^lFbipF_a^lF[b^lF\b^lFb[oF`b^lFf]oFag^lFa\rf*FjrF`eilF$F$@%Fhb
_lFgg^l-Fa_gl6$-F^\rFi\p-Fhho6$7$/FK&F"6#.Fg[rF[fil-FK6#F^filF$F$F$Fi]oF]d]lF\h
^lF]h^lF_h^lF`h^lFjh^lF[i^lFj]mFci^lF[half*6#F_am6'F*F_imF9F0Fe\mF$F$C*>FbpFham
@$Fa`blFibl>FKFagil@$-F[ap6$f*F\vF$F$F$0FagilF^sF$F$6$F*FKFbpFffal>F`o&Fbp6#-F\
j\l6$F^j\lFbp>FgsFjjm>F\o-Ffgn6#-FM6#-Fhx6$FjhlFbp-Ffhm6$-F`^_l6#-&Fb]l6#.F]i`l
6$F`o-F^jq6$f*F\vF$F$F$-F\s6$FdeoFeyF$F$6&F0FgsFe\mF\o<#FejglFKF$F$F$F\^tFei^lF
\j^lF]j^lFbioFf[_lFih^lFh[_lF_xF\\_lFh\_lFb]]lFi\_lFj\_lF[fpF\]_lFb]_lFc]_lFcip
F]d]lFhh`lf*Fjr6$Fi]rF/F$F$C$>FK-FM6$"#5FO@'Fa`lFA/-FM6$FaqF^dnFi`lF^dn>F^dn-Fh
`m6#F^dnF$F$F$FhfqFc^_lFcfpf*F`f]lF$F$F$@%3Fdgl/Fcajl-FM6$FeajlFax-Fj_n6$FhhlFh
hqC$-FF6&F?Fc]lFa]jl&Fba]lFbfp-&Fba]lF[`_lF_galF$F$F$Ff]rF]d]lF`_rf*FjrF`eilF$F
$-Ffhm6$-&Fba]lF[`rFi\p-Fhho6$7$/FKF_d]l/Fbp&Fc]lFfh`lF\filF$F$F$Fc^oF[e_lFg^mF
de_lF[f_lF\f_lF[\nF[uFaf_lFbf_lFcjsFgf_lFce_lFgg_lFd`^lFf[`lF\\mFi]`lFcd]lF"Fih
alf*Ff^jl6%F*F_imF9F$F$C%>FbpFham>FKFagil@'Fa`blFibl-F[ap6$f*F\vF$F$F$F`_jlF$F$
Fa_jlFbpFffal-F]dl6$FK-FM6#<#-F[p6$-FM6#FjjmF_ablF$F$F$F[[pF\^`lF\frF]d]lFdhqF`
``lFigrFh``lF\jr,
I%CELL=F$F%E\[laoFieclFjeclFjanF^gclF^uFbgclFbealFjgclFa]]lFb]]lF^hclF_hclFe\lF
``]lF`_lF]d]lF^`lFhd]lFh^lf*6$'F9FdxF*F$F$F$-Fi`l6%Fc]lFa_elFcfilF$F$F$FbflFf^d
lF_e]lF`e]lFj^dlF[_dlFg]lFj_uF[`dlF\`dlFfflF_f]lF[`lF]d]lFhcdlFicdlFi`mFgddlF^f
dlF_fdlF[gxFa^^lFhhnF^gdlFjalFg^^lFijnFi^^lF[_nFb\jlFbipF\hdlF[b^lF\b^lFihdlFjh
dlF`juFhidlFb[oF^jdlFf]oF_^elFa\rF]_elF_h^lF`h^lFjh^lF[i^lFj]mFd_elFaedlFi_elF[
halFe^jlF\^tf*F[fcl6&F9FidflFaeilFbeilF$F$C%>FK-F]^vFi\p>Fbp-&FbeflFfh`lFW@%/Ff
dmFa^lFK-Fhir6$FK-.&F`\l6#.FceflFhsF$F$F$F\j^lF]j^lFbioF[`elFih^lF^`elF_xFa`elF
i\_lFf`elF[fpF\]_lFb]_lFc]_lFcipF]d]lFhh`lF_ajlFhfqFgaelFcfpF]bjlFibwF]celFf]rF
]d]lFi_dlF`helF`_rF[cjlFc^oF[e_lFg^mFde_lFjbdlFg]flF[\nFdxFaf_lF_^flF\aelFe^flF
cjsFj^flF[hdlF__flFce_lFgg_lFd`^lFf[`lF]gclFiaflF\\mFi]`lFcd]lF`\lF[bflF\bflF\f
rF]d]lFigrf*FbbflF$F$F$@%Fdbfl-.FbeflFibfl-FdfjlF\cflF$F$F$FdhqF```lF\jr,
I%MODZ=F$F%E\[l+Fga`lf*6#FhbtF$F$F$,&FLFjnFj]]lFjnF$F$F$Fh^lf*6$'F0F]hrFhe\lF$F
$F$-Fi`l6%FdbglFOFaxF$F$F$Fd[ilf*F$6#FhhuF$F$C$>FKFham@%-Fcbl6$FK-Ffbl6#Fbav-F_
g\l6$-F[_o6#-FM6#-F\fl6%FMF?FK-Fbg\l6#-Fhx6$FM-F\fl6%FMFHFKFiblF$F$F$%'_smithGf
*6#'Fe[oF]]o6&Fh\qF:F0F3F$F$C&>FbpFc`\l@$2FaqFbp>Fbp-Fahm6$FbpFg_\l@)FhcvFh\u-F
cbl6$-Fh`m6#%,_Env_ismithGFe_l>FK-FiijlFW-Fcbl6$-Fh`m6#%'ismithGFe_l>FK-F`jjlFW
>FK-&%'linalgG6#.F`jjl6#-F`hl6%-Fcbl6$FOFbfmFO-FddlF][[m@'-Fcbl6$FKF]]oC$?(F`oF
jnFjnFbp0&FKF\^dlFaqF$7#-F[p6$&FKFd[z/FgsFehwF^iuFK-FB6#Q.ismith~failedF$F$F$F$
%&_zeroG-Fj`l6%FbavFaqF`uFedpf*F[][l6&F3Fie\lFa][lF^amF$F$C%?(FKFc]xFjnFaxF]oC(
@$Ff][lC$>Fh][l-F_g\l6$Fh][lF`uFadl>Fbp-&Fbav6#.FhhjlF_^[l>F`oFgcl?(FgsFjnFjnF`
o/FbewFjnF$>Fh][l-F_g\l6$,&Fh][lFjnF`oFfo&Fbp6#;FgsFfo>Fj][l,&Fj][lFjnF`oFfo>&F
g[mF\gn-F_g\l6$F]^[mF`uFg[mF$F$F$Fafalf*FjfjlF$F$F$FLF$F$F$Feg\lf*Fbgjl6'F3F^am
F/F:F^imF$F$C&>FgsFhim>F\oFO?(FKFjnFjnF_etF]o?(FbpFfxFjnFgsF]oC%>F`o-F[_s6#-F^_
s6$&F\oF`]m&F\oFhs>F__[m*(F^_[mFjnF__[mFjnF`oFfo>F^_[mF`o-Fhho6$FgftF\oF$F$F$Ff
[ilf*FjfjlF$F$F$FhqF$F$F$Figrf*6$'F0FiipFhe\lFgfsF$F$,&*&FOFjn.%"ZGFjnFjn-F[_o6
#-F[p6$&F[`[mF`]mFddclFjnF$F$F$F\jr,
I.convert/CFACEF\[tF$,
I.type/PCOMPLEXf*F\vF$F$F$3Fbbgl/Fh[tFffqF$F$F$F$,
I/convex/lelim_1f*Fj\clF$FdhlF$-Fhx6$Fe^s-F\fl6%Fael/FddnF\rFOF$F$F$F$,
I.convert/PFACEF\[tF$,
I#&=F\[tF\jr,
I5polyhedron/&x/hspacef*6%FgboFd\tF_]tFgfsF$F$-Fael6%Fg\t/Ffo,&-F[_o6#-F[p6$Fb^
s/FKFg[mFjnFejrFjnFOF$F$F$F$,
I#&<F\[tF\jr,
I$&<=F\[tF\jr,
I/convex/lelim_2f*6$F^imFgboF$F$F$-Fhx6$f*F\vF$F$F$-Fael6$F]a[m,&FOFjn*&&FO6#Fd
dnFjnF`apFjnFfoF$F$6$FgboFaxFOF$F$F$F$,
I0type/POLYHEDRONf*F\vF$F$F$3Fbbgl-F\s6$Fh[t<$F]gyFdfjlF$F$F$F$,
I-type/FANCONEf*F\vF$F$F$3Fbbgl/Fh[t.FeflF$F$F$F$,
I.type/POLYTOPEf*F\vF$F$F$3Fais-F_ealFWF$F$F$F$,
I*type/CONEf*F\vF$F$F$3Fbbgl-F\s6$Fh[t<$Fg^]lFec[mF$F$F$F$,
I+type/CONE1f*F\vF$F$F$3-Fjc[mFWFcisF$F$F$F$,
I+type/CONE0f*F\vF$F$F$3Fcd[mFhjnF$F$F$F$,
I+type/PFACEf*F\vF$F$F$3Fbbgl/Fh[tFb]`lF$F$F$F$,
I,type/PFACE1f*F\vF$F$F$3-Fgd[mFW0F][blF`uF$F$F$F$,
I+type/CFACEf*F\vF$F$F$3Fbbgl/Fh[tFbialF$F$F$F$,
I#&xF\[tF\jr,
I8convex/orderplanepointsf*6#'FbalFfbl6$F[ctF4F$F$C&@$2FhimF`rF]cm>FK,&F[jmFifo
F]fnFifo>Fbp-Fhx6'FibclFOFK,&F]fnFjnFKFfo,&&FOFc[glFjnFKFfo-F\fl6%FMF?-Fc\n6$Fb
pf*Ff\nF$FdhlF$-F_v6#2F[jmFgasF$F$F$F$F$F$F$,
I6polyhedron/proximum/gf*6%F\yFi]sFdhclF$FdhlF$,&FOFjn*&-Fcv6$FOFg[mFjnFaxFjnFf
oF$F$F$F$,
I5cone/&x/addincidencef*6&'%#CSGFhdl'%$CASGFhdl'%#ASGFhdl'F3F]hrF$F$F$-F[dp6$Fg
[m-Fhx6%F[_o-F[dpF]]zFbbpF$F$F$F$,
I$&<<F\[tF\jr,
I6convex/lindiosolve/<=f*6$'F]vFfbl'Fg\nFfblFgfsF$F$C$?(FKFjnFjnFhimF]o@$2F^gsF
b^sFevF]oF$F$F$F$,
I6FAN/homology/getbasisf*Fd_pF$F`[mF$Ff_pF$F$F$F$,
I4convex/projection_1f*F^cel6/F/F3F^amFe\rFaalF7F8Fia_lFja_lFgboF`es%&sat2iG%#P
sGF$F$C)>FKFL>FQF\il>FerFgj[l>Fgs-Fg`[mF[^]l>F\o-Fg`[mFdj[l@%-F[ap6%f*F\vF$Fdhl
F$0Fhb[mFaqF$F$F$FQFbpC&>F[r*&&FQFhsFjn&FQ6$FbpFddnFfo>Fdr-F^b[m6$FQF[r>Fho-F^b
[m6$FerF[r>Fhn-Ffbw6#-Fc`t6(F]`elFgsF\oFd`l-Fi_pFcfhlFi[\lC&>FepFd`l>Fdr-F\fl6%
FaelF]a[mFQ>FhnF\r?(FbpFjnFjnF\iclF]oC&@%1&FerFfj[mFaqFadl>F[r*&&FerFhsFjnF]\\m
Ffo>FhoF[[\m>FY&Fi[\lFhs>Fhn6$Fhn-Ffbw6#-F``t6#-Fc`t6)FbeoFgs7#-F[p6$Fhil/F`oFY
7#-F[p6$&FepFiilF_]\mFdrFhoF`u-F_\l6$7#FhnF%F$F$F$F$,
I1convert/PCOMPLEXF\[tF$,
I,convert/FANF\[tF$,
I)type/FANf*F\vF$F$F$3Fbbgl/Fh[tFe]pF$F$F$F$,
I*type/FAN0f*F\vF$F$F$3-Fi]\mFWFhjnF$F$F$F$,
I*type/CELLf*F\vF$F$F$3Fbbgl/Fh[tFdfjlF$F$F$F$,
I5face/convert/fanconef*6#F_gblF$F$F$-Fhir6$-%2face/convert/coneGFW-%/fancone/d
omainG6#-%,face/domainGFWF$F$F$F$,
I8convex/writepoly/matrixf*6&F^bvF_bvFah[lF[eo6$F0F\yF$F$C$-F_i[l6%FOQ%|+%s|+F$
Fax?&FKFbbpF]oC$>Fbp-F]jrF`]m-F_i[l6&FOFg[mFigbl-FMF[h]lF$F$F$F$,
I5convex/writepoly/setf*6$F^bvFj]rFgfsF$F$C%-F_i[l6$FOQ"|frF$?&FK-Fc\n6#FbjpF]o
-F_i[l6%FOFhi[lFbeo-F_i[l6$FOQ$~|hr|+F$F$F$F$F$,
I7convex/readpoly/matrixf*Fi\cl6'F^imF3Fah[lF\yF_hflF$F$C)>FKFa^cl>FbpFjn>F`oFd
[l?(F$FjnFjnF$F]oC&>Fgs-Fbcv6$F__clQ%%a%nF$@$Fb^glFf`n>F`o-Fi_m6$F`oQ#%aF$>Fbp,
&FbpFjn&FgsFi[lFjn>F\oF\r?(F$FjnFjnF$F]oC&>Fgs-Fbcv6$FKF`o@&Fb^glFf`n4-Fcbl6$Fg
sFh[sC$-FghvFW-FB6#Q<polyhedron~must~be~rationalF$>F\o6$F\o-F^y6$&FgsFatFb]n>FK
Fa^clFhgrF$F$F$F$,
I5convex/readpoly/nopsf*6%F_bvF`bv'F:F[^xF$F$F$@$3-Fb[t6#&FaxFW0Fad\mF`u>Fg[m-F
en6#&Fad\mFdsF$F$F$F$,
I8convex/readpoly/makesatf*6$Faal%#ieG6$Fj]rF0F$F$C%-FF6%FHFdx.%@computing~inci
dence~informationG>FK<#-Fc[n6#;FjnF[gn7#-F[p6$-F^jq6$f*F\vF$F$F$/-Fcv6$F^s&Fecs
FWFaqF$F$6&F0FbpFjd\mFaxFK/FbpFOF$F$F$F$,
I$&<>f*F$F$FdhlF$4-FfflFi\pF$F$F$F\jr,
I$&>=f*6$FbjlFdjlF$FdhlF$-Fcfp6%FaxFOFadalF$F$F$F\jr,
I#&>f*Fhf\mF$FdhlF$-F[fpFjf\mF$F$F$F\jr,
I$&>>f*Fhf\mF$FdhlF$-FbfalFjf\mF$F$F$F\jr
