MVR5
I0type/polyhedron-%)specfuncG6$%)anythingG%+polyhedronG6",
I.polyhedron/&=R6$%#C1G'%#C2G<$%%coneGF'F(F(F(C$@&453-%%typeG6$9$F0-F76$9%F03-F
76$F9F'-F76$F<F'-%&ERRORG6#QFillegal~combination~of~argument~typesF(0-%0cone/am
bientdimG6#F9-FH6#F<-FC6#QEarguments~must~lie~in~the~same~spaceF(3/-%.cone/_ray
sSetGFI-FRFK5/-%-cone/hplanesGFI-FWFK-%6convex/issamesubspaceG6$-%+cone/linesGF
I-FgnFKF(F(F(F(,
I.polyhedron/&xRF(6$%#PlG%&dummyGF(F(C$>8$7#9"@)/9#""!-&%'convexG6#.%/fullpolyh
edronG6#Ffo4-F76$F`o-%%listG6#F'-FC6#Q<arguments~must~be~polyhedraF(-%+std/exis
tsG6%%3polyhedron/isemptyGF`o8%-&Fio6#.%0emptypolyhedronG6#,&-%"+G6#-%#opG6#-%$
mapG6$FHF`o"""Feo!""-%0polyhedron/_newG6#-%3polyhedron/&x/coneG6#-Fgq6#F`oF(F(F
(F(,
I.cone/containsR6$%"CG'%%arg2G<%F0%$rayG%%lineG6$%"dG%"rGF(F(C$>F`oFG@'-F76$F<F
]sC$>F[q-%2convex/reduceqvecGFK@%/F`o-%%nopsG6#F[q-%-contains/rayG6$F9F[qFL-F76
$F<F^sC$>F[q-Fjs6#-Fgq6$F\rF<@%F\t-%.contains/lineGFbtFL-%)cone/&<=G6$F<F9F(F(F
(F(,
I0cone/ambientdimR6#FirF(F(F(-Fgq6$F\rF9F(F(F(F(,
I-cone/maxfaceRFcuF(F(F(-.%%faceG6%<#-%"$G6#;F\r-F^t6#-%*cone/raysGFI<"F9F(F(F(
F(,
I-cone/supportR6$Fir'Fas<%F]s-Fbp6#F]s-%$setGF\w6,%$eqsG%&ineqsG%#rlGF]o%"wG%"c
G%"vG%"iG%#hnG%#okGF(F(C*>8&-Fjq6$Fjs-%#ifG6%-F76$F<<$F[wF]w-%(convertG6$F<Fbp7
#F<@&/F[x7"-&Fio6#.%(minfaceGFI50FG-F^t6#&F[x6#F\r4-F76$F[x%)listlistGFL>F`oFV?
&8*F[x%%trueG@$-Fhp6&R6$%"xG%"yGF(6$%)operatorG%&arrowGF(-%&evalbG6#0-%/convex/
dotprodG6$F9F<FfoF(F(F(F`o8'F\z-%'RETURNG6#%%FAILG>F[q-%-cone/hspacesGFI>8,Fev?
(8+F\rF\rF]tF]zC&>8(&F[q6#Fj[l>8-F]z?&F\zF[xF]zC$>8)-F][l6$F\zF]\l@&2Fe\lFfoF`[
l2FfoFe\l>Fa\l%&falseG@$Fa\l>Fh[l-%&unionG6$Fh[l<#Fj[l-%6convex/hspacenos2faceG
6$F9Fh[lF(F(F(F(,
I-cone/hspacesRFcuF(F(F(-Fgq6$""'F9F(F(F(F(,
I0polyhedron/_newR6#'%"PGF/6*Fas%$satG%#riG%#viG%%rnexG%"hG%%sat2G%#nhGF(F(C->F
`oFcv>F[q-&Fio6#.%/incidentfacetsGFI>F[xFfo>F_[l,&-F^tFerF\rF\rF\r>F]\l%%NULLG?
(F(F\rF\rF(F]zC(?(F[x,&F[xF\rF\rF\rF\r,&F_[lF\rF]rF\r4-%.ray/_isaffineG6#&F`o6#
F[xF(?(F_[lFj_lF]rF[x-F]`l6#&F`o6#F_[lF(@$1F_[lF[x%&breakG>F`o-%'subsopG6%/F_[l
F_`l/F[xFd`lF`o>F[q-F[al6%/F_[l&F[qF``l/F[x&F[qFe`lF[q>F]\l6%F]\l/F_[lF[x/F[xF_
[l-%'ASSERTG6$/F[x,&F_[lF\rF\rF\rQErays~and~vertices~incorrectly~sortedF(>Fe\lF
e[l>F\z-%%subsG6$7#F]\l-&Fio6#.%-incidentraysGFI@&/F_[lFc_l-Fa[l6#-F]q6#,&FGF\r
F]rF\r1-%/polyhedron/dimGFI,&F_[lF\r-F^t6#FfnF\rC$>Fj[l-F^t6#Fe\l?(F[xF\rF\rFj[
lF]z@$4-%0raynos/isaffineG6$&F\zF``lF_[lC'>Fe\l-F[al6%/F[x&Fe\lF_\l/Fj[l&Fe\lF`
`lFe\l>F\z-F[al6%/F[x&F\zF_\l/Fj[lFbdlF\z>F[q-Fcbl6$7$/F[xFj[l/Fj[lF[xF[q>F_[l,
$F_[lF]rFh`l-.F'6*FGFfnF`oF[qFVFe\lF\zF_[lF(F(F(F(,
I2convex/basiclistsR6#'F`s%*nonnegintG6#Ffw6#%)rememberGF(7#-%$seqG6$7%-F^v6$Ff
o,&F`oF\rF]rF\rF\r-F^v6$Ffo,&F9F\rF`oF]r/F`o;F\rF9F(F(F(F(,
I1convex/transposeR6$'%"AG<%Fjx%'matrixGFiy'%&ncolsGF`fl6&%"mG%"nGFfw%"jGF(F(C$
@'-F76$F9%&arrayGC$>F[q-Fgq6$7%""#F\rFhhl-%%evalGFI>F`o-Fgq6$7%FhhlFhhlFhhlFihl
/F9FjxC$>F[q-F^tFI>F`oF<C$>F[qFbil>F`o-F^t6#&F9Fey7#-Fffl6$7#-Fffl6$&F96$F[xF_[
l/F[x;F\rF[q/F_[l;F\rF`oF(F(F(F(,
I1convex/matvecmulR6$FeglFewF(F(F(-Fjq6%F][lF9F<F(F(F(F(,
I1convex/matmatmulR6$Fegl%"BGF(F(F(-%%map2G6%FfjlF9F<F(F(F(F(,
I1convex/reducevecR6#Few6#F\hlF(F(C$>F`o-%%igcdG6#-FgqFI@%/F`oFfoF9*&F9F\rF`oF]
rF(F(F(F(,
I2convex/reduceqvecRFd[m6$F\hl%#vlGF(F(C%@%-F76$F9Fbp>F[qF9>F[q-FexFf\m>F`o-Fi[
m6#-Fgq6#-Fjq6$%&numerGF[q@%F]\mF[q*(-%%ilcmG6#-Fgq6#-Fjq6$%&denomGF[qF\rF`oF]r
F[qF\rF(F(F(F(,
I3convex/combinevecsR6$FewFcwF(F(F(-Fb[m6#,&*&&F<6#FhhlF\rFiilF\rF\r*&&F9Fd^mF\
r&F<FeyF\rF]rF(F(F(F(,
I1convex/gausselimR6%'%%oldrGFbp'%%addrGFbp'%%rankG%&evalnG6#%%newrGF(F(C$>F`o7
$F[\m-FgqFK@%/Fc_lFfoC$>9&FfoFjx-Fjq6$Fb[m-Fjq6%Fex-Fex6$-&%'linalgG6#.%(rowspa
nG6$-Fbhl6#Ff_mF\`mFbpFbpF(F(F(F(,
I4convex/latticebasisR6#'%"LG<$FjxFiy6#%"UGF(F(C%@$F_il-Fa[l6#Fjx-&Fe`m6#.%)ihe
rmiteG6$-FaglFIF`o&-Fagl6#-&Fe`m6#.%(inverseGFer6#;F\rFbilF(F(F(F(,
I3convex/maximalsetsR6%'%"lG-Fbp6#F^w'%$minG%(integerG'%$maxGFbcm6&%#nlGFfwF[hl
F]oF(F(C(>F`o7#-Fffl6$7$F[q-F^t6#&F9F_t/F[qFhbm@$/Feo""$>F`o-%'removeG6&R6%FczF
dz%"zGF(FezF(-Fiz6#52Ff^mF<2F\`mFf^mF(F(F(F`oF<F\`m>F`o-Fjq6$R6#FczF(FezF(FiilF
(F(F(-%%sortG6$F`oRFbzF(FezF(-Fiz6#1Fc^mFf^mF(F(F(>F[xFjx?&F[qF`oF]z@$4-Fhp6'RF
idmF(FezF(-Fiz6#/-%&minusG6$F\`m&F<FIFevF(F(F(F[xF_[lF9F_dm>F[x7$-FgqF``lF[qF[x
F(F(F(F(,
I1convex/normaliseRFcuF(F(F(C$-%)userinfoG6%FhhlFio.%=normalising~rays~and~hspa
cesG-F[al6%/Fcdm-Fdv6#-%/convex/motzkinG6%F9FfnFjx/Fj]l-Fdv6#-F[hm6%-%+cone/_du
alGFIFVFjxF9F(F(F(F(,
I3convex/normalise_hRFcuF(F(F(C$-Fagm6%FhhlFio.%4normalising~hspacesG-F[al6$/Fj
]l-Fdv6$F`hmF9F9F(F(F(F(,
I4convex/transposesatR6$'Fa^lFbp'%(entriesGF`fl6%Ff^lFfwF]hlF(F(C%>F`o7#-F^v6$F
evF<?(F[qF\rF\rFbilF]z?&F[xF_dmF]z>F`o-F[al6$/F[x-F`]l6$F_`l<#F[qF`oF`oF(F(F(F(,
I4convex/intersectionR6&'F\hlF`fl'%#ClGFbp'F`wFbp'FawFbp6)%$Cl2G%%eqs2G%'ineqs2
GFirFfwF]o%#NCGF(F(C&@%/F<FjxC%>F_[l-&Fio6#.%)fullconeGFI>F[qF\`m>F[x9'C'>F]\l-
%,std/findmaxG6$%+cone/codimGF<>F_[l&F<6#F]\l>F`o-F[al6$/F]\lFe_lF<>F[q7$-Fffl6
$-Fgq6#-FWFg\n/F]\lF`o-Fgq6#F\`m>F[x7$-Fffl6$-Fgq6#-Ff[lFg\nFc]n-Fgq6#F^\n-Fagm
6&FhhlFio.%.starting~withG-%+print/coneG6#-FgqFe`l>F\z-F[hm6%F_[lF[qF[x@%3/-Fdv
6#F\z-FdvFe`l/-FgnF^_n-FgnFe`l-%2cone/convert/coneGFe`l-F]gm6#-%.convex/reduceG
F^_nF(F(F(F(,
I4convex/_raynos2faceR6$Fir%#rnGF(F(F(-%+face/_dualG6#-Fd]l6$FbhmF<F(F(F(F(,
I2polyhedron/_nraysR6#'F_^lF'F(F(F(-Fgq6$"")F9F(F(F(F(,
I1polyhedron/linesR6#F_^lF(F(F(-Fjq6$%.convex/affineGFfnF(F(F(F(,
I4polyhedron/verticesRF[anF(F(F(-Fjq6$F^an&Fcv6#;,&-%$absG6#-Fb`nFIF\rF\rF\rF]r
F(F(F(F(,
I4polyhedron/face/dimR6#%"FGF(F(F(@%/-&Fio6#.%'raynosGFIFevF]r,&-%.cone/face/di
mGFIF\rF]rF\rF(F(F(F(,
I1convex/mat/homogR6$'FeglFiy'FewFbpFaflF(F(7$-Fffl6$7$-Fgq6#&F9Fer&F<Fer/F`oFh
bm-%.convex/originG6#,&FgilF\rF\rF\rF(F(F(F(,
I1methods/ismethodR6$%"pG%#tsG6$FfwF[hlF(F(C%>F`o-%+SearchTextG6$Q"/F(F9>F[q-%*
substringG6$F9;,&F`oF\rF\rF\rF]r@%3332FfoF`o-%'memberG6$-Fidn6$F9;F\rF[glF<0-Fi
dn6$F[qF\r.%"_G/-Fddn6$FfdnF[qFfoF[qFe_lF(F(F(F(,
I3convert/polyhedronRFdem6&F[hl%"TG%"tG%#mtGF(F(C*@%-F76$9!%(indexedG>%(_METHOD
G-Fgq6$F\rFjfn>F]gnFjfn@%-F76$F9%)functionG>F[q-Fgq6$FfoF9>F[q-%)whattypeG6#Fih
l>F`o-%$catG6%F[q%"/GF]gn@$-F76$F`o%*procedureGC$-Fagm6&FcdmFio.%(callingGF`o-F
a[l6#-F`o6#Fbo>F_[l-Fjhl6#-F^hn6$%(method/GF[q@$-F76$F_[lFbp?&F[xF_[lF]zC$>F`o-
F^hn6%F[xF`hnF]gn@$FbhnC$-Fagm6&FhhlFioFhhnF`oFjhn-Fagm6%FhhlFio-%(nprintfG6%QD
method~`%s'~not~defined~for~type~%sF(F]gnF[q.-FjfnF]inF(6#F]gnF(F(,
I2cone/convert/coneRFcuF(F(F(-.F06#-Fgq6$;F\r""(F9F(F(F(F(,
I1type/pointedconeRFdemF(F(F(3F6-%/cone/ispointedGFIF(F(F(F(,
I1type/fulldimconeRFdemF(F(F(3F6/-Fd\nFIFfoF(F(F(F(,
I4cone/containsrelintR6$Fir'FasF]s6#F]oF(F(3-%+std/forallG6&RFbzF(FezF(-Fiz6#/F
\[lFfoF(F(F(FVF`oF<-Fc\o6&RFbzF(FezF(-Fiz6#2FfoF\[lF(F(F(Fe[lF`oF<F(F(F(F(,
I3cone/arecompatibleR6%F,'F.F0'Fir%%nameG6$%#CIGF_^lF(F(C$@$FFFL@%FYC&>F`o-Fejm
6&FG7$F9F<FjxFjx@$Fbdm>F\`mF`o>F[q-&Fio6#.%,pointedconeGFer3-&Fio6#.%'isfaceG6$
F[q-Fc^oFI-Fi^o6$F[q-Fc^oFKF\]lF(F(F(F(,
I1cone/face/relintRF]bn6#FasF(F(C$>F`o-%/cone/face/raysGFI@%Fi_m7#-F^v6$Ffo-&Fi
o6#.%+ambientdimGFI-Fb[m6#-FdqFcrF(F(F(F(,
I1print/polyhedronR6*'F`s%'posintG'F]cmFbp'FasFbpFcim'%#eqGFbp'%%ineqGFbp'Ff^lF
bp'%#nrGFbcmF(F(F(@%3/9+FfoFd[n-.%)polytopeG6&,&F9F\rF]rF\r,(F9F\r-F^t6#9(F]rF]
rF\r-F^tFe]n-F^t6#9)-Fjel6'F[boF\bo-F^tFK7$,&F`boF\r-Fhan6#FfaoF]rFibo-F_x6%2Ff
oFfaoFabo7#,&FaboF\rF]rF\rF(F(F(F(,
I1type/polyhedron1RFdemF(F(F(3F>1FfoFcclF(F(F(F(,
I2type/polyhedron_0RFdemF(F(F(3F>-Ffr6$F9-Fhcn6#FGF(F(F(F(,
I3polyhedron/hplanesRF[anF(F(F(@%-FjpFI7#/7#-F^v6$Ffo-%6polyhedron/ambientdimGF
IF\r-Fjq6$RFdemF(FezF(/,$FiilF]rFf^mF(F(F(-Fjq6$%/convex/dehomogGFVF(F(F(F(,
I3polyhedron/isemptyRF[anF(F(F(-Fiz6#/FcvFjxF(F(F(F(,
I3polyhedron/hspacesRF[anF(F(F(@%-%4polyhedron/isaffineGFIFjx-Fjq6$RFdemF(FezF(
1FjdoFf^mF(F(F(-Fjq6$F]eo-F_x6%1FfoFjanFe[l&Fe[l6#;F\r!"#F(F(F(F(,
I4polyhedron/isaffineRF[anF(F(F(-Fiz6#/FavF\rF(F(F(F(,
I1polyhedron/codimRFcuF(F(F(-F^t6#FVF(F(F(F(,
I4polyhedron/containsR6$F_^l'F[s<&F'F]sF^s%'affrayGF_sF(F(C$>F`oFG@)FesC$>F[q-%
-convex/homogG6$F<F\r@%F\tF`tFL-F76$F<FcgoC$>F[q-Fjgo6$FitFfo@%F\tF`tFLFctC$>F[
qFaho@%F\tF\uFL-%/polyhedron/&<=GF`uF(F(F(F(,
I2polyhedron/relintRF[anF(F(F(-F^an6#-%,cone/relintGFIF(F(F(F(,
I1polyhedron/imageR6%F_^l'Fegl<%%)rationalGF]s%$matG'FewF]s6&F`s%$AllG%"sGFb\mF
(F(C$>F`oFddo@%-F76$F<Feio@)30F<Fjx43-F76$F<Fbhl/-Fgq6$Fghl-FjhlFKFfoC%>F[q-Fex
6$F<Fiy@%/FeoFhhl>F_[l7#-F^v6$FfoF]t>F_[l-Fex6$F\`mFbp@%50-F^t6#&F[qFeyF`o0-F^t
Fe`lF]t-FC6#QGambient~dimension~and~map~do~not~matchF(-F_r6#-%+cone/imageG6$F9-
Fibn6$F[qF_[l53Fbdm0Fe[pFjx3Fdjo0-Fgq6$F^ilFijoF`oF_\pF^do-F]qF]pFgoC$@'-F76$F<
FdioC$>F[xF<@%F_[p>F_[l7#-F^v6$FfoF`o>F_[lFe[pF_[pC$>F[xF\r>F_[lFdxFB@)0F^\pF`o
F_\pF^doF90F[xFfo-%9polyhedron/image/similarG6%F9F[xF_[l-F_r6#-%,convex/hullG6&
F\enFjxFjx7#-Fjgo6$F_[lF\rF(F(F(F(,
I4polyhedron/preimageRFaioFgioF(F(C$>F`oFddo@%F]jo@)F`joC%>F[qF\[p@%F_[p>F_[lFi
]p>F_[lFe[p@%50F]tF`oF]\pF_\p-F_r6#-%.cone/preimageGFf\p50F`oFfoFj\pF_\pFd[n-FC
6#QVcannot~determine~ambient~dimension,~please~use~arraysF(-F_x6#-6%F^doF]qFho6
#F^]pC$@'Fc]pC$>F[xF<@%F_[p>F_[lFi]p>F_[lFe[pF_[pC$>F[xF\r>F_[lFdxFB@)Fa^pF_\pF
b^p-Fd^p6%F9*$F[xF]r,$*&F_[lF\rF[xF]rF]r-Fat6$F9F\_p-FhoFer-F]qFerF(F(F(F(,
I2polyhedron/&x/rayR6$Few%#roGF(F(F(-F[al6$Fg_mF9F(F(F(F(,
I3polyhedron/&x/coneR6#%#P1G6+F_^l%#PdGF`sFfwF`wFewF\hlFabp%#hoGF(F(C->F`o-%(co
ne/&xGF]in>F[q-FHFer>F]\lFe_l>F\zFG>Fe\l,$-FhcnF^_nF]r>Fh[lFe_l?(F_[lFhhlF\rFeo
F]zC&>Fh[l6$Fh[lF\z>F[x-FH6#&FboFe`l>F]\l6$F]\l-%-convex/embedG6'F[qFe\lFfo-Fhc
nF``lF\z>F\z,&F\zF\rF[xF\r>F`o-F[hm6%F`oFeblFjx>Fh[l7#Fh[l>Fj[l-Fjq6$RFdemF(Fez
F(/F9Fe_lF(F(F(Fh[l-Fdhm6#-Fh_n6#-F\[o6),(F[qF\rFeoF]rF\rF\r-Fjq6%F^bp-FgnFerFj
[l-Fjq6%F^bp-FdvFerFj[l-F\_lFer-Fjq6&%5polyhedron/&x/hspaceG&-FWFer6#;F\r,$FeoF
]rFj[lFh[l-Fjq6&Fafp-Ff[lFerFj[lFh[l-FgblFerF(F(F(F(,
I4polyhedron/islinearRF[anF(F(F(-Fiz6#/-FgqFbvFicoF(F(F(F(,
I2polyhedron/volumeRF[anF(F(F(@%-&Fio6#.%*isfulldimGFI-%,face/volumeG6#-&Fio6#.
%(maxfaceGFIFfoF(F(F(F(,
I3polyhedron/surfaceRF[an6#F`sF(F(C$>F`o-FjfoFI@'F]\m-%-face/surfaceGF[hp/F`oF\
r,$FigpFhhlFfoF(F(F(F(,
I4polyhedron/distanceR6$F_^lFfio6)Fb\mF`sF]aoFfwFe^l%#h0G%#h2GF(F(C(>F`oFigo>F[
qFG>F[xFV@&0Fc_lF[qFL/-F^tF``lF[q-Fa[l6#%)infinityG?(F_[lFiipF]rF\rF]zC'>F]\l&F
[xFe`l>Fe\l-F[al6$/F]rFfoF]\l>F\z-F][l6$Fe\lFe\l>F`o-Fb[m6#,&*&F\zF\rF`oF\rF\r*
&-F][l6$F`oF]\lF\rFe\lF\rF]r>F[x-Fjq6'R6&FczFdz%#y0GFjdmF(FezF(-Fb[m6#,&*&F^\nF
\rF9F\rF\r*&-F][l6$-F[al6$FdjpF9F\`mF\rF<F\rF]rF(F(F(&F[x6#;F\rFj_lF]\lFe\lF\z-
F^anFerF(F(F(F(,
I2polyhedron/facetsRFcu6$Ff^lFfwF(F(C$>F`oFfbl7#-Fffl6$-Fiu6%&F`oF_tFdjmF9/F[q;
F\r,&Fc_lF\r-F_x6%5F6F`foFfoF]rF\rF(F(F(F(,
I1polyhedron/edgesRFcu6$Fa^lFfwF(F(C$>F`oF[_l7#-Fffl6$-Fiu6%FdjmF]]qF9/F[q;,&-F
_x6%F6FfoFganF\rF\rF\rFc_lF(F(F(F(,
I1polyhedron/facesRF[an6%F^bnF`sFfwF(F(C%>F[qFG>F`o-%+cone/facesGFI-Fbhl6$;F]r,
&F[qF\rF]rF\r7#-Fffl6$F_`l/F[x;FfoF[qF(F(F(F(,
I3polyhedron/fvectorRFcuF(F(F(-Fjq6$F^t-&Fio6#.%&facesGFIF(F(F(F(,
I3polyhedron/maxfaceFguF(,
I3polyhedron/minfaceRFcuF(F(F(-F^`n6#-Ffu6#FbhmF(F(F(F(,
I2cone/face/minfaceRF(FaflF(F(-F^`n6#-%-face/maxfaceG6#-Fffl6$-F^`n6#&FboFer/F`
o;F\rFeoF(F(F(F(,
I2face/convert/coneR6#'F^bn-Fju6#F06(FirFasFc_mFa^l%'newsatGFfwF(F(C(>F`o-%,fac
e/domainGFI>F[qF]fp>F_[lF^fp>F[x7#-Fffl6$&F[qF[dl/Fe\lFabn>F]\l7#-Fffl6$&F_[lF[
dlFebq-Fdhm6#-Fh_n6#-F\[o6)F`cpFjepF[xF]\lFcfpFifpFjxF(F(F(F(,
I3polyhedron/supportR6$F_^lFivF(F(F(-Ffv6$F9-F_x6%FesFigo-Fjq6%FjgoF<F\rF(F(F(F
(,
I2face/volume/volobRF]bn6.F\`nF\hlFe^l%#FLGFc^l%#BLG%"VGF^[m%#BVG%#OBGFewFfwFbf
lF(C$>F`oFabn@'2FhhlFc_lC)>F_[l-&Fio6#.%'facetsGFI>F]\l-Fgq6$F\rFabn>8.&%5face/
volume/verticesGFg\n>Fe\l-Ffdm6%RFbzF(FezF(-Fcen6$F<FabnF(F(F(F_[lF]\l>F\zFfo?&
Fj[lFe\lF]zC'>6$Fh[lFa\l-FjcqF_\l>F[q,&FaeqF\r&Fceq6#-Fgq6$F\r-FbbnF_\lF]r>F[q-
Fdq6$F[q-Fffl6$*(-F][l6$F[q&8/FeyF\rF_gqF\r&F`gqFd^mF\r/F`gqFa\l>F[x-F][l6$F[qF
[q>F\z,&F\zF\r*&Fh[lF\r-%%sqrtGF``lF\rF\r6$*&-%)simplifyG6$F\zFjgqF\r,&-F^t6#Fa
\lF\rF\rF\rF]r7$-FgqFbhq7$F[q,$FgapF]r/Fc_lFhhlC%>F[q,&&Fceq6#-Fgq6$FhhlF`oF\r&
Fceq6#-Fgq6$F\rF`oF]r>F[xFdgq6$Figq7#Fehq6$Fc_lFjxF(6#FceqF(F(,
I2convex/newfanconeR6$'FirF0'F^bn%$FANGF(F(F(-.%(fanconeG6$F^[oF<F(F(F(F(,
I2FAN/_maxconesListR6#F\jq6%F`sFfw%#MCGF(F(C%>F`o-%/FAN/ambientdimGFI>F[x-%.FAN
/_maxconesGFI7#-Fffl6$-Fgq6#&F[x6#,&F`oF\rF[qF]r/F[q;FfoF`oF(F(F(F(,
I2FAN/stellarsubdivR6#%#F0G6'FbwFasF`s%"SGF^bnF(F(C)@$4-%.FAN/ispointedGFI-FC6#
Q;sorry,~fan~must~be~pointedF(>F`o7#&Fbo6#;FhhlF]r@$4-F76$F`oF[w-FC6#QIall~argu
ments~but~the~first~must~be~raysF(>F]\lF9>F[x-FjjqFg\n?&F[q-Fjq6$FjsF`oF]zC'@$0
F]tF[xFL>F_[l-%,FAN/supportG6$F]\lF[q@$/F_[lFc[l%%nextG>F_[l-FRFe`l@%/F_[lFev-F
C6#QEray~is~contained~in~the~minimal~coneF(>F]\l-F[al6%/Fcdm-F`]l6$-%)FAN/raysG
Fg\nFdjm/""&-F`[m6(Fjq%<FAN/stellarsubdiv/subdivideG-F][rFg\nF[x7#F[qF_[lF]\lF]
\lF(F(F(F(,
I2FAN/regularsubdivRF]bn60Ffjq%$sMCGF\hlF`sFirF^[mFcamFfwF]hlFasFbw%#RSG%#rsG%#
F2GF(F(C-@$F`\r-FC6#Q4fan~must~be~pointedF(>F`oF\[r>F_[lFijq>F`gq-F`_rFI>%6FAN/
regularsubdiv/rMCG-Fbhl6$;FfoF_[l7#-F^v6$FjxF^bl>F[qFj`r?(F[xFfoF\rF_[lF]z?&F]\
lF_`lF]z@%-%/cone/isregularGFg\n>&Fi`rF``l7$-Fgq6#FgarF]\l>Fcal7$-Fgq6#FcalF]\l
?(F[xFhhlF\rF_[lF]z?(F(F\rF\rF(0FcalFjxC0-Fagm6'FcdmFio-F^tF^br.%Csingular~cone
(s)~left~in~dimensionGF[x>F]\l&FcalFey>Faeq-FdvFg\n@$0-F^t6#FaeqF[x-FC6#Q@sorry
,~fan~should~be~simplicialF(>Fe\l-Fiam6$-FaglF_crF\z>F\z-Fex6$F\zFiy?(Fj[lF\rF\
rF[x/&Fe\l6$Fj[lFj[lF\rF(>80&FaeqF_\l?(Fh[lF\rF\r,&Fj[lF\rF]rF\rF]z@$0&Fe\l6$Fh
[lFj[lFfoC$>&F\z6#Fh[l,&FidrF\rF_elF]r>F_dr6$F_dr&FaeqFjdr>F\z-FcbmF^_n>Fa\l7#-
Fffl6$&F\zFfdr/Fh[l;F\rF_[l>F_dr<#F_dr>F`gq-F`]l6$F`gq<#Fa\l@%/-F^t6#F_drF[x>Fc
al-F[al6$/F\r-%<FAN/regularsubdiv/subdivideG6&F]\lF_[l7#Fa\lF_drFcal?(Fj[lFhhlF
\rF_[lF]z>F^\l-Fjq6'FgfrF^\lF_[lFifrF_dr>81-F[al6%/FcdmF`gq/Fb_r-Fjhl6#Fi`rF9>F
i`r.Fi`rF_grF(FegrF(F(,
I-cone/minfaceF_`qF(,
I-convex/embedR6'Fhjm'%#L1GFbp'%#i1GF`fl'%#L2GFbp'%#i2GF`flF(F(F(@%/FeoFb_r7'-F
^v6$FfoF\`mFg_m-F^v6$Ffo,(F_boF\rF\`mF]rFfboF]rF]^n-F^v6$Ffo,(F9F\rF_boF]r-F^tF
^^nF]r7%FghrFg_m-F^v6$Ffo,(F9F\rF\`mF]rFfboF]rF(F(F(F(,
I/cone/ispointedRFcuF(F(F(-Fiz6#/FfnFjxF(F(F(F(,
I0convert/affconeR6$F[jqFfio6$F_^lFb\mF(F(C&>F`o-Fjel6$-Fgq6#-F^cp6$F9-&Fio6#.%
+posorthantGFey,$FavF]r@$/FeoF\r-Fa[lFer>F[qFdx@%/F]tFG-Fd^p6%F`oF\rF[qFLF(F(F(
F(,
I.FAN/_maxconesRFdjqF(F(F(-Fgq6$Fb_rF9F(F(F(F(,
I/convex/dotprodRF^^mFaflF(F(-Fdq6#-Fffl6$*&FdcnF\rFecnF\rFfcnF(F(F(F(,
I/convex/dehomogR6#'Fe^lF]sF(F(F(7$&F9Fbfo&F96#F]rF(F(F(F(,
I6convex/issamesubspaceR6$'%#l1GFbp'%#l2GFbp6#%$nl1GF(F(C$>F`oFbil5/F9F<3/F`oFf
bo/-&Fe`m6#.F`_mF[amF`oF(F(F(F(,
I5convex/succhspacenosR6$'FirF/'F^bnFju6&FgwFa^l%#FrGFfwF(F(C&>F`o-&Fio6#.%*hsp
acenosGFK>F[qF[_l>F[x7#-Fffl6$-%*intersectG6$F`oFeal/F_[l-Fgfm6$F\v-FbbnFK7#-Ff
fl6$F`jp/F_[l-FibmF``lF(F(F(F(,
I6convex/hspacenos2faceR6$F]^s'FgwF^wFe\qF(F(@%/F<Fev-Fiu6%F\vF<F9C$>F`oFfbl-Fi
u6%-F^_s6#-Fffl6$F]]q/F[qF<F<F9F(F(F(F(,
I5polyhedron/face/raysRF]bnF(F(F(-Fjq6$F^an-Ffdm6$F]`lFg_oF(F(F(F(,
I5polyhedron/isboundedRF[anF(F(F(3/FjanFfoFhirF(F(F(F(,
I'convex=F(F\]lE\[lapF`qRF^flF(FbflF(-Fjel6$-Fgq6#-&Fio6#.%)zeroconeG6#,&F9F\rF
\rF\rFfoF(F(F(%(fvectorGFafn%*recessionGFafn%+affinehullGRF(6%%#alGFjjm%#llGF(F
(C&>F`oFao>F[q-Fjq6$%8polyhedron/convert/coneG-%'selectG6%F7F`oF'>F[x7%-Fgq6#-F
jq6%Fjgo-Facs6%F7F`oF]sF\r-Fgq6#-Fjq6%Fjgo-Fjq6$Fgq-Facs6%F7F`oF^sFfo-Fgq6#-Fjq
6%Fjgo-Fjq6$Fgq-Facs6%F7F`oFcgoFfo@%5Fdo0,&F]tF\rFiipF\rFeo-FC6#QParguments~mus
t~be~(affine)~rays,~lines~or~conesF(-%8cone/convert/polyhedronG6#-&Fio6#.%+line
arhullG6$-FgqF_tF\gmF(F(F(Ff^oR6#F[jqF(F(F(-F[al6%/FhhlFjx/Fb_r7$-FgqF]go-FgqFg
clF9F(F(F(%-plotpolytopeGR6#'F_^lFiao6$F`s%%optsGF(F(C&@$4-Fcen6$F]`o7$FhhlFcdm
-FC6#%Hpolytope~must~lie~in~2-space~or~3-spaceG>F[q-F_x6%F_[p-Fgq6#-Fex6$&FboFd
^m%,PLOToptionsGFe_l>F`o-&Fio6#.%$dimGFI@*/F`oFcdm-%)POLYGONSG6$-Fgq6#-Fjq6$%8c
onvex/orderplanepointsG-Fjq6$&Fio6#.%)verticesGFhdqF[q/F`oFhhl-Ffhs6$-F\is6#-F_
anFIF[qFjhp-%'CURVESG6$FhisF[qF]\m-%'POINTSG6$-FgqFgisF[qF(F(F(%.stellarsubdivG
Fafn%%cubeGR6#Fh`o6&FdwF]cmFfwFewF(F(C'@%F\[s>F_[lF\r>F_[lF[hs>F`oR6$F]cmFdwF(F
(F(7$F[\mF<F(F(F(>F[q7$7#Fhel7#F_[l?(F[xFhhlF\rF9F]z>F[q7$-Fgq6#-Fjq6%F`oF[qFhe
l-Fgq6#-Fjq6%F`oF[qF_[l-&Fio6#.%+convexhullG6#F[fsF(F(F(%)readpolyGR6#'%#fnG%'s
tringG6,%#fdG%$secG%%dataGF\hlF`sF_^lFa^lFf^lF]oF]cmF(F(C,>F`o-%&fopenG6$-F^hn6
$F9Q&.polyF(%%READG?(F(F\rF\rF(4-%%feofGFerC&>F[q-%'sscanfG6$-%9convex/readpoly
/readlineGFerQ#%sF(@$/F[qFfoFa^r>F[q-Fex6$F\\pFd]o@+-Fcen6$F[q%;convex/readpoly
/matrixsecsGC$-Fagm6&""%Fio.%0reading~sectionGF[q>&F[xF_t-%7convex/readpoly/mat
rixGFer-Fcen6$F[q<&.%,AMBIENT_DIMG.%$DIMG.%+N_VERTICESG.%)N_FACETSGC$F[_t>Fa_t&
-F\^t6$F^^tQ#%dF(Fey-Fcen6$F[q<$.%3VERTICES_IN_FACETSG.%5FACETS_THRU_VERTICESGC
$F[_t>Fa_t-%:convex/readpoly/listofsetGFer3/F[q.%,DESCRIPTIONG1Fhhl&%*infolevel
G6#FioC$-Fagm6&FhhlFio.%3displaying~sectionGF[q?(F(F\rF\rF(F]zC%>Fa\lF^^t@$/Fa\
lQ!F(Fh`l-%'lprintG6#-Fex6$Fa\lFd]oC$-Fagm6&F]_tFio.%1skipping~sectionGF[q?(F(F
\rF\rF(0F[^tFfoF(-%'fcloseGFer@%-%)assignedG6#&F[x6#Fg_t>F_[l,&FectF\rF\rF\r-Fj
q6&%5convex/readpoly/nopsGFi^tF[xF_[l@$4-FcctFe`l-FC6#QPcannot~construct~polyhe
dron~from~the~given~dataF(@$34-Fcct6#&F[x6#.%,AFFINE_HULLG-Fcct6#&F[x6#.%*EQUAT
IONSG>Fgdt-Fh^m6%FjxF]etFh[l@(-Fcct6#&F[x6#Fi_t>F]\l,&FgetF\rF\rF\rFedt>F]\l-F^
tFfdt-Fcct6#&F[x6#.%)VERTICESG>F]\l-Fg]sF^ft@$3-FcctFg\n/F_[lF]\l>FgdtFjx@-33F]
ft-Fcct6#&F[x6#.%'FACETSGFedtC%@)-Fcct6#&F[x6#Fh`tC$>Fj[lFggt>F\z-F_x6%-Fcct6#&
F[x6#Fj`tF`ht-F`im6$Fj[l-F^tF^ftF^htC$>F\zF`ht>Fj[l-F`im6$F\z-F^tF^gt2FdhtFjhtC
$>Fj[l-%8convex/readpoly/makesatG6$F_gtF_ft>F\zFbhtC$>F\z-F_it6$F_ftF_gt>Fj[lFh
ht-Fagm6%FcdmFio.%Fdescription~of~polyhedron~is~completeG>Fe\l-Fdhm6#-F\[o6)F_[
lFjxF_ftF\zFgdtF_gtFj[lF]ftC$-Fagm6%FcdmFio.%Fconstructing~polyhedron~from~VERT
ICESG>Fe\l-Fi^p6&F_[lFjxFjxF_ft3F]gtFedtC$-Fagm6%FcdmFio.%Tconstructing~polyhed
ron~from~FACETS~and~AFFINE_HULLG>Fe\l-Fejm6&F_[lFjxFgdtF_gt-Fcct6#&F[x6#.F]jsC$
-Fagm6%FcdmFio.%Dconstructing~polyhedron~from~POINTSG>Fe\l-Fi^p6&F_[lFjxFjxFc[u
3-Fcct6#&F[x6#.%-INEQUALITIESGFedtC$-Fagm6%FcdmFio.%Zconstructing~polyhedron~fr
om~INEQUALITIES~and~AFFINE_HULLG>Fe\l-Fejm6&F_[lFjxFgdtFa\uF_dt-F_rF[dlF(F(F(%+
stdsimplexGRFcjs6$FfwFewF(F(C$@%F\[s>F[qF\r>F[qF[hs-F]\t6$7#-F^vFggn-Fffl6$7%Fi
flF[qF\glF_glF(F(F(%%joinGFafnF__lR6#F]^sF(F(F(-Fgq6$F]_tF9F(F(F(F\_oR6%'F,F0Fb
]o'F^bnFd]o6$%#r1GF^`rF(F(C%@$FFFL>F`oFQ@%3FY/-Fgfm6$F`oFSFevC%>F[q-Ffv6$F<F`o@
$Fbdm>F\`mF[q30F[qFc[l/-Fex6$-&Fio6#.%%raysGF_tF^wF`oF\]lF(F(F(%+iscompleteGRFd
jq6'FfjqFir%"fGFasF]`rF(F(C'>F`o-FbjqFI@$2Ffo-Fd\n6#&F`oFe\s-Fa[l6#F\]l>F]\lFev
?&F[qF`oF]z?&F[x-FidqF_tF]zC$>F_[l-Fex6$-F[`uF``lF^w@%-Fcen6$F_[lF]\l>F]\l-Fgfm
6$F]\l<#F_[l>F]\l-F`]lF[bu-Fiz6#/F]\lFevF(F(F(%*isboundedGFafn%*linealityGRF]fs
F(F(F(-Fex6$F[yF0F(F(F(%(dotprodGR6$Ffio'FcwF]s6$FfwF\hlF(F(C$>F[q-F_x6%Fe\mFbi
lFehl@%0F[q-F_x6%-F7FfxFfboFgjoFL-Fdq6#-Fffl6$F]\s/F`oFcjlF(F(F(%(isemptyGFafn%
&edgesGFafn%*writepolyGR6%'F_^l%,polyhedron1GFe\t'%%infoGFg\t6'Fi\t%$fmtGF`sFii
oFfwF(F(C1@$4-%5polyhedron/ispointedGFI-FC6#Q;polyhedron~must~be~pointedF(>F`o-
F_]t6$-F^hn6$F<Fc]t%&WRITEG-%(fprintfG6$F`oQV#~created~by~the~Maple~package~`co
nvex'~version~0.93|+F(>F[xFG>F[q-F^hn6$-F^v6$Q$~%dF(F[xQ"|+F(@$Fbdm-Fdeu6%F`oQ1
|+DESCRIPTION|+%s|+F(F\`m-Fdeu6(F`oQU|+AMBIENT_DIM|+%d|+|+DIM|+%d|+|+N_VERTICES
|+%d|+|+N_FACETS|+%d|+F(,&F[xF\rF]rF\rFcclFav-F^t6#Fe[l-%8convex/writepoly/matr
ixG6&F`oQ)VERTICESF(F[qFcv-Fjfu6&F`oQ'FACETSF(F[qFe[l-Fjfu6&F`oQ,AFFINE_HULLF(F
[qFV-Fdeu6$F`oQ5|+VERTICES_IN_FACETS|+F(-F`[m6%%5convex/writepoly/setGF`oFfbl-F
deu6$F`oQ+|+FAR_FACE|+F(-Fhgu6$F`o<#-F^v6#;F\rFganF_ctF(F(F(%%dualGFafn%*isregu
larGFafnFiesRF(6(F]oFhbsFjjmFibsF`sFirF(F(@%3F\[s-F76$&FboFeyF0C$>Fe\lFjhu-F[hm
6%-Fh[n6#-FHF[dl-FWF[dlFjxC(>F[qFao>F[x-Facs6%F7F[qF0>F_[l-Fjq6$Fjs7$-Fgq6#-Fac
s6%F7F[qF]s-Fgq6#-Fjq6$Fgq-Facs6%F7F[qF^s@$5Fdo0,&FiipF\rF^\pF\rFeo-FC6#QGargum
ents~must~be~rays,~lines~or~conesF(>F]\l-F_x6%/F_[lFjx-FHFcy-F^t6#&F_[lFey@%5-F
hp6&RFbzF(FezF(0FGF<F(F(F(F[xF`oF]\l30F_[lFjx50Fb[vF]\l4-F76$F_[lFiyFL-Fchm6#-F
h_n6#-F[hm6%-Fh[nFg\n7%-Fffl6$-Fgq6#-FgnF[dl/Fe\lF[x-Fffl6$-Fgq6#-FdvF[dlF_]vFf
^nFjxF(F(F(Fg^sR6#F^^sF(F(F(-Fgq6$FhhlF9F(F(F(%'volumeGFafn%(facefanGR6#'F_^l%-
polyhedron_0GF(F(F(-&Fio6#.%*normalfanGFc`qF(F(F(F\eqFafnFebnRFf]vF(F(F(FduF(F(
F(%)maxconesGRFdjqF(F(F(-F`[m6&FjqFhiqF\[rF9F(F(F(%-minkowskisumGFafn%*ispointe
dGFafnF`\tRF(6+FhbsFjjmFewFasF]cmF\hlF]oF`amFirF(F(C->F`oFao>F]\l-Fjq6%Fjgo-F`[
m6%FgqF\rFadsFfo>F_[l-Fjq6%Fjgo-F`[m6%FgqF\rFidsFfo>F[xFgcs>F[qF`cs>Fe\l,*-F^tF
g\nF\rF^\pF\rFiipF\rF]tF\r@$5/Fe\lFfo0Fe\lFeoFjju>F_[l7$Ff^nF\gm>Fj[l7$-FgqFg\n
Ff^n>Fe\l-F_x6%/F[qFjx-F^t6#&Fj[lFey-FHF[\p@%3-Fc\o6&RFbzF(FezF(/FGF<F(F(F(F[qF
\zFe\l5/Fj[lFjx3/F[avFe\l-F76$Fj[lFiyC%>Fh[l-Fi^p6&Fe\lF[qF]\lF_[l>F_[l-FdvFjdr
@%5-Fhp6%F]`lF_[lF\z30Fe\lF\r/-%)cone/dimGFjdrFfo-F_rFjdrC$-%(WARNINGG6#Q:no~af
fine~point~specifiedF(-F]q6#,&Fe\lF\rF]rF\rFLF(F(F(%%lensGR6#'F^dnFi`o6%FhbsFeg
lFcamFbflF(C'>F`oFg\r@&/F`oFjx-Fa[l6#-F]bsF]p4-F76$F`o-Fbp6#Fbcm-FC6#Q@weights~
must~be~of~type~integerF(>F[q-Fiam6$-Fjq6$RFdemF(FezF(7#F9F(F(F(F`oF[x>F[x-FexF
hy-&Fio6#.%%hullG6#-Fgq6#-Fagl6#7$*(F9F\r-Fi[m6$F9&F[q6$F\rF\rF]rFdyF\r-Fgq6$Fj
\rF[xF(F(F(%(surfaceGFafnFa`oFafnF\`qFafn%'domainGFafn%&linesGFafn%/cyclicpolyt
opeGR6$Fh`o'F\hlFi`o6$FfwF]hlF(F(-F]\t6#-Fffl6$7#-Fffl6$)F`oF[q/F[qF`gl/F`o;Ffo
,&F<F\rF]rF\rF(F(F(%)islinearGFafn%(minconeGR6#'%%arg1G<$F`jqF]jq6'F^bnFjjmFirF
asF]oF(F(@%-F76$F9F]jq-Fhiq6$-&Fio6#.Fcbu6#&Fe`uFe\sF9C(>F`o-%/fancone/domainGF
I>F[qFao@$-Fhp6&RFbzF(FezF(0F[ivF<F(F(F(F[qF]\lF`o-FC6#QIarguments~must~belong~
to~the~same~domainF(>F[x&F[q6#-Fb\n6$Fd\nF[q>F_[l-FdvF``l-Fhiq6$-Fbaq6#-Fi_n6$F
[x-Facs6&RFidmF(FezF(-Fcen6$FifmF\`mF(F(F(<#-F^v6#;F\rF^\pF_[l-F^_s6#-Fgq6#-Fjq
6$FRF[qF`oF(F(F(Fc^vR6#F_du6'FirF\hlF`sFibsF]aoF(F(C(>F`o-Fchm6#-F_csFI>F[qFddo
>F[x-FdclFer>F_[l-Fjq6$RFdemF(FezF(-Fb[m6#&-F]eoFIFeyF(F(F(Fjep>F]\l-Fjq6$RFdem
F(FezF(Fc\wF(F(F(Fcfp-.F]jq6'F[qF_[l-Fgfm6$-Fjq6$RFdemF(FezF(Fa\wF(F(F(-FRFer<#
7#-F^v6$FfoF[qF]\l-Fbhl6$Fc_q7%-F^v6$FjxF[x-Fjq6'%:convex/facefan/facet2coneG-%
,cone/facetsGFerF[qF_[lF]\l-F^v6$Fjx,&F[qF\rF[xF]rF(F(F(%/transversalfanGR6$'Fi
rF`jq'FeglFd]o6,F^bn%#FdGFfjqFasF]aoF`s%#CdG%$qMCG%#qrG%$qFdGF(F(C0>F`oF[iv>F[q
FG>F\z-FibvFI@$/F\zFfoC$@$F_[p>F<-F\flF_tF][s>F\zFb_w>Fa\l,&F[qF\rF\zF]r>F[x-F]
[rFer>F\zFb_w>F_[lFQ>F]\l-F\amF]go>Fj[l-Fbhl6$;FfoFa\l7#-Fffl6$-Fjq6%&Fio6#.%&i
mageG-Facs6%RFbzF(FezF(/-Fgfm6$F<FQFevF(F(F(&F[xF[dlF_[lF]\l/Fe\l;F\zFG>Fh[l<#-
Fffl6$-Fgq6#-Fjq6$RFdemF(FezF(-Fgq6#FQF(F(F(&Fj[lF[dl/Fe\lFe`w@$F_[p>F<F]\l-Fj\
w6'Fa\lFjxFh[l-FW6#-Fi^p6&Fa\lFjx-Fex6$Fh[lFbpFjx-FjhlF_\lF(F(F(F`bsRF^flFaflFb
flF(-F\[o6)F9FjxFjxFjx-F\flFIFjxFjxF(F(F(F_yFafnFjblRF^^uF(F(F(-Fgq6$Fa[oF9F(F(
F(%/containsrelintGFafn%-maxconeslistGRFdjqF(F(F(-Fjq6%FhiqFe`uF9F(F(F(F`hpFafn
F^`uFafnFbhsFafn%)isaffineGFafn%$fanGR6#Fc^u6-F`sF]cmFirFjjmFfjqFasF\hlFj^wF.Ff
]o%'notredGF(F(C+>F_[lFao@$4-F76$F_[l-FbpFgaq-FC6#Q8arguments~must~be~conesF(>F
_[l-Ffem6$FaoRFbzF(FezF(-Fiz6#2F[\o-Fd\nFKF(F(F(>F`o-FHFc[v>F[q-FgnFc[v>Fe\lFev
>F]\l-Fbhl6$Fg[r7#-F^v6$FjxF\en?&F[xF_[lF]zC(@&0-FHF``lF`oFL4-FZ6$F[q-FgnF``l-F
C6#Q=arguments~must~be~compatibleF(>F[x-F[al6$/FhhlF[qF[x>Fj[l-FibvF``l>FaeqF]z
?(F\zF`oF]rFj[lFaeq?&Fh[l&F]\lF^_nF]z@&4-&Fio6#.%.arecompatibleG6%F[xFh[l.Fa\lF
hfw-%(cone/&=G6$F[xFa\lC%-Fagm6%FhhlFio.%/redundant~coneG>FaeqF\]lFh`l@$FaeqC$>
Fe\l-F`]l6$Fe\l-FRF``l>&F]\lF_\l7$-Fgq6#F^iwF[x-Fj\w6'F`oF[qFe\l-FW6#-Fi^p6&F`o
Fjx7$F[fs-FgqF[dlFjx-F`[m6%FjqFd_nF]\lF(F(F(F[\nRF^flFaflFbflF(-F\[o6)F9FccwFjx
FjxFjxFjxFjxF(F(F(%.regularsubdivGFafn%*projspaceGR6#FhjmFaflFbflF(-&Fio6#.Fj]v
6#-F]\t6$-Fgq6#Fccw7#-F^v6$F]rF9F(F(F(%.crosspolytopeGRFcjsFdjsF(F(C$@%F\[s>F_[
lF\r>F_[lF[hs-F]\t6$-Fffl6$7%-F^v6$FfoFffuF_[l-F^v6$Ffo,&F9F\rF[xF]r/F[xF`gl-Ff
fl6$7%Fj[xFhelF\\xF_\xF(F(F(%'relintGFafn%)distanceGFafn%*facechainGR6$'%#CFG<%
F0FjuF''F^`rFju6&%%FminG%%FmaxGF`amFfwF(F(C$@$52FhhlFeo3F\[s4-F76$F9F/FB@+F\[s@
%Fe]x7#-%/convex/faceseqG6%F9F[yF\hpFB5Fb]x4-F76$F9FjuFB-%)face/&<=GF^[l7#-F[^x
6%F\bqF9F<-Fb^xF`uC$>F[x7#-F[^x6%F\bqF<F97$-Fffl6$&F[x6#Fhel/F_[l;FhhlFiipF<-FC
6#Q@one~face~must~contain~the~otherF(F(F(F(%)preimageGFafnF[hwFafn%-intersectio
nGRF(6)FhbsFjjmFawF`wF\hlF]oF`amF(F(C$>F`oFao@)F[dv-FC6#Q[parguments~must~be~(r
ays,~lines~or~cones),~or~((affine)~rays,~lines~or~polyhedra)F(-F76$F`o-Fbp6#F\s
C(>F_[l-Fjq6$FjsFb_v>F[x-Fjq6$FjsFics>F[q-Facs6%F7F`oF0>F\zFc`v>F]\l-F_x6%Fj`v-
F^t6#&F\zFeyF^av@%3-Fc\o6&RFbzF(FezF(FdavF(F(F(F[qFe\lF]\l5/F\zFjx3/FbaxF]\l-F7
Ficr-Fejm6&F]\lF[qF_[lF[xFL-F76$F`o-Fbp6#<%%*affhplaneG%*affhspaceGF'C(>F_[l-Fj
q6$%0convex/affh2rayG-Facs6%F7F`oFfbx>F[x-Fjq6$F\cx-Facs6%F7F`oFgbx>F[qF`cs>F\z
Fc`v>F]\lF`ax@%3-Fc\o6&RFbzF(FezF(FdavF(F(F(F[qFe\lF]\lFjax-F_r6#-Fejm6&F]\lF[q
F_[l7$F\gm-FhcnFg\nFLF]`xF(F(F(%0incidencematrixGRF^^u6&FfwF]hl%#irG%$irnGF(F(C
%>F[xFfbl>F_[l-F_x6%Fc]qFiip,&FiipF\rF]rF\r-Fbhl6&%'sparseGFgerF`v7#-Fffl6$-Fff
l6$/6$F`oF[qF\r/F[q&F[xFer/F`oFgerF(F(F(%+wprojspaceGRF(6$FhbsFcamFbflF(C&>F`oF
ao@$5F[dv4-F76$F`o-Fbp6#Fi`o-FC6#QAarguments~must~be~of~type~posintF(-Fiam6$-Fj
q6$RFdemF(FezF(F]evF(F(F(F`oF[q-Fdjw6#-F]\t6#-Fgq6#-F`[m6%F[al/F\rFe_l-FaglF_tF
(F(F(%-hilbertbasisGR6$F[jq'F^[mFd]oF(F(F(-%4convex/hilbertbasisG6$F]zFboF(F(F(
%.permutahedronGRFcjsF(F(F(-F]\t6#-Fgq6#-F`[m6%F[al/F]rFe_l-&%)combinatG6#.%(pe
rmuteG6#7#-F^v6#;F\rFbbsF(F(F(%)boundaryGFafnFijrRF^fl6&FasF]\rFa^lFfwFbflF(C&>
F`oFccw>F[q<#-F^v6#F`gl>F[x7#-Fffl6$-Fgfm6$F[qF\bu/F_[lF`gl-F\[o6)F9FjxF`oF[xFj
xF`oF[xF(F(F(FhgpRF^^uF(F(F(-Fiz6#Fj[oF(F(F(%(supportGFafnFdevRF(6)FhbsFjjmFasF
]cmF\hlF]oF`amF(F(C+>F`oFao>F_[lFf`x>F[xFi`x>F[qF\ax>F]\l,(F^\pF\rFiipF\rF]tF\r
@$5/F]\lFfo0F]\lFeoFjju>F\zFc`v>F]\lF`ax@%3-Fc\o6&RFbzF(FezF(FdavF(F(F(F[qFe\lF
]\lFjax-Fi^pF`bxFLF(F(F(%(hplanesGFafn%1simplicialsubdivGFafn%-issimplicialGRF^
^uF`\oF(F(-Fiz6#5-&Fio6#.%*issimplexGFI-Fc\o6&RFbzF(FezF(-Fiz6#/FbilF<F(F(F(Ffb
lF`o,&Fb_wF\rF]rF\rF(F(F(F\pRF^fl6#%"bGFbflF(C$>F`o-F\flFabs-Fjel6*Fbbs&F`oF[jx
7#Fj`u7#FevFjxFj]yF[^yFfoF(F(F(FbisFafnFi\yRF^^uF(F(F(-Fiz6#3-Fj^vFI/FavFb_wF(F
(F(%)containsGFafn%(zerofanGRF^flF(FbflF(-&Fio6#.F]dw6#-F]bsFIF(F(F(F^awFafn%/r
andompolytopeGR6%Fh`oFhjm'FdcmFi`o6%FdwFfwF]hlF(F(C$>F`o-%%randG6#;,$F\`mF]rF\`
m-F]\t6#-Fffl6$7#-Fffl6$-F`oF(F_\x/F[q;F\rF<F(F(F(%&codimGFafn%)issimpleGRF^^uF
(F(F(-&Fio6#.F`\yFc`qF(F(F(%,iscontainedGR6$F[hvF[sF(F(F(-&Fio6#.Fb^yF`uF(F(F(%
(hspacesGFafnF(,
I(methodsR6#'FdfnFd]o6#FefnF(F(C$>F`o-Fjhl6#-F^hn6$FcinF9-Fjq6%F[dn<#-%'anamesG
F(<$F9-F_x6%-FcctFerFdrFe_lF(F(F(F(,
I,convex/initRF(F(F(F(-%'printfG6#QarPackage~`convex'~version~0.93,~Copyright~(
C)~1999-2002~Matthias~Franz|+Type~`?convex'~for~help~and~license~information|+F
(F(F(F(F(,
I+std/existsR6%Fb`uF`am'F]hlFa_m6$%&fargsGFfwF(F(C%@%2FcdmFeo>F`o&Fbo6#;F]_tF]r
>F`oFe_l?(F[qF\rF\rFfboF]z@$-F96$-Fgq6$F[qF<F`oC$>F\`mF[q-Fa[l6#F]zF\]lF(F(F(F(,
I,std/findmaxR6$'Fb`uFdhn'F`amFbp6&Ffw%%imaxGFdcmFdzF(F(C&>F[qFfo>F[x,$F\jpF]r?
(F`oF\rF\rFfboF]zC$>F_[l-F96$Fecn&Fbo6#;FcdmF]r@$2F[xF_[lC$>F[qF`o>F[xF_[lF[qF(
F(F(F(,
I+cone/_dualRFcuF(F(F(-Ffgn6*FduFe[sFh]lFecwFg]v-Fgq6$FcdmF9F_^u-Fgq6$;Fh`nF]rF
9F(F(F(F(,
I+face/_dualRF]bnF(F(F(-Fiu6%Fg]vFdu-Fchm6#F^fyF(F(F(F(,
I+cone/linesRFcuF(F(F(Fg]vF(F(F(F(,
I*cone/raysRFcuF(F(F(F^fyF(F(F(F(,
I*face/raysR6#'FczFdgn6&%$domGF[hlFdfnFefnF(F(C(>F`o-Fgq6$FfoF\bq>F[q-F^hn6%F`o
F`hnFjfn@$-F76$F[qFdhnC$-Fagm6&FcdmFioFhhnF[q-Fa[l6#-F[qF]in>F_[l-Fjhl6#-F^hn6$
FcinF`o@$Fein?&F[xF_[lF]zC$>F[q-F^hn6%F[xF`hnFjfn@$F[hyC$-Fagm6&FhhlFioFhhnF[qF
`hy-FC6#-Fcjn6%QFmethod~`%s'~not~defined~for~domain~%sF(FjfnF`oF(F(F(F(,
I,face/domainRFf]vF(F(F(F^fyF(F(F(F(,
I,convex/hullR6&FhjmFjjmFibsFbwF(F(F(-Fchm6#-Fejm6&F9-Fjq6$FchmF<F\`mF^\nF(F(F(
F(,
I+cone/imageR6$Fir'FeglFeio6&Fc_m%%newlG%&AinvtGFhioF(F(C)@&Fcjo@%0F^]pFGF_\p-F
a[l6#-Fh[nF]pFd[nF][z>F_[lF\[p@$0Fb[vFGF_\p>F[q-Fjq6$Fjs-F[[m6$F_[lFfn>F`o-Fjq6
$Fjs-F[[m6$F_[lFcv>F[x-%*traperrorG6#-Fagl6#-FcbmFK@%FgyC$-Fagm6%FhhlFio.%,regu
lar~mapG-F]gm6#-F\[o6)Fb[vF[qF`oF[_l-Fjq6$Fjs-F[[m6$F[xFV-Fjq6$Fjs-F[[m6$F[xFe[
lFfblC$-Fagm6%FhhlFio.%-singular~mapG-Fi^p6&F^\pFjxF[qF`oF(F(F(F(,
I+cone/codimF[goF(,
I)cone/dimRFcuF(F(F(,&FGF\rF[\oF]rF(F(F(F(,
I)face/dimF^gyF(,
I,cone/relintRFcuFd_oF(F(C$>F`oFcv@%Fi_m7#-F^v6$FfoFGFb`oF(F(F(F(,
I)type/ray<$-Fbp6#Fdio-%'vectorGF]_zF(,
I*type/line-F$6$F]sF^sF(,
I)type/mat<$Fjx-FgglF]_zF(,
I,type/affray-F$6$F]sF]sF(,
I*type/cone-F$6$F&<$F0F`jqF(,
I,type/cone_1RFdemF(F(F(3F60FcvFjxF(F(F(F(,
I+print/coneR6)F_flFj`oF[aoFcimF\aoF^aoF`aoF(F(F(-F\[o6'F9,&F9F\rF]boF]rFfboF`b
oFaboF(F(F(F(,
I*cone/dualRFcuF(F(F(-F\[o6)FduFe[sFh]lFecwFg]vF^fyF_^uF(F(F(F(,
I,face/relintF^gyF(,
I,<=/containsR6$F_ao'F_^l<$F'F]s6$FibsFewF(F(C$>F`o-F\cxFI@'FesC$>F[qFigo@%/F]t
Fc_l-Fiz6#1Ffo-F][lFfexFL/FJFc_l-Fat6$-FchmFKF`oFLF(F(F(F(,
I/cone/isregularR6$F[jq'%&basisGFd]o6&F`sFasFcamF_dqF(F(C$>F`oF^hs@%F]\mC$@$F_[
p>F<-F\flFjcoF]zC$>F[q-F[`uFI@)F[`pF\]l0FeoFhhl-Fiz6#/&-&Fe`m6#.%'ismithGF_t6$F
`oF`oF\r/&-Ficz6%F[qF[xF_[lF]dzF\rC$>F<7$F[fs-Fgq6#&-Fex6$-FcbmFe`lFiy6#F[enF]z
F\]lF(F(F(F(,
I-face/minfaceF^gyF(,
I/method/fancone7#F0F(,
I+std/forallRF\cyF^cyF(F(C%@%Fbcy>F`oFdcy>F`oFe_l?(F[qF\rF\rFfboF]z@$4FjcyC$>F\
`mF[qF[auF]zF(F(F(F(,
I#&=FafnF(,
I$&<=FafnF(,
I$&<<FafnF(,
I#&xFafnF(,
I$&<>RF(F(F(F(4-FjezF]inF(F(F(F(,
I#&>R6$%#x1G%#x2GF(F(F(3-F[fzF`u4-FjezF^[lF(F(F(F(,
I$&>=RFdfzF(F(F(FhfzF(F(F(F(,
I#&<RFdfzF(F(F(3-F[fzF^[lFifzF(F(F(F(,
I$&>>RFdfzF(F(F(-F\fzF`uF(F(F(F(,
I-cone/face/&xRF(6)%#FlGFjjmFasFe^lF\`nFgwFfwF(F(C+>F`oFao@$4-F76$F`o-Fbp6#Ffaq
FB>F[q-Fjq6$F]bqF`o>F[xFev>F_[lFev>F]\lFfo>Fe\lFfo?(F\zF\rF\rFc_lF]zC&>F[x-F`]l
6$F[x-Fjq6%Fdq-Fbbn6#&F`oF^_nF]\l>F_[l-F`]l6$F_[l-Fjq6%Fdq-Fd^sF_izFe\l>F]\l,&F
]\lF\r-F^t6#-Fdv6#&F[qF^_nF\r>Fe\l,&Fe\lF\r-F^t6#-Ff[lF\jzF\r-Fiu6%F[xF_[l-F_x6
%FdoF^dv-F]fzFa\tF(F(F(F(,
I/type/affhspace<$1F]sFdio1FdioF]sF(,
I.cone/_raysSetRFcuF(F(F(-Fex6$F^fyF^wF(F(F(F(,
I/cone/face/raysRF]bn6$FasFfwF(F(C$>F`o-Fdv6#F\bq7#-Fffl6$F]]q/F[qFabnF(F(F(F(,
I-face/maxfaceR6#%#F1G6&FirFggzF]oF^bnF(F(C&>F`oF\bq>F[qFao@$-Fhp6&RFbzF(FezF(0
F\bqF<F(F(F(F[qF[xF`oFciv-Fd]l6$F`o-F^_s6#-Fffl6$-Fd^sFe`l/F_[lF[qF(F(F(F(,
I-cone/hplanesRFcuF(F(F(Fe[sF(F(F(F(,
I-face/hspacesRF]bn6$F_aoFfwF(F(C$>F`o-Ff[lFf[[l7#-Fffl6$F]]q/F[q-Fd^sFIF(F(F(F
(,
I/convex/motzkinR6%F]^s'%&neweqGFbp'%(newineqGFbp69F`sF]cmFasFa^l%(oldineqG%%ne
wcG%#ciG%'ineqnoG%*nooldineqG%#slG%#srG%#swGFfwF]hl%"kG%'face2dG%)adjacentG%%rp
osG%%rnegG%#r0GF^_m%'addsatG%%csatGF(F(C,>F`oFb_w>F[qFfn>F[xFcv>F_[lF[_l>F]\lFe
[l>Fh[lF]`v>Fe\l7$Fg_mFd]n-Fagm6&FhhlFioFjcl%,constraintsG?(F\zF\rF\rFjcl52FfoF
]t2FfoFiipC'>Fj[l,(Fh[lF\rF\zF\rFfboF]r-Fagm6&FcdmFio%-constraint~#GF\z>Fa\l-Fj
q6%RFbzF(FezF(7$F9F\[lF(F(F(F[q&Fe\lF^_n>Faeq-Fjq6%RFbzF(FezF(F_a[lF(F(F(F[xF`a
[l@%-Fhp6%RFdemF(FezF(0Ff^mFfoF(F(F(Fa\lF_drC(-Fagm6%F]_tFio%9reducing~linealit
y~spaceG>F`gq*&-%%signG6#&Fa\l6$F_drFhhlF\r&Fa\lFafrF\r>Fa\l-F[al6$/F_drFe_lFa\
l>F[q-Fjq6%F\^mFa\lF`gq>F[x-Fjq6%F\^mFaeqF`gq@%2Fh[lFj[lC$>F[x7$F\gmF_gq>F_[l7$
-Fgq6#-Fjq6%F`]lF_[lFb]l<#-F^v6#;F\rFbdr>F`oF[glC0-Fagm6%F]_tFio%7computing~new
~rays~...G>85Fjx>86Fjx>87Fjx?(F_drF\rF\rFiipF]z@'/&FaeqFdb[lFfo>Fid[l7$-Fgq6#Fi
d[lF_dr2FfoF]e[l>Fed[l7$-Fgq6#Fed[lF_dr>Fgd[l7$-Fgq6#Fgd[lF_dr-Fagm6*Fb_rFio%&r
0~=~G-F^tFae[l%&r+~=~G-F^tFfe[l%&r-~=~G-F^tFje[l>88Fjx>89Fjx>83,(F`oF\rF]tF]rFd
foF\r?&F_grFgd[lF]z?&F_drFed[lF]zC'>8:-F^_s6$&F_[lFafr&F_[l6#F_gr@$2-F^t6#F^g[l
Fhf[lFa^r>84F]z?(82F\rF\rFiipF]z@$33/-Fgfm6$F^g[l&F_[l6#F[h[lFev0F[h[lF_gr0F[h[
lF_drC$>Fig[lF\]lFh`l@$Fig[lC$>Fdf[l7$-Fgq6#Fdf[l-F\^m6$&FaeqFcg[l&FaeqFafr>Fff
[l7$-Fgq6#Fff[lF^g[l-Fagm6&F]_tFio-F^tF]i[l%+rays~addedG@&Fac[lC%?&F_drFid[lF]z
>F_[l-F[al6$/F_dr-F`]l6$Fag[lFb]lF_[l>Fff[l-Fjq6%F`]lFff[lFb]l>Fid[l7$F`e[lFee[
l2Ffo,&F`f[lF\rFbf[lF\r>F`oF[gl>F[x7$-Fffl6$&F[xFafr/F_drFid[lF\i[l>F_[l7$-Fffl
6$Fag[lF`[\lFdi[l-F\[o6)FGF[qF[xF_[l7$FcfsFg_m7$Ff`vFd]nFfblF(F(F(F(,
I.convex/reduceRF]fs6,F`sF]cmFasFa^lFfwF]hlFf^lF]aoF_ao%$eqdGF(F(C6>F`oFG>F[qFf
n>F[xFcv@$3/F]tFfo/FiipFfo-Fa[l6#-F]bsFer>F_[lF[_l>Fj[lFV>Fh[lFe[l-Fagm6%FcdmFi
o%Ftransposing~ray-facet~incidence~tableG>F\z-F`im6$F_[l-F^tFjdr-Fagm6%FcdmFio%
=detecting~implicit~equationsG>Fj[l7$-FgqF_\l-Fffl6$&Fh[lFg\n/F]\l-Facs6&RFidmF
(FezF(-Fiz6#/-F^t6#FifmF\`mF(F(F(7#-F^v6#;F\rFa]\lF\zFiip-Fagm6%FcdmFio%3reduci
ng~equationsG>Fj[l-Fh^m6%FjxFj[lFa\l-Fagm6%FcdmFio%6reducing~inequalitiesG>Fe\l
-Fibm6%F\z,*F`oF\rFa\lF]rF]tF]rF]rF\rF\ex>Fh[l7#-Fffl6$Fj]\l/F]\lFe\l>F\z7#-Fff
l6$&F\zFg\nFi_\l-Fagm6%FcdmFio%Ftransposing~facet-ray~incidence~tableG>F_[l-F`i
m6$F\zFiip-F\[o6)F`oF[qF[xF_[lFj[lFh[lF\zF(F(F(F(,
I.cone/preimageRFdjy6&Fa^[lFc^[l%%AinvG%#AtGF(F(C)@&Fd[n@%/FGFfoFb`pF_\pFcjo@%F
_a\l-Fa[l6#-Fh[nFi`pF_\p>F_[l-FaglFK@$Fb[zF_\p>F`o-Fjq6$Fjs-F[[m6$F_[lFV>F[q-Fj
q6$Fjs-F[[m6$F_[lFe[l>F[x-F_\z6#-Fex6$Fc\zFiy@%FgyC$Ff\z-F]gm6#-F\[o6)Fb[v-Fjq6
$Fjs-F[[m6$F[xFfn-Fjq6$Fjs-F[[m6$F[xFcvF[_lF`oF[qFfblC$Fg]z-Fejm6&F^\pFjxF`oF[q
F(F(F(F(,
I-contains/rayR6$FirFasF`\oF(F(3-Fc\o6&RFbzF(FezF(Ff\oF(F(F(FVF`oF<-Fc\o6&RFbzF
(FezF(-Fiz6#1FfoF\[lF(F(F(Fe[lF`oF<F(F(F(F(,
I.contains/lineRFic\l6$F]cm%#ldGF(F(C$>F`oFfn5F_a\l/-Fg]s6#7$FdrF<Fc_lF(F(F(F(,
I.cone/islinearRFcuF(F(F(F`eoF(F(F(F(,
I.cone/face/dimRF]bn6$FirF`sF(F(C%>F`oF\bq>F[q-F^t6#Fabn@%1F[qFcdm,&-F^t6#FjepF
\rF[qF\rC$>F[q-F^t6#F\^[l@%Fje\l,&-FibvFerF\rF[qF]r,&F`cpF\r-Fg]s6#7$-Fgq6#Fcfp
-Fgq6#-Fb][lFIF]rF(F(F(F(,
I-FAN/containsR6%F\jqF[jq'%#FCGFd]o6#F.F(F(@'0FJFijqFL-FZ6$Fhn-%*FAN/linesGFIC%
>F`o-F]^r6$F9-FdvFK@$Fbdm>F\`mF`o30F`oFc[l/FSFa]wF\]lF(F(F(F(,
I.FAN/isregularRF]bnF`\oF(F(-Fc\o6%-F^hn6$%&cone/GF]gnFe`uF`oF(FhjnF(F(,
I.face/verticesF^gyF(,
I.convex/affineR6#F]cn6#%"aGF(F(C$>F`oFd\s@%F]\mFc\s*&Fc\sF\rF`oF]rF(F(F(F(,
I-convex/homogR6$Ffio'FdwFdioF(F(F(-Fjs6#7$-Fgq6#Fi\mF<F(F(F(F(,
I.convex/originRFcjsF(FbflF(7$-F^v6$FfoF[boF\rF(F(F(F(,
I.ray/_isaffineR6#F_\oF(F(F(-Fiz6#2FfoFd\sF(F(F(F(,
I0convex/affh2rayR6#'Fe^l<$FfbxFgbxF(F(F(@%-F76$FduFdio-Fjgo6$Fg]v,$FduF]r,$-Fj
go6$Fdu,$Fg]vF]rF]rF(F(F(F(,
I9polyhedron/face/verticesRF]bnF(F(F(-Fjq6$F^an-FacsF_asF(F(F(F(,
I/fancone/domainRFcuF(F(F(Ff`nF(F(F(F(,
I-type/fancone-F$6$F&F`jqF(,
I.cone/boundaryR6#'Fir%'cone_1G6%F\hlF`sFibsF(F(C'>F`oFG>F[qF`]y@$Fb^t-Fa[l6#-&
Fio6#.Fc^yFer>F[xFfn-Fj\w6'F`oF[xFQFV-Fbhl6$Fg[r7%-F^v6$FjxF[q-Fjq6$RFdemF(FezF
(-F[al6$/FhhlT#-FbaqFIF(F(6$FibsF[x-F_^wFI-F^v6$FjxFe[rF(F(F(F(,
I-convert/coneFafnF(,
I0convert/fanconeFafnF(,
I/convex/faceseqR6%FirF^\[lF^`r6&%$rn1GFa^lFfwF^bnF(F(@'-%(face/&=G6$F<F\`mFe_l
-%)face/&<<GF`_]lF\`mC&>F`oFc_s>F[qF[_l@%/F`oFev>F_[l-Fiu6%<#Fav&F[qFe\sF9>F_[l
-Fd]l6$F9-F^_s6#-Fffl6$Fcal/F[x-F`]l6$F`o<#-Fgq6$F\r-Fgfm6$-FbbnFe]nF`o6$-F[^x6
%F9F<F_[l-F[^x6%F9F_[lF\`mF(F(F(F(,
I0convex/addangleR6&Few%#v1G%$v12G%$v13G6#FcwF(F(C$>F`o,&F9F\rF<F]r7$-%&evalfG6
#-%'arctanG6$-F][l6$F`oF\`m-F][l6$F`oF^\nF9F(F(F(F(,
I/FAN/ambientdimRF]bnF(F(F(FduF(F(F(F(,
I(cone/&=F*F(,
I(cone/&xR6#F,62FirFjjmF`sF]cmFasFa^lF]aoF_aoFf^lFbao%#niGFfwFedx%#iiG%#SrG%&Si
neqGF(F(C2>F[qFao@$3F64-F76$F[qFhdwFB>F[x-Fdq6#-Fgq6#-Fjq6$FHF[q>F[h[l<#-F^v6#;
F\r-Fdq6#-Fffl6$-F^t6#F]fp/F`oF[q>Fhf[l<#-F^v6#;F\r-Fdq6#-Fffl6$-F^t6#FifpF[e]l
>F_[lFe_l>F]\lFe_l>Fe\lFe_l>F\zFe_l>Fj[lFe_l>Fh[lFe_l>F`gqFfo>F_drFfo>F_grFfo?&
F`oF[qF]zC->F_[l6$F_[l-Fgq6#-F`[m6&FbdpF[xFjepF`gq>F\z6$F\z-Fgq6#-F`[m6&FbdpF[x
FcfpF`gq>F]\l6$F]\l-Fgq6#-F`[m6&FbdpF[xF]fpF`gq>Fj[l6$Fj[l-Fgq6#-F`[m6&FbdpF[xF
ifpF`gq>Fa\lFid]l>FaeqFee]l>Fe\l6$Fe\l-Fgq6#-Fjq6'%5cone/&x/addincidenceGF^fp<#
-F^v6#;F\rFaeqFhf[lF_gr>Fh[l6$Fh[l-Fgq6#-Fjq6'Fbh]lFjfp<#-F^v6#;F\rFa\lF[h[lF_d
r>F`gq,&F`gqF\rF`cpF\r>F_dr,&F_drF\rFa\lF\r>F_gr,&F_grF\rFaeqF\r-F\[o6)F[xF`[tF
ebl7#Fe\l7#F\z7#Fj[lF[epF(F(F(F(,
I/type/affhplane<$/F]sFdio/FdioF]sF(,
I-face/surfaceR6#'F^bn-FjuFcp6&F\`nF_^lF_dq%#FFGF(F(C%>F[qF\bq>F`oFge\l@%55-%/f
ace/isboundedGFIFjhp3Fcis/-FgnF_tFjxC'>Fceq-F_anF_t>F[x-Fdq6#-Fffl6$&-FjcqFe`lF
ey/F_[l-%,face/facetsGFI-%+std/forgetG6#Fjcq>FceqFe_l-F^hq6$F[xFjgqF\jpF(FgiqF(
F(,
I-cone/fvectorFe_qF(,
I5cone/&x/addincidenceR6&'%#CSGF^w'%$CASGF^w'%#ASGF^w'FfwF`flF(F(F(-Fgfm6$F\`m-
Fjq6%Fdq-FgfmF`uF^\nF(F(F(F(,
I6polyhedron/ambientdimRF[anF(F(F(FaclF(F(F(F(,
I8cone/convert/polyhedronRFcuFchpF(F(C$>F`oFG-F_r6#-Fejm6&F`oF]evFjx7#-FhcnFerF
(F(F(F(,
I8polyhedron/convert/coneFjjnF(,
I7polyhedron/face/relintRF]bnF(F(F(-F^an6#-Fb_oFIF(F(F(F(,
I.print/fanconeRF(F(F(F(-F[al6$/FfoF_jq-Fd^nF]inF(F(F(F(,
I0face/ambientdimRF]bnF(F(F(-F^`oFf[[lF(F(F(F(,
I)cone/&<=RF+6&Fj\sF\]s%$nl2GF]oF(F(C'@&F3FBFFFL>F`oFfn>F[qFhn>F[xF]t331-F^t6#F
XF\go5F[e]l31Fc_lF[x1-Fg]s6#7$F[fsFdrF[x-Fc\o6&RFbzF(FezF(-FatF`uF(F(F(FcvF_[lF
<F(F(F(F(,
I.list/containsR6$FasF[jq6#FbwF(F(C$>F`o-FjsFI@%F^bz-Fat6$FabzF9FLF(F(F(F(,
I/array/containsFj`^lF(,
I.line/containsR6$F]cmF[jq6#FibsF(F(C$>F`o-Fjs6#Fdu@%F^bz-F]uF`bzFLF(F(F(F(,
I/face/isboundedRFbj]l6$F_^lF\`nF(F(C%>F`oF\bq>F[qFabn5/F[qFev3/FjepFjx2-Fhan6#
-Fb`nFer-FacmFa\tF(F(F(F(,
I.type/polytopeRFdemF(F(F(3F>-F`asFIF(F(F(F(,
I/polyhedron/dimRF[anF(F(F(,&FddoF\rFfhpF]rF(F(F(F(,
I/type/polytope0RFdemF(F(F(33F_c^lFdgp-F\\oFhcoF(F(F(F(,
I-type/affconeRFdemF(F(F(3F>/,&FavF\rFjanF\rF\rF(F(F(F(,
I0raynos/isaffineR6$'F\`nF^w'FbaoF`flF(F(F(52F<-FdcmFj[m/F9FevF(F(F(F(,
I0polyhedron/raysRF[anF(F(F(-Fjq6$F^an&FcvF`huF(F(F(F(,
I0polyhedron/dualRF[anF(F(F(-Fces6#-Fg`zFIF(F(F(F(,
I(face/&=RF(F(6#%(builtinGF("#fF(F(F(%"=GF(,
I/polyhedron/&<=Fa_^lF(,
I0polyhedron/joinRF(6#F\oF(F(C$>F`oFao@'FdoF`]pF^pFdp-F_r6#-Fchm6#-Fbr6#-Fgq6#-
Fjq6$FchmF`oF(F(F(F(,
I>polyhedron/convert/polyhedronRF[anF(F(F(-Fjel6#-Fgq6$;F\rFh`nF9F(F(F(F(,
I+=/containsR6$F]aoF_azFaazF(F(C$>F`oFdaz@'FesC$>F[qFigo@%Fiaz-Fiz6#/F]bzFfoFLF
^bzF]b^lFLF(F(F(F(,
I,face/volumeRFbj]l6#F_dqF(F(@%F][^lC'>Fceq-F_anFf[[l>F`o&-FjcqFIFey>FceqFe_lF_
\^lF`oF\jpF(FgiqF(F(,
I*type/faceR6$Fcz%(domtypeGF(F(F(3-F76$F9-F$6$F&Fju5F\[s-F76$F\bqF<F(F(F(F(,
I+print/faceR6$'FebnF^w'Fg^sF^wF(F(F(-Fiu6$FbilFfboF(F(F(F(,
I*face/dualR6#'F^bn-Fju6#<$F0%*polytope0GF(F(F(-Fiu6%Fg]vFdu-&Fio6#.FbhuFhfyF(F
(F(F(,
I)face/&<=R6$F^\[lF[]xF(F(F(C$@$0F\bq-F]bqFKFciv-Fiz6#/-Fgfm6$FabnFc_sFevF(F(F(
F(,
I)face/&<<RFij^lF(F(F(3Fa^x55/Fge\l,&-F^t6#Fc_sF\rF]rF\r/F`f\l,&-F^t6#Fc^sF\rF\
rF\r/Fgbn,&-FhbnFKF\rF]rF\rF(F(F(F(,
I,cone/facetsFd\qF(,
I,face/facetsRF]bn6$Fir%$rnlGF(F(C&>F`oF\bq>F[q-Fj]s6$-FchmFer-F^`nFI@$3-F76$F`
oF'4-F`asFer>F[q-Facs6%F`dlF[qFib^l-Fjq6$F^`n-F`[m6%Fd]lF]]_lF[qF(F(F(F(,
I+cone/edgesFe]qF(,
I+face/edgesRF]bnFcuF(F(C$>F`oF\bq@%3Fa]_lF`bn-Fd]qFer-F`[m6%Fd]lF`o-Fj]s6$F`oF
9F(F(F(F(,
I+cone/facesRFcu6)Fgd\lF`s%#adG%#FtGFfwF]_[lF`amF(F(C+>F`oFfcl>F[qFb_w>F[xFG>F_
[l-Fbhl6$;FfoF[x7#-F^v6$FjxFi_l>&F_[l6#-F_x6%F>FfoF`o7#-FhgrFI>&F_[lF_t7#-FfuFI
@$2F`oF^_qC$>&F_[l6#F\en-&Fio6#.F[duFI>&F_[l6#F^_qFhdq?(Fe\l,&F`oF\rFhhlF\rF\r,
&F[qF\rFdfoF\rF]zC$-Fagm6&FcdmFio%/face~dimensionGFe\l>Fjbq-F`[m6%Fd]lF9-Fex6$<
#-Fffl6$-Fgq6#-Fj]s6$F9F]\l/F]\l&F_[lFacvFbp-FjhlFe`lF(F(F(F(,
I,fancone/&<=R6$F,F.F(F(F(@%3-F76$F<F`jq/F[iv-F\ivFK-Fiz6#/-Fgfm6$FQFSFevC$-Fag
m6&FhhlFioFhhnF_u-F_uF^[lF(F(F(F(,
I)type/FAN-F$6$F&F]jqF(,
I*print/FANR6'F_flFj`o'FasF^wF\aoFfjq6$F\hlFcfnF(F(C$>F[q-%&tableG6#-Fgq6$FhhlF
_bo-Fj\w6'F9,&F9F\rF_irF]rFfboF`bo7#-Fffl6$-F^t6#&F[qFerF_glF(F(F(F(,
I*FAN/linesRF]bnF(F(F(Fg]vF(F(F(F(,
I)FAN/raysRF]bnF(F(F(F^fyF(F(F(F(,
I,FAN/hplanesRF]bnF(F(F(F_^uF(F(F(F(,
I,FAN/supportR6$F^bnFiv6$FirFb`uF(F(C$?&F`oFe`uF]zC$>F[q-Ffv6$F`oF<@$Ff_u-Fa[l6
#-Fhiq6$-FbaqF_tF9Fc[lF(F(F(F(,
I+fancone/&xRF(6$FirFjjmF(F(C%>F`oF]cp>F[qFao@%-F76$F[q-Fbp6#F`jq-Fhiq6$F`o-%'F
AN/&xG6#-Fgq6#-Fjq6$F\ivF[qF`oF(F(F(F(,
I5polyhedron/recessionRF[anF(F(F(-Fdhm6#-Fh_n6#-F\[o6)Fddo-Fi`nFI-Fgd^lFI&F[_lF
`hu-Fjq6$RFdemF(FezF(Fa\wF(F(F(FV-Fjq6$RFdemF(FezF(Fa\wF(F(F(Fe[lFevF(F(F(F(,
I5polyhedron/&x/hspaceR6%Fe^lFabpFjbpFaflF(F(-F[al6%Fg_m/F]r,&-Fdq6#-Fffl6$Fdcn
/F`oF\`mF\rFd\sF\rF9F(F(F(F(,
I5polyhedron/ispointedFeirF(,
I8polyhedron/minkowskisumRFfbp6(F\oF`sF_^lFb\mFbwFewF(F(C*@$F\[s-Fa[l6#-Fhf^lFI
>F`oFao>F[qFddo@&F^pFdp-Fhp6&RFbzF(FezF(0FddoF<F(F(F(F`oF]oF[qFL>F_[l7#Fc]w>F]\
lFe_l?&F[xF`oF]zC$>F_[l7#-Fffl6$-Fgq6#-Fjq6%FdqF_[lFe\l/Fe\l-F_anF``l>F]\l6$F]\
l-Fgq6#-Fjq6$F]s-Fgd^lF``l@%F`[v-F]qF_t-F]\t6$Ff^nF]\lF(F(F(F(,
I8convex/orderplanepointsR6#'F]\rFbp6$%#v0GF`amF(F(C&@$2FbilF]_t-Fa[lFI>F`o,&Fi
il#F\rFhhlFf^mF]]`l>F[q-Fjq6'Fba]lF9F`o,&Ff^mF\rF`oF]r,&&F96#FcdmF\rF`oF]r-F`[m
6%FgqFhhl-Ffem6$F[qRFbzF(FezF(-Fiz6#2FiilFg^mF(F(F(F(F(F(F(,
I;polyhedron/image/newvertexR6%FasFdwFew6$%#arGFedxF(F(C$>Ffex-Fgq6#Fd\w-Fjs6#7
$-Fgq6#,&*&F<F\rF`oF\rF\r*&F[qF\rF\`mF\rF\rF[qF(F(F(F(,
I;polyhedron/image/newhspaceR6%Fe^lFc]yFew6$%#ahG%#ihGF(F(C%>FfexFd^`l>F`oF\_`l
-Fjs6#7$Fdr,&F[qF\r-F][l6$F\`mF`oF]rF(F(F(F(,
I9polyhedron/image/similarR6%Fe`nFhi\lF]cn6$FasFbaoF(F(C%>F`oFcv>F[qFgan-F]gm6#
-Fjel6*FGFfn7$-F_x6%2FfoF<-Fgq6#&F`o6#Fcjl-Fgq6#,$F^a`lF]r-Fgq6#-Fjq6&F]^`l&F`o
6#;,&F[qF\rF\rF\rF]rF<F\`mF[_l-Fjq6&F^_`lFV*$F<F]rF\`m-Fjq6&F^_`lFe[lF]b`lF\`mF
fblFjanF(F(F(F(,
I:polyhedron/containsrelintR6$F_^lF_\oF(F(F(-F\\o6$F9FigoF(F(F(F(,
I-face/isemptyRFbj]lF(F(F(-Fiz6#F`bnF(F(F(F(,
I.FAN/ispointedRF]bnF(F(F(-Fiz6#/Fhg\lFjxF(F(F(F(,
I(face/&xF^gyF(,
I(FAN/dimRF]bnF(F(F(,&FijqF\r-F^t6#-Fde_lFIF]rF(F(F(F(,
I(FAN/&<=R6$F^\[l'F^`rF]jq6$F\]sF]oF(F(C%@$0Fijq-FjjqFKFL>F`o-Fig\lFK3-FZ6$Fhg\
lF`o-Fc\o6&RFbzF(FezF(-F^g\lF`uF(F(F(-F`[m6%F[al/FhhlF`oFe`uF[qF<F(F(F(F(,
I'FAN/&=RFgc`lF(F(F(C$@$F\d`lFL3/-Fex6$-Fjq6$FRFe`uF^w-Fex6$-Fjq6$FR-FbjqFKF^w-
FZ6$-&Fio6#.FdfvFI-F\f`lFKF(F(F(F(,
I8polyhedron/face/minfaceRF]\[l6'F_^lFggzF]oF^bnF\`nF(F(C(>F`oF\bq@$Fd]_l-Fa[l6
#-Fd`qF]in>F[qFao@$-Fhp6&RFbzF(FezF(Fg\[lF(F(F(F[qF[xF`oFciv>F]\l-F^_s6#-Fffl6$
-FbbnFe`lF_][l@%-F`dl6$F]\lFib^l-F^`n6#-Fd]l6$F]]_lF]\l-F^`qFerF(F(F(F(,
I8face/convert/polyhedronRFbj]lF(F(F(-F_r6#-Fbaq6#-F[al6$/Fcdm-F_csFf[[lF9F(F(F
(F(,
I5face/convert/fanconeR6#'F^bn-FjuF`g_lF(F(F(-Fhiq6$Fa^]l-F\ivFf[[lF(F(F(F(,
I6fancone/arecompatibleR6%F,F.Fc]oF(F(F(@%Fjb_lC$@$Fbdm>F\`m-&Fio6#.FggvF^[lF]z
C$-Fagm6&FhhlFioFhhnF_]o-F_]oF]inF(F(F(F(,
I:convex/facefan/facet2coneR6&F^^sF\hlFibsF]ao6$FirFe^lF(F(C&>F[q&F]g\lFey@$/F\
`]lFfo-Fa[l6#Fe_l>F`oFa^]l-F\[o6)F<F\`m-Fjq6$RFdemF(FezF(Fa\wF(F(F(F]fpF^fpF^\n
-Fjq6%RFbzF(FezF(-F\^m6$Fd\wF<F(F(F(Fifp-F]eoF_tFjfpF(F(F(F(,
I'FAN/&xRF]\[l60FggzF^bn%$MC1G%$MC2GFfwF]hlF,F.Fj\sFf^u%#h1GF`s%#d1G%#d2GF(F(C+
>F`oFao@(F[dv-Fa[l6#-F]dwF]dv4-F76$F`o-Fbp6#F]jqFBF\[sFj\`l>F_drFijq>Fh[lFhg\l>
Fa\lFg`r>FaeqFdc`l>F[xF\[r?&F[q&F`oFi\rF]zC*>F_gr-FjjqF_t>F`gq,&F_drF\rF_grF\r>
Fh[l7$-Fgq6#-F`[m6&FbdpF`gqFh[lFfo-Fgq6#-F`[m6&FbdpF`gq-Fig\lF_tF_dr>Fa\l-F`]l6
$-F`[m6&FbdpF`gqFa\lFfo-F`[m6&FbdpF`gq-F`_rF_tF_dr>Faeq7$-Fgq6#-F`[m6&FbdpF`gqF
aeqFfo-Fgq6#-F`[m6&FbdpF`gq-Fde_lF_tF_dr>F_[l-F][rF_t>F[x-Fbhl6$;FfoF`gq7#-Fffl
6$7#-Fffl6$-Fffl6$-Fffl6$-F^cp6$F\zFj[l/Fj[l&F_[l6#,&F]\lF\rFe\lF]r/F\zFeaw/Fe\
l;-Fdcm6$Ffo,&F]\lF\rF_grF]r-Facm6$F_drF]\l/F]\lFf_al>F_drF`gq-Fj\w6'F_drFh[lFa
\lFaeq-FjhlF``lF(F(F(F(,
I<FAN/stellarsubdiv/subdivideR6&F[jqF`s%#lrG'F\`rF^w6$F^bnFibsF(F(C%@$50-Fgfm6$
F^\nFQFev3/F_irF\rFe\yFj\`l>F[qFfn-Fffl6$-F_x6%/-Fgfm6$F^\n-Fex6$-Fh_oFerF^wFev
Fe_l-F[al6$F^gw-Fi^p6&F<7#-FbaqFerFjxF\`m/F`oFc^]lF(F(F(F(,
I<FAN/simplicialsubdiv/insertR6$FirF[`r6$%"eGF\hlF(F(C%>F[qFb_w>F`o,&FavF\rF[qF
]r@%F]\mC$>&F<F_t7$-Fgq6#F`dalF9Fe_l7$F9F`oF(F(F(F(,
I?FAN/simplicialsubdiv/subdivideR6&%#CeGF`sFasF[`r6%FirF^bnF^dnF(F(C%>F`oFiil@$
4-Fcen6%F\`mF]fpF[xFj\`l-Fffl6$-F_x6%-Fcen6$F[x-FbbnF_tFe_l-Fdcal6$-Fi^p6&F<7#F
ef_lFjx7#F\`mF^\n/F[qF^^wF(F(F(F(,
I5FAN/simplicialsubdivRF]bn6,FfjqF[`rF`amF`sF\hlFirF]dqFb`u%#f2G%#f3GF(F(C)@$F`
\rFa`r>F_[lFijq>F`oF\[r>F[q-Fbhl6$F\ar7&&F`oF]p&F`oFey&F`oFd^m-F^v6$Fjx,&F_[lF\
rFdfoF\r>F[x7#-Fffl6$-Fffl6$-Fdcal6$Fe\lF[q/Fe\l&F`oFg\n/F]\l;FcdmF_[l?(F(F\rF\
rF(0F[xFjxC(>F[x-Ffem6$F[xFhem>Fe\l&F[xF_fv>F\z-Ffem6$-FgblF[dlRFbzF(FezF(-Fiz6
#1FfboFbilF(F(F(>Fa\lFdax?&Fj[l&F\zFi\r0Fa\lFevC$>Fh[lFa\l>Fa\l-F^_s6$Fa\lFj[l>
F[x-Fjq6'FedalF[xF_[l&Fd]v6#-Fgq6$F\rFh[lF[q-F[al6$/Fb_r-FjhlF_tF9F(F(F(F(,
I6convex/lindiosolve/<=R6$'FczFbp'FdzFbpFaflF(F(C$?(F`oF\rF\rFbilF]z@$2FecnFdcn
F[auF]zF(F(F(F(,
I8convex/writepoly/matrixR6&Fi\tFj\tFdduF[hl6$FasFewF(F(C$-Fdeu6%F9Q%|+%s|+F(F<
?&F`oF^\nF]zC$>F[q-F]eoFer-Fdeu6&F9F\`m&F[qFd^m-FgqF[\pF(F(F(F(,
I5convex/writepoly/setR6$Fi\tFiioFaflF(F(C%-Fdeu6$F9Q"|frF(?&F`o-Ffem6#FdxF]z-F
deu6%F9F]fuF[gl-Fdeu6$F9Q$~|hr|+F(F(F(F(F(,
I7convex/readpoly/matrixR6#Fi\t6'F]cmFfwFdduFew%#vsGF(F(C)>F`o-F_^tFI>F[qF\r>F[
xFbbt?(F(F\rF\rF(F]zC&>F_[l-F\^t6$&F`o6#;F[qF]rQ%%a%nF(@$/F_[lFfoFh`l>F[x-F^hn6
$F[xQ#%aF(>F[q,&F[qF\r&F_[lFd^mF\r>F]\lFe_l?(F(F\rF\rF(F]zC&>F_[l-F\^t6$F`oF[x@
&F]^blFh`l4-F76$F_[lF\_zC$-F`ctFI-FC6#Q<polyhedron~must~be~rationalF(>F]\l6$F]\
l-Fjgo6$&F_[lFi\rFd[v>F`oF`]blFeblF(F(F(F(,
I5convex/readpoly/nopsR6%Fj\tF[]t'F\hlFa_mF(F(F(@$3-FcctFc^\l0FifmFjx>F\`m-F^t6
#&FifmFeyF(F(F(F(,
I8convex/readpoly/makesatR6$Fbw%#ieG6$FiioFasF(F(C%-Fagm6%FcdmFio.%@computing~i
ncidence~informationG>F`o<#-F^v6#;F\rFfbo7#-Fffl6$-Facs6&RFidmF(FezF(-Fiz6#/-F]
[l6$F<&F\`mFIFfoF(F(F(F`oF[qF</F[qF9F(F(F(F(,
I<FAN/regularsubdiv/subdivideR6&FirF`sFgaalF\`r6'F^bn%$rCSG%$sCSGF.F\hlF(F(C)@$
F]balFj\`l>F[qFe_l>F[xFe_l?&F`oFc^]lF]zC%@$FgbalFa^r>F_[lF_cal@%-FearFe`l>F[qFh
\p>F[xFajl>F]\l-F^t6#&F\`mFey>&Fi`rFg\n7$-Fgq6#FicblF[qF[xF(FegrF(F(,
I3convex/lindiosolveR6&'%#rdGFi`oF\aoF^aoFhaal6.F`sFeglF[a\lFfwF]hl%"MGF_^lFdz%
#AyGF]o%%yincGFf\`lF(F(C--Fagm6*FcdmFioFfbo.%.equations~andGF`bo.%0inequalities
~inGF9.%+dimensionsG@$3Fd[n/F\`mFjx-Fa[l6#-F_x6%/FeoF]_tFjxFccw>F`oF`bo>F[q7$Fg
_m-Fffl6$7&-Fgq6#,$&F\`mFe`lF]r-F^v6$FfoFj_lF\r-F^v6$Ffo,&F`oF\rF_[lF]rFdjl>F[x
Fggx>F`o,&F`oF\rF9F\r>F\z-F\flFer>Fe\lFjx>F`gqFa[p?(F(F\rF\rF(0F\zFjxC&>Fj[lFda
x>F\z-F[al6$FfgxF\z>Fh[l-Ffjl6$F[qFj[l@&/Fh[lF`gq@$4-Fcen6$Fj[lFe\lC$@$3Ffebl4-
Fcen6$&Fj[lF[jxF^\n-Fa[l6#7#Fchbl>Fe\l7$FiiwFj[l4-Fhp6&FajalFe\lFa\lFj[l?(F_[lF
\rF\rF`oF]z@$2-F][l6$F`jpFh[lFfoC$>Faeq-F[al6$/F_[l,&&Fj[lFe`lF\rF\rF\rFj[l@$4-
Fcen6$FaeqF\z>F\z7$-FgqF^_nFaeq-Fjq6%RFbzF(FezF(&F96#F``yF(F(F(Fe\lF9F(F(F(F(,
I4convex/hilbertbasisR6%'%$allG%(booleanGF[jqF[hx6)F]cmFasFe^lF`sFcam%#UiGF_aoF
(F(C/>F[qF^h\l>F`oFhn@$3Fj`vF[dvC$@$Fbdm>F\`mF`o-Fa[lF_t-Fiam6$-Fagl6#7$FdrF[fs
F]\l>Fe\l-Fagl6#-Fex6$-FcbmFg\nFiy@$Fbdm>F\`m&Fe\l6#;F\rFc_l@$Fj`vFfam>F_[l-Fib
vFK>F]\l&-Fex6$F]\lFiy6#;Fb_lF_[l>Fe\l&Fe\lF\]cl>F_[l,&F_[lF\rFc_lF]r>F\z-Ffdm6
%Fcen-Fjq6$Fb[m-F[[m6$Fe\l-Ff[lFK-Fex6$-F\flFe`lF^w-F[[m6$-FaglF[dl-F]dbl6&F_[l
FjxF\z-F_x6%F9Fe_l-Fex6$-F[[mF^^rF^wF(F(F(F(,
I9convex/readpoly/readlineRF[]bl6#F]cmF(F(?(F(F\rF\rF(F]zC$>F`o-%)readlineGFI@&
F]\m-Fa[l6#Fbbt5/F`oFbbt0F\galQ"#F(F][sF(F(F(F(,
I:convex/readpoly/listofsetRF[]bl6'F]cmF\hl%#ssG%#seGFdwF(F(C%>F[xFe_l?(F(F\rF\
rF(F]zC(>F`oF`]bl@$Fc_clFh`l>F[q,&&-F\^t6$F`oQ$|fr%nF(FeyF\rF\rF\r>F_[lFe_l?(F(
F\rF\rF(F]zC&>F]\l-F\^t6$Fh]blQ7%d%d%d%d%d%d%d%d%d%d%nF(@$0F]`v"#6C$>F_[l6$F_[l
Ff`vFh`l>F_[l6$F_[l-Fgq6$FcfoF]\l>F[q,&F[qF\r&F]\lFe\sF\r>F[x6$F[x-Fex6$-Fjq6%F
dqF`[tF\rF^w7#F[xF(F(F(F(,
I;convex/readpoly/matrixsecs<(Fd\uF]jsFbftFjdtF`etFbgtF(
