M7R0
I$FAN=6"%&falseGE\[lN%&imageGf*6$%"FG%"AG6#%#F2GF$F$C$>8$-%*traperrorG6#-&-%#op
G6$""!9!6#.%(_createG6$-%$mapG6%&&&F66#.%$_elG6#.%&_baseG6#.F'-&F"6#.%._maximal
_listG6#9$&9"6#;""#!""34-%%typeG6$9%<%%$vecG%)rationalG%.real_infinityG3-Fgn6$F
in%$matG/-&%'CONVEXG6#.%)_inverseG6#Fin%%FAILG@%/F0%*lasterrorG-%&ERRORG6#F]pF0
F$F$F$%1isquasipolytopalGf*6$F*'%"PG%%nameG60%"dG%"rG%&ind_CG%&ind_rG%"iG%"LG%#
L0G%#L1G%#eqG%%ineqG%"CG%"nG%#dnG%#FrGF$F$C6@$2FX9#-F_p6#Q3too~many~argumentsF$
-%)userinfoG6%""$F"%Ptrying~to~find~strictly~convex~support~functionG>F0-F76$FX
FS>8)FM>81-&F"6#.%%raysGFR>8/-%%nopsG6#Ffr>80*&F0"""F_sFfs?(8(FfsFfsF_s%%trueG>
&8&6#&Ffr6#Fhs*&F0Ffs,&FhsFfsFYFfsFfs>8,6$-%$seqG6$-Fft6$-%-convex/embedG6%Fds8
%&F\t6#8./F]u-F76$""'F`u/F`uFfr-Fft6$-Fft6$-F[u6'FdsF]uF9,$F]uFY*&F0FfsFhsFfs/F
hs;Ffs,&F_sFfsFYFfs/F]u-F76$F`rFS>8-%%NULLG?&F]uFhrFisC'>6$8+8*-%-selectremoveG
6$f*6#FbqF$F$F$-%'memberG6$T#-F76$""%FSF$F$6$FipF]uFfr>Fhs&F\t6#&F[w6#Ffs>&8'6#
F]uFhs>Fct6$Fct-Fft6$-F[u6'FdsF]uFhsF\vF^u/F`u&F[wFV>Fev6$Fev-Fft6$Fgx/F`uF\w>F
`u-&%%CONEG6#.%._intersectionG6&Fds7"7#FctFhy>Fev7#Fev>Ffr-F76$F`rF`u?&F]uFevFi
s@$-%+std/forallG6$f*6#%"xGF$F$F$-%&evalbG6#/-%/convex/dotprodG6$FSFewF9F$F$Fiw
Ffr-%'RETURNG6#F%>Fhs-Fas6#Fbu>F`u-Fby6&Fds7#F`uFhyFev>Fct-Fhz6#/Fb[lFhs@$3Fct/
FiqFXC%-F^r6%F`rF"%8constructing~polyhedronG>F]u-&Fcy6#.%'relintGF_u>Fin-&%+POL
YHEDRONGFdy6&,&F0FfsFfsFfsFhy-F@6$f*6#%"vGF$F$F$-%-convex/homogG6$FS-F\[l6$FS&F
ew6#;FfsT%F$F$6&FipF]uFhpF0Fbv-F@6$f*Fb]lF$F$F$-Fe]l6$FS-F\[l6$FS&Few6#;,&&F\^l
FRFfsFfsFfs,&Fi^lFfsT'FfsF$F$6(FipF]uF[qFaxFhpF0FhrFctF$F$F$%#&<Gf*6$%#F1GF-6%%
$MC1G%$MC2GF\qF$F$C$@&FhqFjq-&F66#%$&<=G6#FUC%>F0Ffw>F]u-F76$FhwFin?(F\tFfsFfsF
crFis@$0-Fas6#&F06#F\t-Fas6#&F]uFf`l-F_[l6#FisF%F$F$F$%)containsGf*6%F*Fbq'%#FC
GFfp6,%#FlG%#ClG%#CrG%#C1G%"fGFhpFcqF\q%#MCG%$cmpGF$F$C-@&2F`rFiqFjq-%+type/!BA
SEG6$FinFD-F_p6#Q9illegal~argument~type(s)F$>F\w-F76$FXFin>Ffr-&Fcy6#.%$dimGFio
@&0F\wFcr-F_p6#QEarguments~must~lie~in~the~same~spaceF$3/F6.%)PCOMPLEXG/FfrF9C$
@$/FiqF`r>9&&-&Fccl6#.%(minimalGFRF^xFj`l>F0Fbv>F]u-F76$F`rFin>F\t-%(convertG6$
F^`l%$setG@'/F0Fjo>Fevf*FezF$F$F$3/FbvFew-%'subsetG6$F\^l-Ffdl6$FfwFhdlF$F$6&Fc
alF]uFdalF\t/F0F]u>Fevf*FezF$F$F$-F`el6$FewFbelF$F$6$FdalF\tF^[l>FctFfw?(F[wF\w
FYFfblFis?&Fax-%'selectG6$Fev&Fct6#F[wFisC$>Fhs-&Fcy6#.%(supportG6$Fax-F7Ff`l@$
0FhsFjoC$@$Fgcl>Ficl-&FD6#.%%_newG6$-&&FDFE6#.%*_2domtypeGF_tFS-F_[l6#-Fhz6#/F\
t-Ffdl6$-&%&CFACEGF[sF_tFhdlF%F$F$F$%#&=Gf*F__l6(%$ll1GFhalF\qFhpFb_lFc_lF$F$C+
>FaxFcr@(FhqFjq4-Fgn6$FinF6F_bl0FaxFcblF^[l>F0Fbv@$0F0FbdlF^[l>F]u-%#ifG6%Fjdlf
*FezF$6$%)operatorG%&arrowGF$7$FbvFbelF$F$F$%/cone/_rays_setG>FhsFfw>FfrF^`l?(F
\tF9FfsFaxFis@$0-Ffdl6$-F@6$F]u&FhsFf`lFhdl-Ffdl6$-F@6$F]u&FfrFf`lFhdlF^[lFisF$
F$F$%/genhpolynomialGf*6$'F*%%FAN0G'%"qG%*algebraicG6*Fgal%)f_facetsG%"gG%"hGFc
q%#IPGFfz%"pGF$F$C,@$FhqFjq>FhsFcr>F]u&Figl6#.%%predG>Faxf*6%%#rsG%$rs2G%#n2GF$
6#%)rememberGF$C$>&FewFio,&F^]mFfs-%'expandG6#*&),&F\^lFfsFYFfs,&FiclFfs-&FfhlF
hbl6#%'_Env_fGFYFfs-F[_lFRFfsFfs?&Fj]m-T)Fi]mFis-T+6%-Ffdl6$-FehlFi]mFhdlFinFic
lF$F$6,Fj[mFfrFfzF\wFh[mF\tFg[mF]uFi[mFax>F\tf*6#Fg\m6%%#n1GF\qF[\mFj\mF$C)>F0F
g]m@$/F0-FasFR-F_[lF^x>F0,&F0FfsFYFfs>&FewFRF9?&Fj]m-F\^lFi]mFis-F[_l6%Fb^mFSF0
>F\t-Fa]m6#*&,&FfsFfsF^^mFYFfsFd_mFfs-%"+G6#-Fft6$*&-%&coeffG6%F\tF^^mF]uFfs)F^
^mF]uFfs/F]u;F9,$F0#FfsFXF$F$6*Fj[mFfrFg[mF]uFi[mFaxFfzF\w>Ffr-%&tableGF$>&Ffr6
#F9F9>F0-F@6$&FD6#.%(maximalG-&F6Fgam6$FS.%%listG@%/-Fas6#F0FfsC$>Fj]m&F0F^x>F[
w-Fa]m6#*&),&F\wFfsFYFfs,&FhsFfsFg]mFYFfs-F\t6#Fb^mFfsC$?&Fj]mF0Fis-Fax6%Fb^mF9
Fhs>F[w-Fa]m6#*&)F\wFhsFfs-%%subsG6$/F\w*$F\wFYFaamFfs@%F^\l-Ficm6$/F\wFinF[wF[
wF$F$F$%+ambientdimGf*6#F*F$F$F$@%2FfsFiqFjq,&FcrFfs&F66#.%'_shiftGFYF$F$F$F]sf
*FcdmF$F$F$@%FedmFjq-%&unionG6#-F76#-F@6$F^jlFMF$F$F$Fjblf*Fcdm6$F\qFgalF$F$C%@
$FedmFjq>F]uFfw?(F0FcrFYF$Fis@$0&F]uFbbmFhy-F_[l6#,&F0FfsFgdmFYF$F$F$Fi_lf*F__l
6&FcqF\qFbqFgalF$F$C$>F0Fcr@)FhqFjqF^ilF_bl0F0FcblF]clC%>FaxFfw?(F]uF9FfsF0Fis?
&F\tF`xFis@$4-&F66#.F\al6$FinF\tF^[lFisF$F$F$%(fvectorGf*Fcdm6$F+%&f_dimGF$F$C'
@$FedmFjq>F0-%&ArrayG6#;,$FgdmFY-&F66#.FadmFR>F]u&FiglFhbl-&F66#.%)traverseG6$F
Sf*6#Ffal6#FhpF$F$C%>F0-FewFR>&F\^lFbbm,&F`imFfsFfsFfsFisF$F$6&FdgmF]uF+F0F0F$F
$F$Fiamf*6$F*%"TG6%FgalF\qFhpF$F$C%@(FhqFjq5/FiqFfs/FinF]bm-F_[l6#-F@6%FbglFMFS
0Fin.%&arrayG-F_p6#QFillegal~combination~of~argument~typesF$>F0-%%map2G6&F@Fbgl
FfwFS@%/F6.F"-%%evalGFbbmC$>F\tFcr-Fbjm6$;FY,&F\tFfsFYFfs7#-Fft6$&F0Fbx/F]u;F9F
\tF$F$F$%&linesGf*FcdmF$F$F$@%FedmFjqFbvF$F$F$%1simplicialsubdivGf*Fcdm6,Fgal%$
sMCGF]qFhpFcqFbq%#FLGFfal%#f2G%#f3GF$F$C)@&FedmFjq4-&F"6#.%*ispointedGFR-F_p6#Q
9argument~must~be~pointedF$>FaxFcr>F0Ffw>F]u-Fbjm6$;F9Fax7&&F0FbamFebm&F06#FX-%
"$G6$Fhy,&FaxFfs!"#Ffs>F\t7#-Fft6$-Fft6$-%<FAN/simplicialsubdiv/insertG6$FfrF]u
/Ffr&F0F_t/Fhs;F`rFax?(F$FfsFfsF$0F\tFhyC(>F\t-%%sortG6$F\tf*6$Ffz%"yGF$FjilF$-
Fhz6#1&FinFi]n&FSFi]nF$F$F$>Ffr&F\t6$FfsFfs>F\w-Fa_n6$-F76$"")Ffrf*Fd_nF$FjilF$
-Fhz6#1-FasFioF__mF$F$F$>Fev&F\wF^x?&F[w&F\wFV0Fev<"C$>FctFev>Fev-%*intersectG6
$FevF[w>F\t-F@6'&F66#%;simplicialsubdiv/subdivideGF\tFax&-F76$FhwFfr6#-F76$FfsF
ctF]u-%'subsopG6$/Fhw-F^[nFbxFSF$F$F$%&codimGf*FcdmF$F$F$@%FedmFjq-Fas6#-&F"6#.
%(hplanesGFRF$F$F$F=f*6$'%$Cl1GF^bm%+compattestG6,Fhp%"lGFbqFcalFgalFcq%#CdG%#C
2G%'notredG%)m_compatGF$F$C*@$/F__mFfsC&>F\t&FSF^x>F0-F76$FXF\t>Ffr-FgblFf`l-F_
[l6#-&F6Fcgl6%F0-F76$F`rF\t-Fbjm6$;F9F07%-F[^n6$FhyFfr7#-Ffdl6$F\tFC-F[^n6$Fhy,
&F0FfsFfrFY>Fevf*F$F$FjilF$FisF$F$F$>Fax-Fa_n6$FSf*Fd_nF$FjilF$-Fhz6#2-Fas6#-F7
6$FduFS-Fas6#-F76$FduFinF$F$F$>F0-F76$FX&FaxF^x>F]u-F76$F`rF]gn>Fhs-Fbjm6$F_en7
#-F[^n6$FhyF^]l?&F\tFaxFisC)@$0FbdnF0F]cl@$0F[enF]u>F]uFjo@$Fin>Fev&-F76$FfsF\t
6#.%.arecompatibleG>F\wFedn>FctFis?(FfrF0FYF\wFct?&F[w&FhsFbsFis@&4-Fev6$F\tF[w
-F_p6#Q=arguments~must~be~compatibleF$-F`el6$-Ffdl6$-F76$FhwF\tFhdl-Ffdl6$-F76$
FhwF[wFhdlC%-F^r6%FXF6.%3redundant~argumentG>FctF%[@$Fct>&Fhs6#F\w7$-F76#FejnF\
t-Fidn6%F0F]u-Fhjm6&F@FfdlFhsFCF$F$F$FjdmF9%)skeletonGf*6$F*'Fcq%(integerG6$F]q
FdgmF$F$C'@&FhqFjq1F]hmFin-F_[lFR>F0Ffv>F]uFbhm-Fdhm6$FSf*FjhmF$F$F$@%2T$-F\^lF
RFisC$>F[_l6$F[_lFSF%F$F$6(FcqFinFdgmF]uF]qF0@%/F0Ffv-F_p6#Q1nothing~selectedF$
-F56$-F@6$Fhgl7#F0F%F$F$F$F_dlf*FcdmF$F$F$@%FedmFjq7#-&%(FANCONEGFcgl6$-&Fcy6#.
%&_hullG6&FcrFhyFbvFhyFSF$F$F$%'_printGf*6%'Fhp%*nonnegintG'FfcnF^bmFgal6$FcqFe
imF$F$C$>F]u-Fgil6%-Fgn6$FiclFbjmFicl-F_am6#-F76$FXFicl-F\[n6%FSFh`n7#-Fft6$-Fa
s6#F\fm/F0;FfsFSF$F$F$%/convert/affineGf*Fcdm6#F]qF$F$C$Z%>F0-F@6%&Fcy6#.Ff_oFM
FTQ!F$Y6%&%.lastexceptionGFi]nF:&Fe`o6#;FhwFY-&FcclF;6$F0F%F$F$F$Fghmf*6$F*'Fh[
m%*procedureGF$F$F$@%FhqFjq-&F66#.%*traverse2G6%FSFinf*F$F$F$F$F$F$F$F$F$F$F$F_
cnf*Fcdm6&FgalFhpFbqFg\mF$F$C'@$FedmFjq>F]uFcr>F0FM>Fax-F^em6#-F76#-F@6$F^jlF0@
'F`bm-F76$FduFebm0FbvFjo-F76$Fdu-Fg]o6&F]uFhy7$-F76#Fbv-F76#FaxFhy-F76$Fdu-Fg]o
6&F]uFhy7$-Fft6$-F76#F[en/F\tF0F`coFhyF$F$F$Fiflf*Fcdm6$FbqFfalF$F$C$?&F0FMFisC
$>F]u-F26#-&FDFgfl6$F0FT@&/F]uF]pF^p0F]uFjo-F_[l6#-Fbgl6$-FhglFbxFSFjoF$F$F$%)h
omologyGf*6$F*%#F0G6*%#naG%&COEFFGF+%#ORGFhpFdgm%)getbasisG%(stop_rsGF$F$C->6$F
0F]u-&Feo6#.%*_parsemodGFj_l>FhsF]hm@'/F0Ffs>F[w-Fgil6%F[[nF^an<#F^an/F0FXC$@&F
^ilFcjm0-F^hmFioFhsF]cl>F[w-Ffdl6$-F@6$F^jl-FNFioFhdlFjq-F^r6%F`rF6%7determinin
g~incidencesG>Fax-F_am6#%'sparseG>F\t-Figm6$;F9Fhs7#-F[^n6$F^an,&FhsFfsFfsFfs>F
frFbhm>F\wf*6#'Fg\mFhdlF$Fj\mF$-F76#-&Feo6#.%+_gausselimG6#-Ffdl6$FSF^bmF$F$F$@
$4-F`el6$F[w-Fbao6%FSf*6$FfalFg\mF[imF$F$@%-%+std/existsG6$f*FezF$F$F$-F`el6$F_
\oFSF$F$6$Fg\mFinFewF%C%>F0F`\o>&F[_lFbbm-F^em6$Fdjo<#FinFisF$F$6(FheoF[wFdgmFf
rF+F\tf*6&%#f0G%#f1G%$rs0G%$rs1GF$F$F$>&Few6$Ficl9'-%%signG6#-&Feo6#.%%_detG6#-
&Feo6#.%+_matmatmulG6$7#-F\^l6#Fb[p7$-F\^l6#Ficl-F76$Ffs-%&minusG6$Fb[pFiclF$F$
6&FfeoFaxFgeoF\wF_in-F^r6%F`rF6%3computing~homologyG-&F]u6#.%*_homologyG6&F9Fhs
-F@6$FasF\tf*6#%"kG6$F\q%"jGF$F$7#-Fft6$7#-Fft6$&Few6$F]uF0/F]u&F\^l6#,&FSFfsFY
Ffs/F0Fi^lF$F$6&FfeoFaxF+F\tF$F$F$F\]nf*FcdmF$F$F$@%FedmFjq-Fhz6#/FbvFhyF$F$F$%
,ispolytopalGf*FcpF$F$F$C%@$FhqFjq-F^r6%F`rF"%5testing~completenessG3-&F"6#.%+i
scompleteGFR-&F"6#.Fap6$FU-F^r6%F`rF"%;testing~quasi-polytopenessGF$F$F$Feaof*6
%F*'F\[pF_ao'Fc\nF_ao6&%#g1G%#g2GFg[m%+f_traverseGF$F$C'@'F^\lC$>F0f*F$F$Fj\mF$
FisF$F$F$>F]uFinFgclC$>F0Fin>F]uFiclFjq>F\tF`\m>Faxf*Fh^m6$FbeoF^[pFj\mF$@$-Few
6$Fj]mFSC$>F0Fj]m?&Fj]m-F\^lFbbmFisC%>F]uFb^m-F[_l6&Fj]mF0F]uFS-F:FbxF$F$6(F[ap
F0Fg[mF\tF\apF]uZ%?&Fj]mFdamFis-FaxF^cm6$Q8cannot~evaluate~booleanF$Q;invalid~b
oolean~expressionF$@%/&Fe`oF^xFaxYQhncannot~evaluate~return~value~of~selection~
function~to~booleanF$Y6$-%$catG6$Q>error~in~selection~function:~F$Fd`o&Fe`o6#;F
`rFY-F@6$F7<#-%(indicesG6#-F76$Fhw-F^[nFacoF$F$F$%(hvectorGf*Fcdm6&FfalFcqF\qF]
^pF$F$C%>F]uFcr>F0-&F"6#.FagmFR-Figm6$;F9F]u7#-Fft6$-F_`m6#-Fft6$*()FY,&F\tFfsF
axFYFfs-%)binomialG6$,&F]uFfsFaxFYF[fpFfs&F0FacoFfs/FaxFj[n/F\tFaepF$F$F$%1conv
ert/PCOMPLEXGf*FcdmFh_oF$F$C$Z%>F0-F@6%&Fcy6#.%3convert/POLYHEDRONGFMFTFa`oYFc`
oFi`oF$F$F$%,regularpartGf*6#Fa[mFh_oF$F$C&@$FedmFjq>F0Ffv-&F"Fehm6$FSf*FjhmF$F
$F$@%-&Ffhl6#.%*isregularGFRC$>Few6$FewFSF%FisF$F$6$F]qF0-&F"F;6$-F@6$&FfhlFjgl
F^]oF%F$F$F$Feglf*F$F$F$F$-.%%_OBJG6$F6FUF$F$F$%.regularsubdivGf*Fagp6/FgalFa\n
FcqFhpFbq%"BG%"UGF\qF]^pFip%#rlGFg\mF-F$F$C,@$FedmFjq>F0Ffw>FaxFcr>%6FAN/regula
rsubdiv/rMCG-Fbjm6$Fe]n7#-F[^n6$Fhy,&FaxFfsFfsFfs>F]uFjip?(F\tF9FfsFaxFis?&FhsF
e`lFis@%-&FcyF\hpF_t>&FiipFf`l7$-F76#FgjpFhs>Fi`l7$-F7Fh`lFhs?(F\tFXFfsFaxFis?(
F$FfsFfsF$0Fi`lFhyC--F^r6'FhwF"Fg`l.%Csingular~cone(s)~left~in~dimensionGF\t>Fh
s&Fi`lF^x>F`u-F76$FhwFhs@$0-FasF_uF\tC$-F^r6%FXF".%Grestarting~with~simplicial~
subdivisionG-F_[l6#-&F"6#.F^ip6#-&F"6#.F^\nFR>Ffr-&Feo6#.%-_hermite2invG6%-&Feo
6#.%+_transposeGF_uFisF\w?(F[wFfsFfsF$/&Ffr6$F[wF[wFfsF$>Fev&F\wFbfl>F_s&F`uFbf
l?(FctFfsFfs,&F[wFfsFYFfsFis@$0&Ffr6$FctF[wF9C$>Fev,&FevFfs&F\w6#FctFfs>F_s6$F_
s&F`uF\_q>F_s<#F_s@%/-Fas6#F_sF\t>Fi`l-Fbbn6$/Ffs-%<FAN/regularsubdiv/subdivide
G6&FhsFaxF[zF_sFi`l?(F[wFXFfsFaxFis>&F]uFbfl-F@6'F[`qF_`qFaxF[zF_s>Fds-Fbbn6$/F
hw-F^[n6#FiipFS>Fiip.FiipFdsF$Fg`qF$%&flagfGf*6$F*'%"SG-Fhdl6#Fb[o6(FdgmFg[mF]a
pF]q%"mG%&flagsGF$F$C+@&FhqFjq/FinF^anF`_m>Fax-Fa_n6$-Ffdl6$FinF^bm%">G>Fhs-Fas
Faco>F0Fbhm>F]uF`\m>F\tf*Fh^m6$%#asGFbeoFj\mF$C%@'0-FewFi]m&F\^l6#Fiq>F0FT/FiqF
[_lC$>F^^m,&F^^mFfsFfsFfs-F_[lF$>F0FU>F]uFj]m?&Fj]m-F`^mFbxFis-F:6$Fb^mF0F$F$6,
FdgmF0F]qFaxFbaqFhsFcaqFfrFg[mF]u>FfrF9?&Fj]mFdamFis@$1F]gn-F0Fi]mF]cmFfrF$F$F$
F^hpf*FcdmF$F$F$@%FedmFjq-Fbz6$&FD6#-F76#F:FMF$F$F$FQf*6#'F*<$F"Fccl6%FhpF\qFga
lF$F$C%>F0Fcr>F\tFfw7#-Fft6$-F76#&F\t6#,&F0FfsF]uFY/F]uF_enF$F$F$%&flaghGf*F\aq
6%Feim%"sGFi[mF$F$C'@$FhqFjq>F\tF9>F]uFh`n?&F0-&%)combinatG6#.%)powersetGFioFis
>F\t,&F\tFfs*&)FY,&F]uFfsFabmFYFfs-&F66#.Fj`q6$FSF0FfsFfsF\tF$F$F$F]`pf*Fcdm6'F
galFbqFfalFipFg\mF$F$C'>F0FM@&FedmFjq0-F76$Fdu&F06#FYFhyF^[l>FhsF^an?&F]uF0Fis?
&F\t-&FD6#.%'facetsGFbxFisC$>Fax-Ffdl6$-FehlFf`lFhdl@%-Fcw6$FaxFhs>Fhs-F[]p6$Fh
s<#Fax>Fhs-F^emF[iq5/FhsF^an3Facl/FhsFgfoF$F$F$%.stellarsubdivGf*6#Fbeo6'FcipFi
pFhpF^aqF*F$F$C)@$Fg\n-F_p6#Q;sorry,~fan~must~be~pointedF$>F07#FT@$4-Fgn6$F0-F^
bm6#F[oF_bl>FhsFS>F\t-F76$FXFhs?&F]u-F@6$%2convex/reduceqvecGF0FisC'@$0-FasFbxF
\tF]cl>Fax-&F"Fgfl6$FhsF]u@$/FaxFjo\>Fax-Ffdl6$-F76$FhwFaxFhdl@%/FaxF^an-F_p6#Q
Eray~is~contained~in~the~minimal~coneF$>Fhs-Fbbn6$/Fhw-Fhjm6(F@%<FAN/stellarsub
div/subdivideGFi[qF\t7#F]uFaxFhsFhsF$F$F$%#&xGf*6#F`_l6/FbalF*Fb_lFc_lF\qF]^pFe
alFhcn%#l1G%#l2GFhp%#d1G%#d2GF$F$C)>F07#FU@*/FiqF9@%F[[n-F_[l6#-&Feo6#.%(zerofa
nGFbam-F_[l6#-Fj`o6#7#-&Feo6#.%/fullpolyhedronGFbam4-Fgn6$F0-F^bm6#F6FcjmFjimFg
[o3Facl-F[jo6$&Fccl6#.%(isemptyGF0-F_[l6#-Fj`o6#7#-&Feo6#.%0emptypolyhedronG6#-
F_`m6#-F76#-F@6$&FcclF_hmF0>F_sFfdm>FctFbv>F\tFfw?&F]u&F0FVFisC)>Fds-F76$FXF]u>
F`u,&F_sFfsFdsFfs>Fev-F76$F`rF]u@%5/FctFjo/FevFjo>FctFjo>Fct7$-F76#-Fhjm6&F[uF`
uFctF9-F76#-Fhjm6&F[uF`uFevF_s>Fax-F76$FhwF]u>F\t-Fbjm6$;F9F`u7#-Fft6$7#-Fft6$-
Fft6$-Fft6$-&FD6#.Fi\r6$F\wF[w/F[w&Fax6#,&FhsFfsFfrFY/F\w&F\t6#,&FfrFfsFgdmFfs/
Ffr;-%$maxG6$F9,&FhsFfsFdsFY-%$minG6$F_sFhs/FhsFibr>F_sF`u-Fidn6%F_sFct-F^[nFf`
lF$F$F$FGFd]o%-issimplicialGF]dq%)preimageGf*FcdmF,F$F$C$>F0-F26#-F56$-F@6%&FC6
#.F`erFMFTF%@%F\pF^pF0F$F$F$Fjanf*6&%#CeGFhpFipFa\n6%FbqF*F[\mF$F$C%>F0F`dn@$4-
Fcw6%Ficl-F76$FhwF0F\tFg[o-Fft6$-Fgil6%-Fcw6$F\tF]arFfv-Ff^n6$-&FD6#Fj]o6&Fin7#
-FhhpFbxFhy7#FiclFb[p/F]u-&FcyF^hqFbbmF$F$F$%+genhvectorGf*Fagp6&FcqF[\mFfzF\qF
$F$C&@$0FiqFfsFjq>F]u-&F"6#.F^[m6$FSF\t>F0Fcr-Figm6$F_en7#-Fft6$-Fe`m6%F]uF\tFa
x/FaxF_enF$F$F$%*protectedG,
I$rayf*6#'Fc]lF[oF$F$F$@%FedmFjq-.F:6#-F[[rFRF$F$F$Fair,
I/convex/dehomogf*6#'Fi[mF[oF$F$F$7$&FS6#;FfsF^^n&FSFhgqF$F$F$F$,
I3convex/dotprodwithf*Fb]l6$F\q%"wGF$F$-%(unapplyG6$-F_`m6#-Fft6$*&&FSFbbmFfsF\
fmFfs/F0;FfsF__mF]uF$F$F$F$,
I1convex/reducevecf*Fb]l6#FcqF$F$C$>F0-%$absG6#-%%igcdG6#-F7FR@%/F0F9FS*&FSFfsF
0FYF$F$F$F$,
I2convex/reduceqvecf*Fb]l6$Fcq%#vlGF$F$C%@%-FgnF`io>F]uFS>F]uF_io>F0-Fi[s6#-F\\
s6#-F76#-F@6$%&numerGF]u@%F`\sF]u*(-%%ilcmG6#-F76#-F@6$%&denomGF]uFfsF0FYF]uFfs
F$F$F$F$,
I3convex/combinevecsf*6$Fc]lFgjrF$F$F$-Fc[s6#,&*&Fi_nFfsF`dnFfsFfs*&Fj_nFfs&Fin
F^xFfsFYF$F$F$F$,
I3convex/maximalsetsf*6%'Ffcn-F^bm6#Fhdl'FhdrFb[o'FddrFb[o6%%#nlGF\qFbaqF$F$C(>
F07#-Fft6$7$F]u-Fas6#&FSFbx/F]uFb[s@$Fgcl>F0-%'removeG6$f*FezF$F$F$52Fj_nF_\o2T
&Fj_nF$F$6&FhdrFinFddrFiclF0>F0-F@6$f*FezF$FjilF$F`dnF$F$F$-Fa_n6$F0Fc_n>F\tFhy
?&F]uF0Fis@$4-F[jo6$f*FezF$F$F$-F`el6$&F_\o6#F\^l&F_\oFRF$F$6&FfcnFSF\qF]uF\t>F
\t7$F[glF]uF\tF$F$F$F$,
I4convex/transposesatf*6$'%$satGF^bm'%(entriesGF`^o6%%%sat2GF\qF]^pF$F$C%>F07#-
F[^n6$F^anFin?(F]uFfsFfsF__mFis?&F\tFj_sFis>F0-Fbbn6$/F\t-F^em6$Fe`l<#F]uF0F0F$
F$F$F$,
I1convex/mat/homogf*6$'F+%)listlistG'Fc]lF^bm6#F\qF$F$7$-Fft6$7$-F76#F`[s&FinFb
bmFa[s-%.convex/originG6#,&-Fas6#F`dnFfsFfsFfsF$F$F$F$,
I1type/POLYHEDRON1f*FezF$F$F$3-Fgn6$FSF\]l0FfwFhyF$F$F$F$,
I1type/POLYHEDRON0f*FezF$F$F$3Fjds-&FcyF^gm6$FS-Fbds6#FcrF$F$F$F$,
I2type/POLYHEDRON_0f*FezF$F$F$3Fjds-&Fcy6#.%/containsrelintGFbesF$F$F$F$,
I3type/POLYHEDRON__0f*FezF$F$F$3-Fgn6$FS%-POLYHEDRON_0G/FdfnFhyF$F$F$F$,
I3convert/POLYHEDRONf*Fez6#%$fcnGF$F$C$@%-%)assignedG6#&FeoFddq>F0F]gs>F0&-F76$
FfsFSFddq@%-Fgn6$F0F_ao-F0Fj_l-FhirFj_lF$6#FeoF$F$,
I2polyhedron/&x/rayf*6$Fc]l%#roGF$F$F$-Fbbn6$-F7FioFSF$F$F$F$,
I3polyhedron/&x/conef*6#%#P1G6+Fep%#PdGFhpF\q%$eqsGFc]lFcqF\hs%#hoGF$F$C->F0-&F
cy6#Fi\r6#-F76#-F@6$&Fcy6#%-convert/CONEGFc]r>F]u-F76$FXF0>FhsFfv>F\wFcr>Ffr,$-
FbdsFfjnFY>FctFfv?(FaxFXFfsFiqFisC&>Fct6$FctF\w>F\t-F76$FX&FUFaco>Fhs6$Fhs-F[u6
'F]uFfrF9-FbdsFf`lF\w>F\w,&F\wFfsF\tFfs>F0-%/convex/motzkinG6%F07#FhsFhy>FctFiy
>F[w-F@6$f*FezF$FjilF$/FSFfvF$F$F$Fct-%.convex/reduceG6#-&FcyFcgl6),(F]uFfsFiqF
YFfsFfs-F@6%Figs-F76$F`rF0F[w-F@6%FigsFhfrF[w-F76$""&F0-F@6&%5polyhedron/&x/hsp
aceG&-F76$FduF06#;Ffs,$FiqFYF[wFct-F@6&Fj\t-F76$""(F0F[wFct-F76$Fc`nF0F$F$F$F$,
I3convex/lindiosolvef*6&'%#rdG%'posintG'F`qF^bm'FaqF^bm'%#RSGFhdl6,FhpF+%#AtGF\
q%"MGFepFe_n%#AyG%%yincG%#v0GF$F$C--F^r6*F`rFcyFh`n.%.equations~andG-FasFg\p.%0
inequalities~inGFS.%+dimensionsG@$3/FinFhy/FiclFhyO-Fgil6%/FiqFhwFhy-&Feo6#.%'_
idmatGFR>F0F]_t>F]u7$F_hs-Fft6$7&-F76#,$&FiclFacoFY-F[^n6$F9,&FaxFfsFYFfsFfs-F[
^n6$F9,&F0FfsFaxFY/Fax;FfsF0>F\t-Ff]qFbx>F0,&F0FfsFSFfs>Ffr-F[`tFbbm>FhsFhy>Fev
7#-F[^n6$F9F_[r?(F$FfsFfsF$0FfrFhyC&>F\w&FfrF^x>Ffr-Fbbn6$/FfsFfvFfr>F[w-&Feo6#
.%+_matvecmulG6$F]uF\w@&/F[wFev@$4-Fcw6$F\wFhsC$@$3Fi_t4-Fcw6$&F\w6#Fe_oFb[pO7#
Fhct>Fhs7$-F7F_tF\w4-F[jo6$f*FezF$F$F$-%6convex/lindiosolve/<=GF][lF$F$6$Fe_nF\
wFhs?(FaxFfsFfsF0Fis@$2-F\[l6$&F\tFacoF[wF9C$>Fct-Fbbn6$/Fax,&&F\wFacoFfsFfsFfs
F\w@$4-Fcw6$FctFfr>Ffr7$-F7FbsFct-F@6$f*FezF$F$F$&FS6#;FfsF_\oF$F$6$F\^tFSFhsF$
F$F$F$,
I4convex/hilbertbasisf*6%'%$allG%(booleanG'FbqFcy'FaipFfp6)FfcnFipFhpFbip%"VGFa
qFhcnF$F$C/>F\tFcbl>F\w-Fby6&F\tFhyFhfn-&Feo6#.%-_selectbasisG6#-F76$Fe]tFin>F0
-F76$F`rF\w>F]u-F76$FhwF\w-&Feo6#.%*_hermite3G6&-Ff]q6$7$-F7Fbbm-F7FbxF\tFisFax
Fhs@$Fgcl>Ficl&Fhs6#;FfsFabm@$/F]uFhyOFhy>F\tFfbl>Fax&Fax6#;,&FabmFfsFfsFfsF\t>
Fhs&FhsFdit>F\t,&F\tFfsFabmFY>Ffr-F_`s6%Fcw-F@6$Fc[s-F]\p6$FhsFfgt-Ffdl6$-F[`tF
f`lFhdl-F]\p6$-Ff]qF_t-Fh]t6&F\tFhyFfr-Fgil6%FSFfv-Ffdl6$-F]\p6$FaxF]uFhdlF$F$F
$F$,
I2face/volume/volobf*Fcdm6.%#rnGFcqFi[mFb\n%#viG%#BLGFjftFaip%#BVG%#OBGFc]lF\qF
j\mF$C$>F0Fcr@'2FXFabmC)>Fax-&%&PFACEGFa\mFR>Fhs-F76$FfsFcr>F`u&%5face/volume/v
erticesGF_t>Ffr-F_`s6$f*FjhmF$F$F$-Fcw6$FewFcrF$F$6$Fd[uFhsFax>F\wF9?&F[wFfrFis
C'>6$FctFev-F`[uFbfl>F]u,&F`uFfs&Ff\u6#-F76$Ffs-F76$FXF[wFY>F]u-F_`m6$F]u-Fft6$
*(-F\[l6$F]u&F_sF^xFfsFd^uFfs&F_sFi]nFfs/F_sFev>F\t-F\[l6$F]uF]u>F\w,&F\wFfs*&F
ctFfs-%%sqrtGFf`lFfsFfs6$*&-%)simplifyG6$F\wF^_uFfs,&-Fas6#FevFfsFfsFfsFY7$-F7F
f_u7$F]u,$*$F\tFYFY/FabmFXC%>F]u,&&Ff\u6#FfisFfs&Ff\u6#-F76$FfsF0FY>F\tFh^u6$F]
_u7#Fi_u6$FabmFhyF$6#Ff\uF$F$,
I0convex/affh2rayf*6#'Fi[m<$%*affhplaneG%*affhspaceGF$F$F$@%-Fgn6$FagsF\o-Fe]l6
$Fcr,$FagsFY,$-Fe]l6$Fags,$FcrFYFYF$F$F$F$,
I-convex/embedf*6''FcqF`^o'F_qF^bm'%#i1GF`^o'%#L2GF^bm'%#i2GF`^oF$F$F$@'Fgcl7%-
F[^n6$F9FiclF_hs-F[^n6$F9,(FSFfsFiclFYFh`nFY2Ficl9(7'FibuF_hs-F[^n6$F9,(F_cuFfs
FiclFYFh`nFY-F7Fd\p-F[^n6$F9,(FSFfsF_cuFY-FasFd\pFY7'-F[^n6$F9F_cuFdcu-F[^n6$F9
,(FiclFfsF_cuFYFhcuFYF_hsF[cuF$F$F$F$,
I/convex/lelim_2f*6$FfcnFi[mF$F$F$-F@6$f*FezF$F$F$-Fbbn6$/F^^nFfv,&FSFfs*&&FS6#
F^^nFfsF_\oFfsFYF$F$6$Fi[mFinFSF$F$F$F$,
I'CONVEX=F$F%E\[lYFe]pf*6&'%#i0GFb[o'FbbuFb[o'F+Figm'FhpF_ao6$F\q%#rkGF$F$C$?(F
0,&FSFfsFfsFfsFfsFinFisC&@$5/&Ficl6#Fb_mF9/&FiclFbbmF9Ff[r>F]u-Fas6#-Fjho6#-Fb[
pFbbm>F`fu,&F`fuFfsF]uFY>Fcfu,&FcfuFfsF]uFYFiclF$F$F$Fi]qf*6$'F+<&%'MatrixG%'ma
trixGFhyFgcs'%&ncolsGF`^o6%FbaqF\qF]^pF$F$C$@%/FSFhy>F0Fin>F0-%*mat/ncolsGFR7#-
Fft6$7#-Fft6$&FS6$F]uF\t/F]u;Ffs-%*mat/nrowsGFR/F\tF`atF$F$F$6$F\al&%'VectorG6#
%$rowGf*6$FipFgft6#FcipF$F$C$>F0Fjir@'FhqFjq/FcblFabm-%-contains/rayG6$-&Fcy6#.
%&_dualGFioFSF]clF$F$F$%%cubeGf*6$F_^o'%"cGF\o6&FfalFfcnF\qFc]lFj\mF$C'@)FhqFjq
/FSF9-F_[l6#Fc^rFjim>FaxFfs>FaxFin>F0f*6$FfcnFcjuF$F$F$7$F^\sFinF$F$F$>F]u7$7#,
$FaxFY7#Fax?(F\tFXFfsFSFis>F]u7$-F76#-F@6%F0F]uFc[v-F76#-F@6%F0F]uFax-&Feo6#.%)
convhullG6#FhhtF$F$F$F\alf*Fez6$FgfsFeimF$F$C%>F]u-F76$F9FS@%/F]uF[ip>F0&FagsFb
dq>F0&Feo6$FcdqF]u@%FdgsFfgs-F_p6#Q3method~not~definedF$F$FhgsF$%)zeroconeGf*6#
F_^oF$Fj\mF$@%FedmFjq-F\\t6)FSFhyFhyFhyFj_tFhyFhyF$F$F$%/cyclicpolytopeGf*6$'Fh
pF]^t'FcqF]^tF\^pF$F$@%FhqFjq-Fa\v6#-Fft6$7#-Fft6$)F0F]u/F]uFe_o/F0;F9,&FinFfsF
YFfsF$F$F$%,iscontainedGf*6$%%arg1G%%arg2GF$F$F$-&FeoF^gm6$FinFSF$F$F$F^`tf*Fi]
vFicsFj\mF$7#-Fft6$7%-F[^n6$F9Fb_mFfs-F[^n6$F9,&FSFfsF0FYFd_oF$F$F$6$F\alFbjmF`
iuFg^rf*Fi]v6#%"bGFj\mF$C%@$FedmFjq>F0-F[`t6#F[fu-F[ip6+.F\]lF[fu&F0Fict7#Fggq7
#F^anFhyF^avF_avF9F$F$F$F`fof*F$F$F$F$@'/&FUFhgq.Fb[o6$,&FiqFfsFYFfs%%MODZG/Fca
v.F\o6$FfavFeo6$FiqFeoF$F$F$Fhof*6#%#A_G6)F+FaipFcqF\qF]^pFc]lFgjrF$F$C(@%-Fgn6
$F0F^bm>F0FS>F0-Ffdl6$FSFgcs>F\tFabm@&/F\tF9-F_[l6#Fhy0F\t-Fas6#Febm-F_[l6#Fjo>
F]uFdjt?(FaxFfsFfsF\tFisC,?(FhsFaxFfsF\t/&F06$FhsFaxF9F$@$2F\tFhsF`cv>FfrFi^n>F
\w*&&F]uF_tFfs&FfrFacoFY>Ffr*&FfrFfsF_dvFY>Fi^nF`fp>F`fpFfr>F^dv&F]uFaco>FedvF\
w?(FhsFfsFfsF\tFis@$0FhsFaxC$>F^dv,&F^dvFfs*&FgcvFfsF\wFfsFY>Fi^n,&Fi^nFfs*&Fgc
vFfsFfrFfsFYF]uF$F$F$%)fullconeGf*Fi]vF$Fj\mF$@%FedmFjq-F\\t6)FSFj_tFhyFhyFhyFh
yFhyF$F$F$F]iof*6$'F+F^bm'%#A2GF^bm6*Faip%#B2GF\qF]^pF[^pFbaqFcqFieqF$F$C(>FfrF
__m>F\w-Fgil6%FdclF9Feds>F0FS@$F^\l>F]uFin>FaxF9?(F\tFfsFfsF$FisC&?(FaxF_jpFfsF
\wFisC$?(FhsF\tFfsFfrFfcvF$@$1FhsFfrC$>F0-Fbbn6%/FhsFe`l/F\t*&Fi^nFfsFgcvFYF0Fb
jn@'1FaxF\w>F[wFe`lF^\l-F_[l6$-F@6$F[[r&F06#;FfsFd[n-F@6$F[[rF]u-F_[l6#Figv>F0-
Fbbn6$/F\tFe`l-F@6$f*Fb]lF$F$F$,&FSFfs*&&FS6#FewFfsF\^lFfsFYF$F$6&F]^pFaxFieqF[
wF0@$F^\l>F]u-F@6$f*Fb]lF$F$F$FihvF$F$F]ivF]uF$F$F$%(voronoiGf*F$6%%#alGFhpFepF
$F$C)>F0Fc]r@&/F0Fhy-F_p6#QCcannot~determine~ambient~dimensionF$F_jqF_bl>F0-F@6
%FfdlF0F^bm@)4-Fgn6$F0FgcsF]cl/Fcdq.Fciv>F0-F@6$f*FezF$FjilF$-%/convex/homog_1G
6%,$FSF^^nFfs-F\[l6$FSFSF$F$F$F0/Fcdq.%)delaunayG>F0-F@6$f*FezF$FjilF$-F\[w6%FS
F_[wFfsF$F$F$F0>F0-F@6$f*FezF$FjilF$-F\[w6%FS,$F_[wFYFfsF$F$F$F0>F]uF^cv@%Fejv>
F\t-Fby6&F]u7#-Fd^r6#,&F]uFfsFYFfsFhyF0>F\t-Fg]o6&F]uFhyFhyF0-%4convex/projecti
on_1GFf`lF$F$F$%+stdsimplexGf*6#F`^v6$F\qFc]lFj\mF$C$@'FhqFjqFjim>F]uFfs>F]u&FU
Fi]n-Fa\v6$7#-F[^nF[]v-Fft6$7%F\`vF]uF^`vFd_oF$F$F$%.permutahedronGf*Fi]vF$F$F$
@%FedmFjq-Fa\v6#-F76#-Fhjm6%Fbbn/FYFfv-&Fafq6#.%(permuteG6#7#-F[^n6#;FfsF[fuF$F
$F$%.crosspolytopeGf*FajuFb]wFj\mF$C$@)FhqFjqFgjuFhjuFjim>F]uFfs>F]uFin-Fa\v6$F
\^w-Fft6$7%F\`vF\vF^`vFd_oF$F$F$%._latticebasisGf*6#'F]q<$FhyFgcs6#FjftF$F$C$-F
`]q6%-Ff]q6$FSF9F%F0&F06#Fb[sF$F$F$Fbhtf*6&'FaipF^bm'%%fullGFfft'%#U_G%&evalnG'
%#V_GFbaw6.F+FbipFjftFceuF\qF]^pFbaqFhp%#a1G%#a2G%#c1G%#c2GF$F$C,@$FiguC%>FiclF
hy>Fb[pFhyF[cv>F0FS>F\wFabm>F\t-F[`tFfjn>F]uF\t>FaxFfs?(FfrFfsFfsF^cvFegvC'>Fct
&F06$FaxFfr?(FhsF_jpFfsF\wFisC+>Fev&F06$FhsFfr@$/FevF9Ff[r>F[w-Fi[s6#-%'igcdexG
6&FctFev.F`u.F_s>Fct*&FctFfsF[wFY>Fev*&FevFfsF[wFY>F0-Fbbn6%/Fax,&*&F_sFfsFi^nF
fsFfs*&F`uFfsF`fpFfsFfs/Fhs,&*&FctFfsFi^nFfsFfs*&FevFfsF`fpFfsFYF0>F]u-Fbbn6%/F
ax,&*&F_sFfsF^dvFfsFfs*&F`uFfsFedvFfsFfs/Fhs,&*&FctFfsF^dvFfsFfs*&FevFfsFedvFfs
FYF]u>F\t-Fbbn6%/Fax,&*&FevFfs&F\tF_tFfsFfs*&FctFfsF[etFfsFfs/Fhs,&*&F`uFfsFiew
FfsFfs*&F_sFfsF[etFfsFYF\t>FctF[w@&/FctF9Ff[r2FctF9C&>Fct,$FctFY>F`fp,$F`fpFY>F
edv,$FedvFY>F[et,$F[etFY@$Fin?(FhsFfsFfs,&FfrFfsFYFfsFisC&>Fev-%&floorG6#*&F]cw
FfsFctFY>F0-Fbbn6$/Fhs,&Fi^nFfsFgdwFYF0>F^dv,&F^dvFfsFbewFY>F[et,&FhewFfsF[etFf
s>FaxF_jp>FiclF]u>Fb[pF\tF0F$F$F$%1furthestdelaunayGFdiv6$F\al%#<=Gf*6$Faq'Fep<
$F[oF\]l6$%#llGFc]lF$F$C$>F0-F[auFR@)FhqFjq-Fgn6$FinF[oC$>F]u-Fe]l6$FinFfs@%/F_
[rFabm-Fhz6#1F9-F\[lF[foF]clFfiu-Fhiu6$FjiuF0F]clF$F$F$%$fanGf*F$6%FcalFeimF*F$
F$C&>F0Fc]r@'/Fcdq.F\jw@%-Fgn6$F0-F^bm6#<$F"Fcy>F]uF"F_bl-Fgn6$F0-F^bm6#<$F\]lF
ccl>F]uFcclF_blZ%>F\t-&F]uF;6$-F@6$f*FezF$F$F$@%-FgnF][l-F76#-&FewFgamFRFSF$F$6
$FeimF]uF0FisFa`oF^pF\tF$F$F$Fjbtf*6$F+Fc]lF$F$F$-F@6$-FdjrFioFSF$F$F$%.emptypo
lytopeGf*Fi]vF$Fj\mF$@%FedmFjq-Fbbn6$/FfsF\av-F[ip6$-F76#-&Feo6#.Fg]vFi`vF9F$F$
F$%*lensspaceGf*6#'F[\mF]^t6'FfivF+FbipFcjuF\qFj\mF$C(>F0F]jq@&Fjiv-F_[l6#-F`]x
Fbam4-Fgn6$F0-F^bmF`aq-F_p6#Q@weights~must~be~of~type~integerF$>F]u-F`]q6%-F@6$
f*FezF$FjilF$7#FSF$F$F$F0FisF\t>F\t-FdoFf`l>Fax*&FSFfs-Fi[s6#-F\\s6$FS&F]uF]`nF
Y-&Feo6#.%(poshullG6#-Fft6$7$*&FaxFfs&F\t6$FhsFfsFfs-F76$FWFiew/Fhs;Ffs-FasFf`l
F$F$F$%-intersectionGf*F$6(FfivFcal%&ineqsGFfhsFcqF]qF$F$C$>F0Fc]r@)Fjiv-F_p6#Q
[parguments~must~be~(rays,~lines~or~cones),~or~((affine)~rays,~lines~or~polyhed
ra)F$-Fgn6$F0-F^bm6#<%F[oFcy%%lineGC(>Fax-F@6$F7-F_fl6%FgnF0Feax>F\t-F@6$F[[r-F
_fl6%FgnF0F[o>F]u-F_fl6%FgnF0Fcy>Ffr7$F`coF[gl>Fhs-Fgil6%F_it-Fas6#F`bt-F76$FX&
F]uF^x@%3-Fbz6$f*FezF$F$F$/FcrFewF$F$6$FcqFhsF]u5/FfrFhy3/FibxFhs-Fgn6$FfrFgcs-
Fby6&FhsF]uFaxF\tF]cl-Fgn6$F0-F^bm6#<%F\]lF`auFaauC(>Fax-F@6$F[au-F_fl6%FgnF0F`
au>F\t-F@6$F[au-F_fl6%FgnF0Faau>F]u-F_fl6%FgnF0F\]l>FfrFebx>FhsFgbx@%3-Fbz6$f*F
ezF$F$F$FccxF$F$FdcxF]uFecx-F[]lF\dxF]clF]axF$F$F$%,_gausselim2Gf*Fgev6&FaipF\f
vFieqF]^pF$F$C'>F0FS>F]uFin>FaxF9?&F\tF0FisC%?(FaxF_jpFfsF$/F[etF9F$>F\t*&F\tFf
sF[etFY>F]u-F@6$f*Fb]lF$F$F$FihvF$F$6&F]^pFaxFieqF\tF]uF^hvF$F$F$%(dotprodGf*6$
Feir'FgjrF[o6$F\qFcqF$F$C$>F]u-Fgil6%Fh\sF__m-Fgil6%-Fgn6$FSF]iuFags-F76$7$FXFX
-F^[nFR@%0F]u-Fgil6%-FgnF[bqFh`n-Fgil6%-Fgn6$FinF]iu-F76$FfsFin-F76$Figx-F^[nFi
oF]cl-F_`m6#-Fft6$*&F`[sFfsF`dsFfs/F0;FfsF]uF$F$F$%+affinehullGf*F$6%FfivFcalFi
hwF$F$C&>F0Fc]r>F]u-F@6$&F\]l6#.FdisF^ex>F\t7%-F76#-F@6%Fe]lF_bxFfs-F76#-F@6%Fe
]lFhaxF9-F76#-F@6%Fe]l-F@6$F7-F_fl6%FgnF0FbirF9@%5Fe]r0,&F_[rFfsFe`xFfsFiq-F_p6
#QParguments~must~be~(affine)~rays,~lines~or~conesF$-Fjfp6#-&Feo6#.%+linearhull
G6$FhhtF[glF$F$F$%)pcomplexGF]jw%.emptypcomplexGf*Fi]vF$Fj\mF$@%FedmFjq-Fj`o6$7
#-Fj_rFRF%F$F$F$%/randompolytopeGf*6%F_^oF_bu'FddrF]^t6%FcjuF\qF]^pF$F$@)F[blFj
q/FinF9Fc\yFgjuFc^rC$>F0-%%randG6#;,$FiclFYFicl-Fa\v6#-Fft6$7#-Fft6$-F0F$/F\tFe
_o/F]u;FfsFinF$F$F$Fj[yf*F$6'FfivFcalFihwFhpFbqF$F$C(>F0Fc]r>F]uFbbx>F\t-F@6$F[
[r7%-F76#F_bx-F76#Fijx-F76#Fhax@$F^[y-F_p6#QGarguments~must~be~rays,~lines~or~c
onesF$>Fax-Fgil6%/F\tFhyF[cx-Fas6#&F\tF^x@%5-F[jo6$f*FezF$F$F$0FcrFewF$F$6$FhpF
axF]u3F]_n50Fd_yFax4-Fgn6$F\tFgcsF]cl-Fg]o6&FaxFhy7%-Fft6$-F76#-F76$F`rFhs/FhsF
]u-Fft6$-F76#Fi[qF]ayF[glFhyF$F$F$F`\pf*6$F+FaipF$F$F$-Fhjm6%FgbtFSFinF$F$F$%*p
rojspaceGf*6#F_buF$Fj\mF$@%FedmFjq-&F\]l6#.%(facefanG6#-Fa\v6$-F76#Fj_t7#-F[^n6
$FYFSF$F$F$Fdgtf*6#Fhev6&FaipFd`vF]^pF]qF$F$C(@$FiguOFhy>F0-Fjho6#-Ff]qFR>FaxFf
v>F\tFfs?&F]uF0FisC$?(F$FfsFfsF$/Fi`lF9>F\t,&F\tFfsFfsFfs>Fax6$Fax&FSFf`lFd[vF$
F$F$F]`rFf\x%+posorthantGf*Fi]v6&FipF^aqF`bsF\qFj\mF$C'@$FedmFjq>F0Fj_t>F]u<#-F
[^nFict>F\t7#-Fft6$-F[]p6$F]uF\iq/FaxFe_o-F\\t6)FSFhyF0F\tFhyF0F\tF$F$F$%*write
polyGf*6%'Fep%,POLYHEDRON1G'%#fnG%'stringG'%%infoGFeey6%%#fdG%$fmtGFhpF$F$C1@&F
[blFjq4F`_p-F_p6#Q;polyhedron~must~be~pointedF$>F0-%&fopenG6$-Ffcp6$FinQ&.polyF
$%&WRITEG-%(fprintfG6$F0QW#~created~by~the~Maple~package~`Convex'~version~1.1.3
|+F$>F\tFcr>F]u-Ffcp6$-F[^n6$Q$~%dF$F\tQ"|+F$@$Fgcl-Fjfy6%F0Q1|+DESCRIPTION|+%s
|+F$Ficl-Fjfy6(F0QU|+AMBIENT_DIM|+%d|+|+DIM|+%d|+|+N_VERTICES|+%d|+|+N_FACETS|+
%d|+F$Fd[n-&F\]lFhblFR-Fas6#Ffw-Fas6#-F76$Fe]tFS-%8convex/writepoly/matrixG6&F0
Q)VERTICESF$F]uFfw-Fehy6&F0Q'FACETSF$F]uFbhy-Fehy6&F0Q,AFFINE_HULLF$F]uFdfn-Fjf
y6$F0Q5|+VERTICES_IN_FACETS|+F$-Fhjm6%%5convex/writepoly/setGF0-F76$Fc`nFS-Fjfy
6$F0Q+|+FAR_FACE|+F$-Fciy6$F0<#-F[^n6#;Ffs-Fi[s6#-F76$""*FS-%'fcloseGFbbmF$F$F$
6$F\al%"=Gf*6$F`qFfhwFhhwF$F$C$>F0F\iw@)FhqFjqF^iwC$>F]uFbiw@%Feiw-Fhz6#/FiiwF9
F]clFfiu-%.contains/lineGF[jwF]clF$F$F$%+wprojspaceGf*F$6$FfivFbipFj\mF$C$>F0Fc
]r@'5Fjiv4-Fgn6$F0-F^bm6#F]^t-F_p6#QAarguments~must~be~of~type~posintF$F`bmFi]r
C$-F`]q6%-F@6$f*FezF$FjilF$F[_xF$F$F$F0FisF]u-F[by6#-Fa\v6#-F76#-Fhjm6%FbbnFdbt
-FdoFbxF$F$F$6$F\al&F]iu6#%'columnGF`iu6$F\alF^bmF`iu6$F\alFeaxf*6$FfcnFgft6#Fi
hwF$F$C$>F0-F[[r6#Fags@'FhqFjqFfiuFc[zF]clF$F$F$%*_hermite1Gf*6$F]awF^aw6,F+Fce
uF\qF]^pFbaqFhpFfawFgawFhawFiawF$F$C(@$FiguF[cv>F0FS>FhsFabm>F]uFfs?(FaxFfsFfsF
^cv1F]uFhsC'>F\w&F06$F]uFax?(F\t,&F]uFfsFfsFfsFfsFhsFisC)>F[w&F06$F\tFax@$/F[wF
9Ff[r>Ffr-Fi[s6#-Fecw6&F\wF[w.Fct.Fev>F\w*&F\wFfsFfrFY>F[w*&F[wFfsFfrFY>F0-Fbbn
6%/F]u,&*&FevFfsFe`lFfsFfs*&FctFfsFh[nFfsFfs/F\t,&*&F\wFfsFe`lFfsFfs*&F[wFfsFh[
nFfsFYF0>F\wFfr@&/F\wF9Ff[r2F\wF9C$>F\w,$F\wFY>Fh[n,$Fh[nFY@$Fin?(F\tFfsFfsF[at
Fis>F0-Fbbn6$/F\t,&Fe`lFfs*&-Fbgw6#*&Fd_zFfsF\wFYFfsFh[nFfsFYF0>F]uFa_zF0F$F$F$
Fi_xf*F$6)FfivFcal%#PlGFipFfcnFcqF]qF$F$C,>F0Fc]r>FhsFhax>Fax7$-F76#F]bxFh^y>F]
uFbbx>F\tF^ex>Ffr,*-FasF_tFfsF^bqFfsF_[rFfsFe`xFfs@$5Fdcl0FfrFiqF]_y>F\w7$F^dtF
`co>Ffr-Fgil6%0F\wFhy-Fas6#Fj`n-Fgil6%0F]uFhyF[cx,&-F76$FXFf_yFfsFYFfs@%33-Fbz6
$f*FezF$F$F$FccxF$F$6$FcqFfrF]u-Fbz6$f*FezF$F$F$/Fcr,&FewFfsFfsFfsF$F$FidzF\t5/
F\wFhy3/F[dzFfr-Fgn6$F\wFgcs-Fg]o6&FfrF]u7$-F76#-F@6$f*FezF$FjilF$-F76#-&F\]l6#
.F[\nFRF$F$F$F\tF^dt7$-F76#-F@6$f*FezF$FjilF$-F76#-F@6$f*6#Fe_nF$FjilF$-Fc[s6#&
-F[jrFRF^xF$F$F$FfwF$F$F$F\tF`coF]clF$F$F$Fd\vf*F$6)FfivFebzFipFfcnFcqF]qFbqF$F
$C+>F0Fc]r>FaxFcjx>F\t7$FejxF]jx>F]u7$-F76#-F@6$F^`oFbbx-F76#F^ex>Fhs,(F^bqFfsF
e`xFfsF_[rFfs@$5/FhsF90FhsFiqF]_y>FfrFebx>Fhs-Fgil6%F]btFibxF[cx@%3-Fbz6$f*FezF
$F$F$FccxF$F$FdcxF]uFecxC%>F\w-Fg]oF\dx>F\tF\ht@%5-F[jo6$%.ray/_isaffineGF\t30F
hsFfs/-FgblFfjnF9-&F\]l6#.%%_c2pGFfjnC$-%(WARNINGG6#Q:no~affine~point~specified
F$-Fj_r6#FatF]clF$F$F$%)readpolyGf*6#Fcey6+Fiey%$secGFfcn%%dataGFcqFhpFepF`bsFd
bsF$F$C-@$FedmFjq>F0-Fcfy6$-Ffcp6$FSFgfy%%READG?(F$FfsFfsF$4-%%feofGFbbmC&>F]u-
%'sscanfG6$-%9convex/readpoly/readlineGFbbmQ#%sF$@$/F]uF9Ff[r>F]u-Ffdl6$F]cxFfp
@+-Fcw6$F]u%;convex/readpoly/matrixsecsGC$-F^r6&FhwF\]l.%0reading~sectionGF]u>F
`x-%7convex/readpoly/matrixGFbbm-Fcw6$F]u<&.%,AMBIENT_DIMG.%$DIMG.%+N_VERTICESG
.%)N_FACETSGC$F^][l>F`x&-F_\[l6$Fa\[lQ#%dF$F^x-Fcw6$F]u<$.%3VERTICES_IN_FACETSG
.%5FACETS_THRU_VERTICESGC$F^][l>F`x-%:convex/readpoly/listofsetGFbbm33/F]u.%,DE
SCRIPTIONG-F[gs6#&%*infolevelG6#F\]l1FXFh_[lC$-F^r6&FXF\]l.%3displaying~section
GF]u?(F$FfsFfsF$FisC%>F\tFa\[l@$/F\tFa`oFbjn-%'lprintG6#-Ffdl6$F\tFfpC$-F^r6&Fh
wF\]l.%1skipping~sectionGF]u?(F$FfsFfsF$0F^\[lF9F$Fdjy@%-F[gs6#&Fax6#Fh][l>Fhs,
&Fea[lFfsFfsFfs-F@6&%5convex/readpoly/nopsGF\][lFaxFhs@$4-F[gsF_t-F_p6#QPcannot
~construct~polyhedron~from~the~given~dataF$@&-F[gs6#&Fax6#.%,AFFINE_HULLG>Feb[l
-FjhoFdb[l-F[gs6#&Fax6#.%*EQUATIONSG>Feb[l-FjhoF\c[l@(-F[gs6#&Fax6#Fj][l>Ffr,&F
fc[lFfsFfsFfsFcb[l>Ffr-FasFdb[l-F[gs6#&Fax6#.%)VERTICESG>Ffr-Fas6#-FjhoF]d[l@$3
-F[gsFbs/FhsFfr>Feb[lFhy@-33F\d[l-F[gs6#&Fax6#.%'FACETSGFcb[lC%@)-F[gs6#&Fax6#F
i^[lC$>FctFhe[l>F[w-Fgil6%-F[gs6#&Fax6#F[_[lFaf[l-F\bs6$Fct-FasF]d[lF_f[lC$>F[w
Faf[l>Fct-F\bs6$F[w-FasF_e[l2Fef[lF[g[lC$>Fct-%8convex/readpoly/makesatG6$F`e[l
F^d[l>F[wFcf[lC$>F[w-F`g[l6$F^d[lF`e[l>FctFif[l-F^r6%F`rF\]l.%Fdescription~of~p
olyhedron~is~completeG>F\w-F\\t6(FhsFhyF^d[lF[w-Fjho6$Feb[lF`e[lFctF\d[lC$-F^r6
%F`rF\]l.%Fconstructing~polyhedron~from~VERTICESG>F\w-Fg]o6&FhsFhyFhyF^d[l3F^e[
lFcb[lC$-F^r6%F`rF\]l.%Tconstructing~polyhedron~from~FACETS~and~AFFINE_HULLG>F\
w-Fby6&FhsFhyFeb[lF`e[l-F[gs6#&Fax6#.%'POINTSGC$-F^r6%F`rF\]l.%Dconstructing~po
lyhedron~from~POINTSG>F\w-Fg]o6&FhsFhyFhyFdi[l3-F[gs6#&Fax6#.%-INEQUALITIESGFcb
[lC$-F^r6%F`rF\]l.%Zconstructing~polyhedron~from~INEQUALITIES~and~AFFINE_HULLG>
F\w-Fby6&FhsFhyFeb[lFcj[lF_b[lF^jzF$F$F$Fc]qf*6%F]awF^awFcaw6-F+FjftFceuF\qF]^p
FbaqFhpFfawFgawFhawFiawF$F$C*@$FiguC$>FiclFhyF[cv>F0FS>FfrFabm>F]u-F[`tFbs>F\tF
fs?(FhsFfsFfsF^cv1F\tFfrC'>F[w&F06$F\tFhs?(FaxFhcyFfsFfrFisC*>Fct&F0Fhhq@$FafwF
f[r>F\w-Fi[s6#-Fecw6&F[wFctF^`zFgcw>F[w*&F[wFfsF\wFY>Fct*&FctFfsF\wFY>F0-Fbbn6%
/F\t,&FcdwFfsFh`zFfs/Fax,&*&F[wFfsF`fpFfsFfs*&FctFfsFe`lFfsFYF0>F]u-Fbbn6%/F\t,
&*&FctFfsFedvFfsFfs*&F[wFfsFi`lFfsFfs/Fax,&FbewFfs*&F`uFfsFi`lFfsFYF]u>F[wF\w@&
Fg_zFf[r2F[wF9C%>F[w,$F[wFY>Fe`l,$Fe`lFY>Fi`l,$Fi`lFY@$Fin?(FaxFfsFfsFatFisC%>F
ct-Fbgw6#*&Fd\\lFfsF[wFY>F0-Fbbn6$/Fax,&F`fpFfsFg]\lFYF0>Fi`l,&F]^\lFfsFi`lFfs>
F\tFhcy>FiclF]uF0F$F$F$F]^rf*Fi]vF$Fj\mF$@%FedmFjq-Fdhp6$7#-F`]xFRF%F$F$F$Fj[pf
*6#'F^bvF^bm6(FhpFcqF+F\qF]^pFc]lF$F$C)@$FiguF`_m>F0Ffs>F\tFS>F]uFe`x@$0Fd_yF]u
-F_p6#Q4not~a~square~matrixF$?(FaxFfsFfsF]uFisC'?(FhsFaxFfsF]u/&F\tFhcvF9F$@&2F
]uFhs-F_[lFbamFidvC$>F0,$F0FY>F\t-Fbbn6%/FaxFiew/FhsF[etF\t>Ffr*&F[etFfs&F\t6$F
axFaxFY>F0*&F0FfsFbb\lFfs?(FhsFahoFfsF]uFis>Fiew,&FiewFfs*&Fda\lFfsFfrFfsFYF0F$
F$F$%/newtonpolytopeGf*6$F[\mFhcs6&%#mlGFbaqFfz%#cpGF$F$C&@$FhqFjq>Fax-%(collec
tG6%FSFin.%,distributedG@&/FaxF9-F_[l6#-Fe\x6#Fh`n4-Fgn6$7#-%'coeffsG6%FaxFinF0
-F^bm6#-%(complexG6#%(numericG-F_p6#Q^ofirst~argument~not~a~Laurent~polynomial~
in~the~given~indeterminatesF$-Fa\v6#-Fft6$7#-Fft6$-%'degreeGFehu/F\tFin/F]uF^]o
F$F$F$%%modzGf*6$'Fip<$F`^oF_\z'%&eldivGF_\z6$%#_rG%'_eldivGF$F$C&@&FhqFjq3F^\l
4-Fgn6$FSF`^oFcjm>F0-Fgil6%5F^\l3FjimFgf\lFSF9>F]u-Fgil6%F^\lFin-Fgil6%3FjimFh\
sFSFhy-&FgavFcgl6$F0-&Fgav6#.%+_normeldivGFbxF$F$F$Fc[wFdivFair,
I%CONE=F$F%E\[lgnF'f*6$Fbq'F+<%F\oF]oFao6&%%newrG%%newlG%&AinvtG%$AllGF$F$@-Fhq
Fjq-Fgn6$FinF\o@(Fj\y-F`]xFdes2F9Fin-FbisFR2FinF9-F\\t6)FcrFbv,$FfwFY-F76$Fg\tF
SFdfn,$FbhyFYFdiy-Fgn6$FinF]o-&Feo6#.FaevFdes3-Fgn6$Fin<$FbguFcgu/-FihuFioF9@%0
-F]huFioFcr-F_p6#QGambient~dimension~and~map~do~not~matchF$-Fii\lFbamFd_tFhj\lC
(>Fax-Fgil6%F_hxFin-Ffdl6$FinFgcs@$0-Fas6#F]gnFcrFej\l>F]u-F]\p6$FaxFbv>F0-F@6$
F[[r-F]\p6$FaxFfw>F\tFco@%0F\tFjoC%-F^r6%FXFcy.%,regular~mapG>F\t-Ff]qFf`l-F\\t
6'Fa[]l-FjhoFe^pFci\l-Fjho6$-F]\p6$F\tFdfn-F]\p6$F\tFbhyFdiyC$-F^r6%FXFcy.%-sin
gular~mapG-Fg]o6&F^bqFhyF^hvF0F$F$F$%.issimplicial1Gf*Faw6#F_]rF$F$C$>F0,&-Fgbl
FRFfsFYFfs@%FedmFjq3F`_p-Fbz6$f*FezF$F$F$/F__mFewF$F$6$F_]rF0FdiyF$F$F$%)issimp
leGf*FawF$F$F$@%FedmFjq-&F66#.Fe]]l6#-F[juFRF$F$F$%%dualGf*FawF$F$F$@%FedmFjq-F
\\t6)FcrFdfnFbhyFdiyFbvFfwFci\lF$F$F$F]_lf*F$F$F$F$3Ff_l4-&F66#FghlFj_lF$F$F$%0
incidencematrixGf*Faw6&F\qF]^p%#irG%$irnGF$F$C&@$FedmFjq>F\tFdiy>Fax-Fgil6%5/F6
.Fcy1F9FajyFe`x,&Fe`xFfsFYFfs-Fbjm6&Figo;FfsFax;FfsF^hy7#-Fft6$-Fft6$/F[foFfs/F
]u&F\tFbbm/F0Fi`]lF$F$F$F\alf*6$Fbq'Fc_vFdax6$FhpFipF$F$C$>F0Fcr@)FhqFjqF^iwC$>
F]u-F[[rFio@%/F0F_[r-Fhiu6$FSF]uF]cl-Fgn6$FinFeaxC$>F]uF_hs@%F_b]l-Fd[zFab]lF]c
l-&Fcy6#.Fi_lFf_vF$F$F$Fghlf*6$FealFhcnF$F$F$@'FhqFjq-F]blF`ilFcjm33/FcrFcbl/Fb
elFedl/FbvFbdlF$F$F$Fadmf*FawF$F$F$@%FedmFjqFfdmF$F$F$F]sf*FawF$F$F$@%FedmFjqFf
wF$F$F$Fjblf*FawF$F$F$@%FedmFjq,&F]hmFfsFbfnFYF$F$F$F`hqf*Faw6$FdbsF\qF$F$C%@$F
edmFjq>F0Fdiy7#-Fft6$-&FfhlFcgl6&Fh[nFbcsFSFfs/F]uF]itF$F$F$Fi_lf*F]c]l6%F]]rF^
]r%$nl2GF$F$C'@(FhqFjqF_c]lFcjm0FcrFcblF]cl>F0Fbv>F]uFbdl>F\tF_[r331FffnFbfn5Fe
el31FabmF\t1-Fas6#-Fjho6#7$FhhtFghtF\t-Fbz6$f*FezF$F$F$-FhiuF_joF$F$6$FhcnFinFf
wF$F$F$%)boundaryGf*6#'Fbq<$Fbey%&CONE1GF$F$F$@%FedmFjq-&&F66#.%%_domGF;6$-F@6$
&FDFjgl-&F6F^hqFRF%F$F$F$%*linealityGf*FawF$F$F$@%FedmFjq-Fhhp6#-&FcyF]dlFRF$F$
F$Fh\lf*Faw6#FipF$F$C$>F0Ffw@'FedmFjqFjiv7#-F[^n6$F9Fcr-Fc[s6#-F_`m6#FghtF$F$F$
Fagmf*FawF$F$F$@%FedmFjq-F@6$Fas-&F66#.%&facesGFRF$F$F$Fiamf*FawF$F$F$@%FedmFjq
-Fbgl6&<#-F[^n6#Fj`]lF^anFSF9F$F$F$F[\nf*FawF$F$F$@%FedmFjqFbvF$F$F$%)islinearG
f*FawF$F$F$@%FedmFjq-Fhz6#/FfwFhyF$F$F$%-incidentraysGf*FawF$F$F$@%FedmFjqFdiyF
$F$F$F`i]lf*Faw6)%#ldGFhp%#adG%#FtGF\qF[^pFieqF$F$C-@$FedmFjq>F\wFgdm>F0,&-FasF
_coFfsF\wFY>F]u-&F6FhblFR>F\tFcr>Fax-Figm6$;Fdaz,&F\tFfsF\wFY7#-F[^n6$FhyFhcy>&
Fax6#-Fgil6%/&F6FHFd`]lF0FY7#-&F6F]dlFR>F`x7#-F[bmFR@$2F^]lF]uC$>&Fax6#F^]l-&F6
6#.%'_edgesGFR@$2,&F0FfsFXFfsF]u>&FaxFh\wFcg]l?(FfrFd]^lFfs,&F]uFfsF^^nFfsFisC$
-F^r6&F`rF6%/face~dimensionGFfr>&FaxFbs-Fhjm6%&FD6#.%0_hspacenos2faceGFS-Ffdl6$
<#-Fft6$-F76#-%5convex/succhspacenosG6$FSFhs/Fhs&Fax6#F^gwF^bmFaxF$F$F$%'isface
Gf*6%FealFhcn'F*Ffp6$%#r1GF-F$F$C%@(F[blFjqF_c]lFcjmF]e]lF]cl>F0Fbel@'3/F0F^an/
F`\^lF\avC$@$Fgcl>Ficl-&F\]lF]dlFioFis3Fdc]l-F`el6$F0FedlC%>F]u-Fffl6$FinFght@$
Fgcl@%F^`^l>Ficl-Fbbn6$/Ffs.F`\uF]u>FiclF]u3Fido/-Ffdl6$-FehlFbxFhdlF0F%F$F$F$F
]gpf*FawF[imF$F$C$>F0Fcr@'FedmFjqF`\s-F_p6#QAargument~must~not~lie~in~0-spaceF$
-F[]l6&F0F[_xFhyFhyF$F$F$Ffbnf*FawF$F$F$@%FedmFjqFbfnF$F$F$FjdmF9F^[of*FezF$F$F
$-&F[g]lFbdq6$-Fjf]l6#F[_xFTF$F$F$F_dlf*FawF$F$F$@%FedmFjq-Fbgl6%F^an<#-F[^n6#;
FfsF`hyFSF$F$F$F\^of*6)F_^oFa^o'FipF^bmF_bsF^^tF_^t'FdbsF^bmF$F$F$-F66'FS,&FSFf
s-Fas6#F_cuFYFh`nF]_t-Fas6#9)F$F$F$Ff_of*6$FbqFeir6$FepFe\sF$F$C&>F0-F[ip6%F\av
-F76$FW-F[is6$FS-&Feo6#.F\dyF^x,$F^hyFY@&FhqFjqFjimOF0>F]uFjaq@%/F_[rFcr-%9poly
hedron/image/similarG6%F0FfsF]uF]clF$F$F$FghmFcb^lFa]^lf*Faw6%F`bsF\qFhpF$F$C&@
$FedmFjq>F0Fci\l>F\t,(F[^]lFfsF][^lFYFYFfs7#-Fft6$-Fbgl6&FbcsFh[nFSF\t/F]u;,&-F
gil6%Fc`]lF9F_jyFfsFfsFfsFabmF$F$F$F_cnf*FawF$F$F$@%FedmFjqFdfnF$F$F$Fiflf*Faw6
+FfhsFi`xFcipFgjrFcjuFc]lF\q%#hnG%#okGF$F$C,>F\tF]jq@&Fc_y-F_[l6#Fb\^l4-Fgn6$F\
tFbjqF_bl>F\t-Fgil6%F_\^l-F@6$F[[rF\t-F@6%Fe]lF\tFfs@$50FcrFd_yFa`yF]cl>F0Fdfn?
&FfrF\tFis@$-F[jo6$f*FezF$F$F$0F[[lF9F$F$6$Fc]lFfrF0F`cv>F]uFbhy>F[wF^an?(F\wFf
sFfsF_[rFisC&>Fax&F]uFfjn>FctFis?&FfrF\tFisC$>Fhs-F\[l6$FfrFax@&2FhsF9F`cv2F9Fh
s>FctF%@$Fct>F[w-F^em6$F[w<#F\w-Fa^^l6$FSF[wF$F$F$F\]nf*FawF$F$F$@%FedmFjqF^_pF
$F$F$Fj]of*6&F_buFcalFihwFcipF$F$F$-F[ju6#-Fby6&FS-F@6$F[juFinFiclFb[pF$F$F$Fea
oFcb^lFedpFcb^l%/incidentfacetsGf*FawF$F$F$@%FedmFjqFci\lF$F$F$%&edgesGFee^lFJF
cyFeglf*F$F$F$F$-F[ip6$Fd`]lFUF$F$F$%(hspacesGf*FawF$F$F$@%FedmFjqFbhyF$F$F$Fj`
qFcb^lF^hpf*6$Fbq'%&basisGFfp6&FhpFipFbipF\qF$F$C%>F]u-&F6F[sFR>F0F_[^l@'FhqFjq
3/F_[rF0-&F6Fj\nFRC&>F]u-Ff]q6$F]uF]hm>F\t-Fgil6%F^\l-F`]q6%F]uFisFin-&Feo6#.Fa
^z6$F]uF%?(FaxFfsFfsF0Fis@$0-Fi[s6#Fbb\lFfsOF%FisF%F$F$F$F^g]lF"Ffyf*6&F_bu'Fca
lF^bm'FfhsF^bm'Fi`xF^bm6(%$Cl2G%%eqs2G%'ineqs2GFbqF\q%#NCGF$F$C&@%Fd_tC%>Fax-Fi
i\lFR>F]uFicl>F\tFb[pC'>Fhs-%,std/findmaxG6$&Fcy6#.FfbnFin>Fax&FinF_t>F0-Fbbn6$
/FhsFfvFin>F]u7$-Fft6$-F76#-F76$FduFhs/FhsF0-F7Fg\p>F\t7$-Fft6$-F76#-F76$Fe]tFh
sF[`_lFdcu-F^r6&FXFeo.%.starting~withG-&-F76$FfsFax6#.F\^o6#-F76$FWFax>Ffr-F_[t
6%FaxF]uF\t@%3/F\bnFj[r/-F76$F`rFfr-F76$F`rFax-&FcyFiixFaco-Fi[tFbsF$F$F$Fdisf*
FawF$F$F$@%FedmFjq-F[ip6$Fd`]l-F76$;FXFc`nFSF$F$F$FfeqFcb^l%-hilbertbasisGf*6$F
bqFhftF$F$F$@%FhqFjq-Faft6$FisFUF$F$F$F^juf*FawF$F$F$-F[ip6+FagsFcrFdfnFbhyFdiy
FbvFfwFci\l-F76$;FcjyFYFSF$F$F$%*isfulldimGf*FawF$F$F$@%FedmFjq-Fhz6#FcfsF$F$F$
FGFfhlFi\rf*F$62FbqFcalFhpFfcnFipF`bsF`qFaqFdbs%#nrG%#niGF\qFj_]l%#iiG%#SrG%&Si
neqGF$F$C2>F]uFc]r@&4-Fgn6$F]u-F^bm6#FcyFcjmFjimO-Fbis6#F]cx>F\t-F_`m6#-F76#-F@
6$&FcyF_hmF]u>82<#-F[^n6#;Ffs-F_`m6#-Fft6$-Fas6#FhfrFeel>83<#-F[^n6#;Ffs-F_`m6#
-Fft6$-Fas6#Fc]tFeel>FaxFfv>FhsFfv>FfrFfv>F\wFfv>F[wFfv>FctFfv>F_sF9>FdsF9>FhrF
9?&F0F]uFisC->Fax6$Fax-F76#-Fhjm6&F[uF\tFa\tF_s>F\w6$F\w-F76#-Fhjm6&F[uF\tF\]tF
_s>Fhs6$Fhs-F76#-Fhjm6&F[uF\tFhfrF_s>F[w6$F[w-F76#-Fhjm6&F[uF\tFc]tF_s>FevF\f_l
>F`uFhf_l>Ffr6$Ffr-F76#-F@6'%5cone/&x/addincidenceGFe\t<#-F[^n6#;FfsF`uF_f_lFhr
>Fct6$Fct-F76#-F@6'Fei_lFf]t<#-F[^n6#;FfsFevFce_lFds>F_s,&F_sFfsFfisFfs>Fds,&Fd
sFfsFevFfs>Fhr,&FhrFfsF`uFfs-F\\t6)F\tFd[vFa[t7#Ffr7#F\w7#F[wFiyF$F$F$%&polarGf
*FawF$F$F$@%FedmFjq-&F6FK6$-&F66#.F\_]lFRFYF$F$F$F\fsf*6$Fbq'FipF[oF$F$F$@%FhqF
jq3-Fbz6$f*FezF$F$F$/-F\[l6$FSF_\oF9F$F$6$FipFinFdfn-Fbz6$f*FezF$F$F$2F9Fb\`lF$
F$Fd\`lFbhyF$F$F$F_erf*FawF$F$F$@%FedmFjq3F`_p/F^hyF[^]lF$F$F$F`erf*F`h\l6&%&ne
weqG%(newineqG%%AinvGFc^tF$F$@+FhqFjq-Fgn6$Fin<$F\oF]o-&FcyFK6$FS-Fgil6%Fj\y%)i
nfinityG*$FinFYFd_t@%/FcrF9-F_p6#QXcannot~determine~ambient~dimension,~please~u
se~a~MatrixF$Fej\lF\j\l@%F^^`l-Fii\l6#Fdj\lFej\lC(@$0Faj\lFcrFej\l>Fax-Ff]qFio>
F0-F]\p6$FaxFdfn>F]u-F@6$F[[r-F]\p6$FaxFbhy>F\tFco@%F]\]lC$F_\]l-F\\t6'Fa[]l-Fj
ho6$-F]\p6$F\tFbv-F]\p6$F\tFfwFci\l-FjhoF[foFdiyC$F_]]l-Fby6&F^bqFhyFijqF]uF$F$
F$Fehnf*6%FealFhcn'FbqFfp6#%#CIGF$F$C$@(F[blFjqF_c]lFcjmF]e]lF]cl@%5Fdc]lF^`^lC
%>F0-&F6Fdy6&Fcr7$FSFinFhyFhy@$Fgcl>FiclF03-&F66#.Fb_^l6$F0FS-Fda`l6$F0FinF%F$F
$F$F\hrFcb^lFair,
I&CFACE=F$F%E\[lD%%succGf*FcdmFawF$F$C$>F0Ffw@'FhqFjq3-Fgn6$F0F\]l/FcrF^an-&F\]
lF_]^lFbbm-Fhjm6%&F6Fb^^lF0-F]_^lFga`lF$F$F$F\_]lf*FcdmFawF$F$C%@$FedmFjq>F0Ffw
-Fed]l6&FbvFcr-&FcyFg[`lFbbm,*FfisFfs-Fas6#Fa\tFY-Fas6#F\]tFYFci\lFYF$F$F$F]_lf
*F$F$F$F$34-FgjyFj_lFf_lF$F$F$%'corankGf*FcdmF$F$F$@%FedmFjqFci\lF$F$F$Fghlf*F$
F$FjilF$-Fhz6#F\d`lF$F$F$Fadmf*FcdmFawF$F$@%FedmFjqC$>F0Ffw-&F[g]lF_hmFbbmF$F$F
$%(maximumGf*F[]r6%FbqFbalF*F$F$C%>F0Ffw>F]uFc]r@'4-Fgn6$F]uF[_rFcjm-F[jo6$f*Fe
zF$F$F$0FfwFewF$F$6$FbqF0F]u-F_p6#QIarguments~must~belong~to~the~same~domainF$-
Fjb`l6$F0-Fcan6#-Fft6$F[en/F\tF]uF$F$F$F]sf*Fcdm6$FipF\qF$F$C%@$FedmFjq>F0-F76$
FhwFfw7#-Fft6$Fh[n/F]uFcrF$F$F$%$&<<Gf*F__lF$F$F$@)FhqFjqF^ilFcjm0FfwF^`lFhe`l3
/Fci\l,&-F76$Fg\tFinFfsFfsFfs-Fg_l6$FSFinF$F$F$Fjblf*FcdmF$F$F$@%FedmFjq,&-Fas6
#-F76$F`rFfwFfs-&Ffhl6#.%%rankGFRFfsF$F$F$Fi_lf*F__lF$F$F$@)FhqFjqF^ilFcjmF`g`l
Fhe`l-F`el6$FcrFcblF$F$F$%)_faceseqGf*6%FbqF`_lF-6*%$rn1G%$rn2G%$hn1GF]qF`bsF\q
F*Fb\nF$F$C)>F0Fcbl>F]uF[_o>F\tFbdl>FhsFci\l>F[wFfv?(F$FfsFfsF$0F0F]uC$@%F]`^lC
%>F0<#F^hy>F\t&FhsFhgq>F\w-Fidn6%F0F\tFSC&>Fax7#-Fft6$-Fcan6$FjhnF\t/Ffr-F[]pFe
^p>F\t&Fax6#-Fh^_l6$FasFax>F\w-Fjb`lFghr>F0-F76$FXF\w>F[wFjvF[wF$F$F$Fh\lf*Fcdm
F]h]lF$F$C$>F0-FehlFR@'FedmFjqFjiv7#-F[^n6$F9-FadmFRFdh]lF$F$F$%(minimumGf*6#F\
[p6$FfivFfalF$F$C&>F0Fc]r@$Fh^rFcjm>F]u-F26#-&F66#.Fid`l6#-F76#-F@6$&F6F\juF0@'
FhdoF^p5/F6.Ffhl-%7convex/raynos/isaffineG6$Fbar-F76$FcjyFfw-Fa]alFbx-Fc`^lF_hy
F$F$F$Ffbnf*FcdmF$F$F$@%FedmFjq,&-Fas6#-F76$FduFfwFfsFci\lFfsF$F$F$F\^of*6$'Fc[
uFhdl'Fjf^lFhdlF$F$F$-F66$F__mFh`nF$F$F$Ff_of*Fjhm6$FbqFepF$F$C%>F0Ffw>F]u-F26#
-&Fd`u6#Ff_oFfdo@%FhdoF^p-&F`\uFcgl6&-F^em6$Fcr<#-Fas6#FdbrFbvF]uFci\lF$F$F$F\]
nf*FcdmF$F$F$@%FedmFjq/F]h`lFhyF$F$F$Fc\mf*Fcdm6$Fbq%$rnlGF$F$C&>F0Ffw>F]u-F]_^
l6$-F[juFbbm-Fa]alFR@&FedmFjq3/F6Faa^l4-&F\]l6#.%*isboundedGFbbm>F]u-F_fl6%Fg]a
lF]u-F76$FcjyF0-F@6$Fa]al-Fhjm6&Fjb`lFh`alF]u,&F_h`lFfsFYFfsF$F$F$%'raynosGf*Fc
dmF$F$F$@%FedmFjqFcrF$F$F$%*hspacenosGf*FcdmF$F$F$@%FedmFjqFbvF$F$F$%.convert/P
FACEGf*Fjhm6%FbqFepFc\nF$F$C'>F0Ffw@&FedmFjq/FfisF9F\b^l>F]u-&Fd`u6#F]gpFbbm>F\
t-Fgil6%/FdbrFhfr-Ff_al6&FcrFbvF]uFci\l-&F`\uF\ju6$-Fffl6$-F[juFbx-F76#-&Ffhl6#
.F^[_lFR-F^r6%F`rFfhl%:computing~supporting~faceG@%-Fg]al6$Fbdn-F76$FcjyF]uF\t-
Fc`^lFbxF$F$F$Feglf*6&Fc[uFjf^lFbq'FheuF`^oF$F$F$-F[ip6'F6FSFinFicl-Fgil6%Fgcl-
Fgil6%2F__mFh`n,*F[_oFfs-Fas6#-F76$F`rFiclFY-Fas6#-F76$FduFiclFY-Fgil6%1F__mF`r
F__m-Fas6#-Fjho6#-%/CFACE/listraysG6%-F76$FhwFiclFS-F^r6%F`rF6%/computing~rankG
FY-Fgil6%1Fh`nF`rFh`n-Fas6#-Fjho6#-Fdfal6%-F76$Fe]tFiclFin-F^r6%F`rF6%1computin
g~corankGFb[pF$F$F$F^[_lf*Fcdm6$FaqF\qF$F$C%@$FedmFjq>F0-F76$Fe]tFfw7#-Fft6$Fh[
nFavF$F$F$F^hpFa[_lF^g]lFcy%'domainGf*FcdmF$F$F$@%FedmFjqFfwF$F$F$Fdisf*Fcdm6(F
bqFipF`bsF\qFeimFhcnF$F$C*@$FedmFjq>F0Ffw>F]uFhfr>F\tFe\t>Ffr-Fi[t6#-F\\t6)Ffis
Fa\t7#-Fft6$Fedv/FaxFcr7#-Fft6$F[etFeialF\]tFc]tFhy@$F\aal>Ffr-F_jzFbs>FhsFd`u@
%/Fhs&FhsFHFfr-&FhsFcgl6$Ffr-&Fd]o6#.FchalFbbmF$F$F$Fch`lf*FcdmFawF$F$@%FedmFjq
C$>F0FfwFdc`lF$F$F$F\hlFfhalF^juf*FcdmFawF$F$C$>F0Ffw-Fidn6&FbvFcrFh`alFdc`lF$F
$F$Fi\rf*F$6)FbalFcalFipFi[mFc[uFjf^lF\qF$F$C+>F0Fc]r@&Fe]r-&FcyFgamF\^xFh^rFcj
m>F]u-F@6$&FfhlFejalF0>F\tF^an>FaxF^an>FhsF9>FfrF9?(F\wFfsFfsFabmFisC&>F\t-F^em
6$F\t-F@6%F_`m-F76$FX&F0FfjnFhs>Fax-F^em6$Fax-F@6%F_`m-F76$F`rFh\blFfr>Fhs,&Fhs
Ffs-Fas6#-F76$FhwF[i^lFfs>Ffr,&FfrFfs-Fas6#-F76$Fe]tF[i^lFfs-Fed]l6%F\tFax-&F[g
]lF\isFe\vF$F$F$F`erf*6$FfalFah\l6$FbqFhcnF$F$C%>F0Ffw>F]u-F26#-&Fd`uF[frFfdo@)
FhdoF^pF_o-&FfhlF\ju6#-Fffl6$Fical-F76#-F]\p6$Fi^`lF\dal3Fih\l0FinF9-Fbbn6$/Fhw
F]uFS-Ff[blFbxF$F$F$Fd^^lf*6$'Fbq<$FcyF\]lFg^alF]d]lF$F$@%Ffaq-Fidn6&Fei]lFinFS
F9C$>F0Fdiy-Fidn6&-Fcan6#-Fft6$Fh[n/F]uFinFinFS&FUFjcpF$F$F$%-_raynos2faceGf*6$
FbqFc[uF$F$F$-Fa]al6#-Fjb`l6$F[_]lFinF$F$F$Fair,
I%lineFcirFair,
I;polyhedron/image/newvertexf*6%FipFcjuFc]l6$%#arGFj_]lF$F$C$>F[fo-F76#Fbgz-F[[
r6#7$-F76#,&*&FinFfsF0FfsFfs*&F]uFfsFiclFfsFfsF]uF$F$F$F$,
I;polyhedron/image/newhspacef*6%Fi[mFd`vFc]l6$%#ahG%#ihGF$F$C%>F[foFjabl>F0Fbbb
l-F[[r6#7$Fght,&F]uFfs-F\[l6$FiclF0FYF$F$F$F$,
I9polyhedron/image/similarf*6%'FepF\]lFbjuFhcs6$FipFjc_lF$F$C%>F0Ffw>F]uF_jy-F[
ip6*F\avFcrFbv-&Feo6#.Fhex6$Fbv7$-Fgil6%F]i\l-F76#&F06#F_ix-F76#,$FgdblFY-F76#-
F@6&Fcabl&F06#;Fa_zFYFinFiclFci\l-Fjho6$-F@6&FdbblFdfnF\^`lFicl-F@6&FdbblFbhyF\
^`lFiclFdiyFajyF$F$F$F$,
I<FAN/simplicialsubdiv/insertf*6$FbqFa\n6$%"eGFcqF$F$C%>F]uF[^]l>F0,&F^hyFfsF]u
FY@%F`\sC$>&FinFbx7$-F76#FefblFSFfv7$FSF0F$F$F$F$,
I:convex/facefan/facet2conef*6&'F*FfhlFcqFihwF`q6$Fbq%#dhGF$F$C$>F]u-F[jr6#&F\d
alF^x@$0&F]uFi]nF9C$>F0-FhhpFR-F\\t6)FinFicl-F@6$f*FezF$FjilF$F_gzF$F$F$FhfrFe\
tFb[p-F@6$f*FezF$F$F$-F_^s6$FbgzFewF$F$6$F_gblF]uFc]tFf]tF$F$F$F$,
I<FAN/stellarsubdiv/subdividef*6&FgftFhp%#lrGF`^t6$F*FihwF$F$C%@$54-F`el6$Fb[pF
bel3/FhcuFfs-&Fcy6#.F_erFRFg[o>F]uFbv-Fft6$-Fgil6%-F`el6$Fb[p-Ffdl6$-FehlFbbmFh
dlFfv-Fbbn6$/F`rF]u-Fg]o6&Fin7#-FhhpFbbmFhyFicl/F0-F[hrFRF$F$F$F$,
I<FAN/regularsubdiv/subdividef*6&FbqFhpFihblFa^t6'F*%$rCSG%$sCSGFhcnFcqF$F$C)@$
F^iblFg[o>F]uFfv>F\tFfv?&F0FijblFisC%@$F\jblFf[r>FaxFdjbl@%-FejpFaco>F]uF__z>F\
tFe_z>Fhs-Fas6#&FiclF^x>&FiipF_t7$-F76#Fa\clF]uF\tF$Fg`qF$F$,
I9convex/readpoly/readlinef*6#Fiey6#FfcnF$F$?(F$FfsFfsF$FisC$>F0-%)readlineGFR@
&F`\s-F_[l6#Fa`o5/F0Fa`o0FebmQ"#F$-F_[lFbbmF$F$F$F$,
I:convex/readpoly/listofsetf*Fg\cl6'FfcnFcq%#ssG%#seGFcjuF$F$C%>F\tFfv?(F$FfsFf
sF$FisC(>F0-Fb\[lFR@$Fb]clFbjn>F]u,&&-F_\[l6$F0Q$|fr%nF$F^xFfsFfsFfs>FaxFfv?(F$
FfsFfsF$FisC&>Fhs-F_\[l6$&F06#;F]uFYQ7%d%d%d%d%d%d%d%d%d%d%nF$@$0Facz"#6C$>Fax6
$FaxF^dtFbjn>Fax6$Fax-F76$FbjrFhs>F]u,&F]uFfsF]j`lFfs>F\t6$F\t-Ffdl6$-F@6%F_`mF
d[vFfsFhdl7#F\tF$F$F$F$,
I;convex/readpoly/matrixsecs<(Ffj[lFgi[lFad[lFhb[lF`c[lFce[lF$,
I5convex/succhspacenosf*6$F\`bl'F*<$FfhlF`\u6&Fjf^lF`bsFeqF\qF$F$C&>F0Fbdl>F]uF
ci\l>F\t7#-Fft6$-Fcan6$F0Fedv/Fax-F[]p6$Fei]lFcbl7#-Fft6$F[et/Fax-Fh^sFf`lF$F$F
$F$,
I-convert/CONEFefsF$,
I0convex/addanglef*6&Fc]l%#v1G%$v12G%$v13G6#FgjrF$F$C$>F0,&FSFfsFinFY7$-%&evalf
G6#-%'arctanG6$-F\[l6$F0Ficl-F\[l6$F0Fb[pFSF$F$F$F$,
I*mat/nrowsf*6#F+F$F$F$@'Fh\sF__m-Fgn6$FSFcgu-F76$7%FXFfsFXFjgx-F76$7$FfsFfsFSF
$F$F$F$,
I*mat/ncolsf*FfcclF$F$F$@'Fh\sFedsFhccl-F76$7%FXFXFXFjgx-F76$7$FfsFXFSF$F$F$F$,
I+POLYHEDRON=F$F%E\[l`o%(surfaceGf*6#FepF[imF$F$C$>F0-&F\]lF[__lFR@)FedmFjqF`\s
-&F`\u6#.F\ecl6#-&F\]lFgamFRFcfo,$-&F`\u6#.%'volumeGFheclFXF9F$F$F$F^byf*6#'Fep
%,POLYHEDRON0GF$F$F$@%FedmFjq-&F\]l6#.%*normalfanGFj^]lF$F$F$F'f*6%Fep'F+<%F[oF
\oFaoFeir6&FhpFgh\lFieqFe\sF$F$C$>F0-&F\]lF_hmFR@'F[blFjqF_o@)30FinFhy5F_hx0Faj
\lF9C%>F]uF][]l>Fax-Fgil6%F^\lFiat-Ffdl6$FiclF^bm@%50-FasFid_lF00F^bqF_[rFej\l-
F_jz6#-Fg]`l6$FS-FccsF__z53Fgcl0F_hclFhy34F_hx0-F76$%0matrix_OP_ncolsGFhhxF0Fej
\l-&F\]lFa_rFR-Fj_rFbamFc^rC$@'Fih\lC$>F\tFin>Fax-Fgil6%F^\l7#-F[^n6$F9F0F_hclF
^\lC$>F\tFfs>FaxFjaqFcjm@)0F^bqF0Fej\lFdiclFS0F\tF9-Fce^l6%FSF\tFax-F_jz6#-Fg]o
6&F^]lFhyFhy7#-Fe]l6$FaxFfsF$F$F$%)verticesGf*F^eclF$F$F$@%FedmFjq-F@6$%.convex
/affineG&Ffw6#;,&F_jyFfsFfsFfsFYF$F$F$Fe]]lFf]]lF\_]lf*F^eclF$F$F$@%FedmFjq-Fjf
pFj^]lF$F$F$Fc^]lFd^]lF]_lFa_]lFg_]lFh_]lF\alf*6$Fep'Fc_v<&FbirF[oFeaxF\]lFga]l
F$F$C$>F0Fcr@+FhqFjqF^iwC$>F]uFbiw@%F_b]lF`b]lF]cl-Fgn6$FinFbirC$>F]u-Fe]l6$F_h
sF9@%F_b]lF`b]lF]clFbb]lC$>F]uF[]dl@%F_b]lFgb]lF]cl-&F\]lFh_lFf_vF$F$F$FghlF\c]
lFadmFec]lF]sf*F^eclF$F$F$@%FedmFjq-F@6$Fe[dl&FfwF]jyF$F$F$FjblFic]lF`hqf*F^ecl
F]d]lF$F$C%@$FedmFjq>F0Fdiy7#-Fft6$-Ff_alFfd]l/F]u;Ffs,&FabmFfs-Fgil6%Fe`]lF9FY
FfsF$F$F$Fi_lFhd]lFbf]lFcf]l%)plotdataGf*6#'Fep%)POLYTOPEG6$Fhp%%optsGF$F$C&@&F
hqFjq4-Fcw6$Fbgcl7$FXF`r-F_p6#QHargument~must~lie~in~2-space~or~3-spaceF$>F]u-F
gil6%F^\l-F76#-Ffdl6$Fg]w%,PLOToptionsGFfv>F0-FjblFR@*/F0F`r-%)POLYGONSG6$-F76#
-F@6$%8convex/orderplanepointsG-F@6$&F`\u6#.F`[dl-&F\]lF^hqFRF]uFhfo-Fb`dl6$-Fh
`dl6#-&F\]lF\adlFRF]uFcfo-%'CURVESG6$FdadlF]uF`\s-Fgi[l6$-F7FcadlF]uF$F$F$Fh\lf
*6#FaeyF$F$F$@%FedmFjq-Fe[dl6#-Fe\lFRF$F$F$FagmFhh]lFiamFai]lF[\nf*F^eclF$F$F$@
'FedmFjqF_j]lFjo-F@6$Fe[dlFbvF$F$F$Fbaalf*F^eclF$F$F$@%FedmFjq3/FajyF9F`_pF$F$F
$Fji]lf*F^eclF$F$F$@%FedmFjq-Fhz6#/Ffw7#FcesF$F$F$%)isaffineGf*F^eclF$F$F$@%Fed
mFjq-Fhz6#/F^hyFfsF$F$F$Fbjzf*6#'FepF]`bl6*FipF`bs%#riGFd[u%%rnexGFi[mFdbs%#nhG
F$F$C->F0Ffw>F]uFci\l>F\tF9>FaxFfit>FhsFfv?(F$FfsFfsF$FisC(?(F\tFhcyFfsF[at4-Fi
izFd`lF$?(FaxF[atFYF\t-Fiiz6#F`fpF$@$1FaxF\tFbjn>F0-Fbbn6%/FaxFe`l/F\tF`fpF0>F]
u-Fbbn6%/FaxFi`l/F\tFedvF]u>Fhs6%Fhs/FaxF\t/F\tFax-%'ASSERTG6$/F\tF_jpQErays~an
d~vertices~incorrectly~sortedF$>FfrFbhy>F\w-Ficm6$Fa[tFdiy@&/FaxFabm-F_[l6#-Fj_
r6#,&FcrFfsFYFfs1F\hy,&FaxFfsF][^lFfsC$>F[wF`s?(F\tFfsFfsF[wFis@$4-Fg]al6$&F\wF
f`lFaxC'>Ffr-Fbbn6%/F\t&FfrFbfl/F[wF][mFfr>F\w-Fbbn6%/F\tF_^q/F[wFdgdlF\w>F]u-F
icm6$7$/F\tF[w/F[wF\tF]u>FaxFc[vFbjn-F[ip6+F\avFcrFbvF0F]uFdfnFfrF\wFaxF$F$F$%%
joinGf*F$6#FebzF$F$C$>F0Fc]r@'Fe]rFc^r4-Fgn6$F0-F^bmFj_[l-F_p6#Q<arguments~must
~be~polyhedraF$-F_jz6#-F[ju6#-F`hs6#-F76#-F@6$F[juF0F$F$F$%%drawGf*F^eclF[imF$F
$C$>F0F]hmZ%--Fgil6%Fhfo%%PLOTG%'PLOT3DG6#-&F66#.Fe^dlFj_lF$YF$F$F$F$F`i]lFcj]l
F]gpf*F^eclF$F$F$@%FedmFjq-F[ip6$F\av-F76$;FXFcjyFSF$F$F$Fb_^lFc_^lFfbnFab^l%*i
ssimplexGf*F^eclF$F$F$@%FedmFjq3Fibdl-&F\]lFeiblFRF$F$F$FjdmFfsF^[oFcb^lF_dlFib
^l%-minkowskisumGf*Fbhs6(FebzFhpFepFe\sFcipFc]lF$F$C*@$Fjim-F_[l6#-&F\]lF[gpFR>
F0Fc]r>F]uFbgcl@&F`idlFdidl-F[jo6$f*FezF$F$F$0FbgclFewF$F$6$FhpF]uF0F]cl>Fax7#7
#-F[^n6$F9F]u>FhsFfv?&F\tF0FisC$>Fax7#-Fft6$-F76#-F@6%F_`mFaxFfr/Ffr-FeadlFf`l>
Fhs6$Fhs-F76#-F@6$Fbir-&F\]lF[sFf`l@%/FaxFhy-Fj_rFbx-Fa\v6$F`coFhsF$F$F$F\^of*6
*F`^vFa^oFcc^lF_bsF^^tF_^tFdc^l'Fjc_lFb[oF$F$F$@%3/9+F9Fd_t-.Fi^dl6&Fi^p,(FSFfs
Fhc^lFYFYFfsF]_tFjc^l-F\av6'Fi^pFh_elFh`n7$,&F]_tFfs-Fi[s6#Fd_elFYF]`el-Fgil6%2
F9Fd_elFjc^l7#,&Fjc^lFfsFYFfsF$F$F$FghmFcb^l%)proximumGf*6%FaeyFeir'%%distGFfp6
-F`qFaqFgjr%#w0GF\qF]^pF[\mFfal%#flG%$fl1G%$fl2GF$F$C)>F\wFbiw@&F[blFjq0-FasFfj
nFcrF]cl>F0Fdfn>F]uFbhy?(FhsFfsFfsFabmFisC(>F\tFi^n>Fax-Fbbn6$/FYF9F\t>Fax*&Fax
Ffs-F\[lFcb\lFY?(FfrFahoFfsFabmFis>&F0Fbs-%6polyhedron/proximum/gG6%FabelF\tFax
>F]u-F@6&FcbelF]uF\tFax>F\w-Fcbel6%F\wFaxF\t>F[wFiecl?(F$FfsFfsF$FisC->Fct-F_\u
Fbfl>Fev-F@6&f*6%FfzFe_n%"zGF$FjilF$&Fin6#&-F[]p6$FbvFiclF^xF$F$F$FctF]u-F76$F`
rF[w>F`u-F@6$f*6#Fi[m6$%#h0GFcjuF$F$C$>F]uF[[l@%1F9F]uF9C$>F0-Fbbn6$Fh^wFS*&F]u
FX-F\[l6$F0F0FYF$F$6$F[\mF\wFev>Fhs-Fh^_l6$f*FezF$FjilF$FSF$F$F$F`u@$/&F`uF_tF9
C'>F\w-Fe[dlFfjn>F\t,&FjaqFfsF\wFY@$4-Fe_v6$1F\t-F\[l6$F\wF\tFS-F_p6#Q/internal
~errorF$@$FgclC$>F\tF[fel>Ficl-F^_u6#-F\[l6$F\tF\t-F_[lFfjn>F[w&FctF_t>F\t&FevF
_t>FaxFiael>FaxF]bel>F]uFfbel>F\wFibelF$F$F$Fa]^lFee^lF_cnf*F^eclF$F$F$@'FedmFj
qFdicl7#/7#-F[^n6$F9FbgclFfs-F@6$f*FezF$FjilF$/F`dn,$Fj_nFYF$F$F$-F@6$F[jrFdfnF
$F$F$FiflFhf^lF\]nF]j^lFj]of*F$F$F$F$-F_jz6#-Fg]oFj_lF$F$F$FeaoFcb^lFc_rf*F^ecl
F$F$F$@%FedmFjqF]j]lF$F$F$%*recessionGf*F^eclF$F$F$@%FedmFjq-Fi[t6#-F\\t6)Fbgcl
F_fz-Fh^elFR&Fci\lF]jy-F@6$f*FezF$FjilF$FagzF$F$F$Fdfn-F@6$f*FezF$FjilF$F_gzF$F
$F$FbhyF^anF$F$F$FJF\]l%)distanceGf*6%FepFeir'F[\mFfpF[imF$F$C$Z%@'Fdicl>F0F[^`
lFgcl>Ficl-&F\]l6#.Fd`el6%FSFinF0FcjelFa`oYF]pF0F$F$F$F^[_lf*F^eclF$F$F$@'FedmF
jq-&F\]l6#.F`cdlFRFhy-F@6$f*FezF$FjilF$1,$F`dnFYFj_nF$F$F$-F@6$F[jr-Fgil6%Fe`]l
Fbhy&FbhyFajrF$F$F$Fj`qFcb^lF^g]lFccl%(cornersG&F\]l6#Fa]^lFfyf*6&FcqFcalFfhsFi
`xF$F$F$-F_jz6#-Fby6&FSFinFicl7$Fdcu-FbdsFRF$F$F$FdisF`b_lFfeqFcb^lF`fclf*F^ecl
F$F$F$@'FedmFjqFcfsF\fclF9F$F$F$F^juF]c_lFcc_lFdc_lFGF`\uFi\rf*F$F\idlF$F$C$>F0
Fc]r@)Fe]rFc^rF`idlFdidl-F[jo6$FeiclF0-Fj_r6#,&-F_`m6#-F76#-F@6$Fae_lF0FfsFiqFY
-F_jz6#-F`hsFgh]lF$F$F$F_[`lF`[`lFjfclf*F]bdl6'FbqFcqFhpFihwF`qF$F$C)@$FedmFjq>
F0-F[ju6#-FhixFR>F]uFbgcl>F\t-F]hyFbbm>Fax-F@6$f*FezF$FjilF$FagzF$F$F$Fa\t>Fhs-
Fjho6#-F@6$f*FezF$FjilF$FagzF$F$F$F\]t-&F"Fcgl6%F]uFax-Fbjm6$Faep7%-F[^n6$FhyF\
t-F@6'FjfblFjgrF]uFaxFhs-F[^n6$Fhy,&F]uFfsF\tFYF$F$F$F\fsf*6$FepF[\`lF$F$F$@%Fh
qFjq-Fies6$FSFbiwF$F$F$F_erFi\`lF`erf*F\gclF_gclF$F$C$>F0Fbgcl@'F[blFjqF_o@+Ffg
clC%>F]uF][]l>FaxF\jcl@%50F_[rF0FehclFej\l-F_jz6#-&FcyF[frFihcl50F0F9F\iclFej\l
Fd_tF_^`lFdicl-Fj_rFd^`l-Fd^rFd^`lC$@'Fih\lC$>F\tFin>FaxF\jclF^\lC$>F\tFfs>FaxF
jaqFcjm@)FejclFej\lFfjcl-Fce^l6%FSF[`u,$*&FaxFfsF\tFYFY-Fhiu6$FSF^[dl-Fd^rFbbm-
Fj_rFbbmF$F$F$FehnFa``lF\hrf*F]bdlF$F$F$C$@$FahrFjq-&F"6#.F\hr6#-FgfclFRF$F$F$F
air,
I)type/ray-%)specfuncG6$F[oFbirF$,
I)type/vec<%-F^bm6#F\o-%'vectorGFccfl-F]iuFccflF$,
I*type/line-F^cfl6$F[oFeaxF$,
I)type/mat<%Fhy-FcguFccfl-FbguFccflF$,
I+type/!BASEf*6$FfzFeimF$F$F$50Fj\vF[ip0&FagsFH&FinFHF$F$F$F$,
I+print/_OBJf*6#FeimF$F$F$-&FSF]a_l6#FTF$F$F$F$,
I)PCOMPLEX=F$F%E\[lJF'F(F`[dlf*6#%#PCGF$F$F$@%FedmFjq-F@6$Fe[dl-F_fl6$FiizFirF$
F$F$F]_lF^_lF\alF]alFghlFhhlFadmFbdmF]sf*F`eflF$F$F$@%FedmFjq-F@6$Fe[dl-F_`sFfe
flF$F$F$FjblFdemFi_lF`fmFe^dlf*6#'FaeflFccl6*FhpF[_dlFgalFep%"tGF*Fe\s%#vsGF$F$
C(@&FhqFjq4-&FcclF`aalFR-F_p6#Q9argument~must~be~boundedF$>F0-Fe`rFR>F]uFf_dl>F
\tFfw@'Fhfo>FhsFfvF``dlC%>FhsF^am?&Fax&F\t6#FhwFis?&Ffr-F_adlFacoFisC&@$4-&F`\u
F`aalFbsFf[r>F\w-F[adlFbs>F[w-Ffdl6$F\wFhdl@%-F[gs6#&FhsFbfl>Fdhfl&.FhsFbfl>Fdh
fl-F7Ffjn>Fhs-FbbsF_tFb_dl6%-Fb`dl6$-F76#-F@6$Fh`dl7$Fhs-F76#-F@6$Feadl&F\t6#F`
rF]u-Fgadl6$-F76#-F@6$Feadl&F\tFi]nF]u-Fgi[l6$-F76#-F@6$F7-F@6$FeadlFf_yF]uF$F$
F$FagmFbgmFiamFcimF[\nf*F`eflFh\clF$F$C$>F0Fbv@'FedmFjqFjdlF0FdbdlF$F$F$FbaalF]
dqF^\nF_\nFajdlFbjdlFfbnFgbnF=F`cnFjdmFfsF^[oF_[oF_dlf*F`eflF$F$F$@%FedmFjq7#-&
%%CELLGFcgl6$-Fj_r6#F[gflFSF$F$F$F\^of*6%F_^oFfcnFgalFb^oF$F$C$>F]uFe^o@'Fd_t-F
bcl6$Fi^pF__o0FinFjo-Fbcl6%Fi^pFh`nF__o-Fbcl6%Fi^pFjoF__oF$F$F$FghmF\aoF_cnf*F`
eflF$F$F$@'FedmFjq-F`_rFR7#/7#-F[^n6$F9F[gflFfs-F@6$f*FezF$FjilF$FahelF$F$F$-F@
6$F[jrF[cnF$F$F$FiflF\doF_eoF`eoF\]nF\_pFeaoFf`p%,convert/FANGf*F`eflF$F$F$@'Fe
dmFjq/FbvFjo-F_p6#Q@argument~has~no~lineality~spaceF$-Fbbn6%/FfsF\[n/Fhw-Fhjm6%
F@FhixFfwFSF$F$F$Fc_rf*F`eflF$F$F$@%FedmFjq-Fhz6#0&FfwFbamFhyF$F$F$FeglFihpFj`q
F[aqFQFedqFfeqFgeqF]`pF_gqF`fclf*F`eflF\idlF$F$C$>F0&FfwFdes@'FedmFjq-Fbz6$F_aa
lF0-F_`m6#-F76#-F@6$&F\]lF^fclF0F[^`lF$F$F$FGFb[glFi\rFj\rF_erF]dqF`erFaerFjanF
^frFair,
I+std/existsf*6%FfalF]q'F]^pFbawFicsF$F$C$?(F0FfsFfsFh`nFis@$-FS6#F`dsC$@$Fgcl>
FiclF0Fj`lF%F$F$F$F$,
I+std/forallf*Fb_glFicsF$F$C$?(F0FfsFfsFh`nFis@$4Fg_glC$@$Fgcl>FiclF0F^[lFisF$F
$F$F$,
I,std/findmaxf*6$'FfalF_ao'F]qF^bm6&F\q%%imaxGFddrFe_nF$F$C&>F]uF9>F\t,$F[^`lFY
?(F0FfsFfsFh`nFisC$>Fax-FS6$F`dsFj`bl@$2F\tFaxC$>F]uF0>F\tFaxF]uF$F$F$F$,
I*type/MODZf*FezF$F$F$3/Fj\vF[ip/Fags.FgavF$F$F$F$,
I.convert/CFACEFefsF$,
I/convex/dotprodf*Fa^sFicsF$F$-F_`m6#-Fft6$F]ixFa[sF$F$F$F$,
I.convert/PFACEFefsF$,
I-type/FANCONEf*FezF$F$F$3F]bgl/Fags.Fd]oF$F$F$F$,
I7convex/raynos/isaffinef*6$Ff^alF`_elF$F$F$52-Fi[sFio-FddrF]\s/FSF^anF$F$F$F$,
I/cone/_rays_setf*FawF$6#%'inlineGF$FbelF$F$F$F$,
I/convex/motzkinf*6%F\`bl'F_]`lF^bm'F`]`lF^bm6<Fhp%#l0GFfcnFipF`bs%(oldineqG%%n
ewcG%#ciG%'ineqnoG%*nooldineqG%#slG%#srG%#swGF\qF]^pF[^pF]q%'face2dG%)adjacentG
%%rposG%%rnegG%#r0G%%addrG%'addsatG%%csatG%,dpw_newc_ciGF$F$C.>F0F[^]l>F]uFbv>F
\tF]u>FaxFfw>FhsFci\l>FfrFbhy>FevF`s>F\w7$F_hsF\`_l-F^r6&FXFeoFbael%,constraint
sG?(F[wFfsFfsFbael52F9Fe`x2F9F^bqC)>Fct,(FevFfsF[wFfsFh`nFY-F^r6(FhwFeoFe`x%'li
nes,GF^bqF]s-F^r6&F`rFeo%-constraint~#GF[w>8=-Fdjr6#F_^q>F`u-F@6$f*Fb]lF$F$F$7$
FSF^imF$F$6$F`eglF\gglF\t>F_s-F@6$f*Fb]lF$F$F$FcgglF$F$FdgglFax@%-F[jo6%f*FezF$
FjilF$0Fj_nF9F$F$F$F`uFhrC(-F^r6%FhwFeo%9reducing~lineality~spaceG>Fds*&-Fd[p6#
&F`u6$FhrFXFfs&F`u6#FhrFfs>F`u-Fbbn6$/FhrFfvF`u>F\t-F@6%F_^sF`uFds>Fax-F@6%F_^s
F_sFds@%2FevFctC$>Fax7$F`co&FdsF^x>Fhs7$-F76#-F@6%F^emFhs<#Fct<#-F[^n6#;Ffs,&Fc
tFfsFYFfs>F0Fb_mC.-F^r6%FhwFeo%7computing~new~rays~...G>847#-F[^n6#;FfsF^bq>6$8
788-F^w6$f*FezF$F$F$2F9&Few6$FSFXF$F$6$FfdglF_sF\[hl>6$89Fd[hl-F^w6$f*FezF$F$F$
/Fi[hlF9F$F$F[\hlFd[hl-F^r6*Fg\tFeo%&r0~=~G-Fas6#F^\hl%&r+~=~G-Fas6#Fc[hl%&r-~=
~G-Fas6#Fd[hl>8:Fhy>8;Fhy>85,(F0FfsFe`xFYF^^nFfs?&Fce_lFd[hlFis?&FhrFc[hlFisC'>
8<-Fcan6$&FhsFihgl&Fhs6#Fce_l@$2-Fas6#Fi]hlFc]hlFf[r>86Fis?(F_f_lFfsFfsF^bqFis@
$33-F`el6$Fi]hl&Fhs6#F_f_l0F_f_lFce_l0F_f_lFhrC$>Fd^hlF%Fbjn@$Fd^hlC$>F_]hl7$-F
76#F_]hl-F_^s6$&F_sF^^hl&F_sFihgl>Fa]hl7$-F76#Fa]hlFi]hl@&FeiglC%?&FhrF^\hlFis>
Fhs-Fbbn6$/Fhr-F^em6$F\^hlF`jglFhs>Fa]hl-F@6%F^emFa]hlF`jgl>F^\hl7$-F7Fg\hl-F7F
j\hl2F9,&Fi\hlFfsF\]hlFfs>F0Fb_m>Fax7$-Fft6$&FaxFihgl/FhrF^\hlFe_hl>Fhs7$-Fft6$
F\^hlFgahlF]`hl@$0F\tF]uC$-F^r6%F`rFeo%;normalising~lines~and~raysG>Fe_z-FjhoFe
_z-F\\t6)FcrF\tFaxFhs7$-F7FcfnF_hs7$FietF\`_lFdiyF$F$F$F$,
I.convex/reducef*6#Fgft6,FhpFfcnFipF`bsF\qF]^pFdbsF`qFaqFjc_lF$F$C4>F0Fcr>F]uFb
v>F\tFfw@$3/F_[rF9/Fe`xF9-F_[l6#-F`]xFbbm>FaxFci\l>F[wFdfn>FctFbhy-F^r6%F`rFeo%
Ftransposing~ray-facet~incidence~tableG>F\w-F\bs6$Fax-FasF\_q-F^r6%F`rFeo%=dete
cting~implicit~equationsG>FevFe`x>F[w7$-F7Fbfl-Fft6$F`gel/Fhs-F_fl6$f*FezF$F$F$
/-Fas6#Fi^lFewF$F$6&Fjc_lFevFdbsF\w7#-F[^n6#;FfsFadhl-F^r6%F`rFeo%Creducing~and
~normalising~equationsG>F[w-FjhoFbfl-F^r6%F`rFeo%Freducing~and~normalising~ineq
ualitiesG>Ffr-Fh^s6%F\w,*F0Ffs-FasFbflFYF_[rFYFYFfsFf`]l@%/F`sFbaelC$-F^r6%FXFe
o%?all~inequalities~induce~facetsG>Fct-F^dbl6$F[wFctC&>Fct-F^dbl6$F[w7#-Fft6$F`
gelFid[l>F\w7#-Fft6$&F\wF_tFid[l-F^r6%F`rFeo%Ftransposing~facet-ray~incidence~t
ableG>Fax-F\bs6$F\wFe`x-F\\t6)F0F]uF\tFaxF[wFctF\wF$F$F$F$,
I-contains/rayf*6$FbqFipF$F$F$3-Fbz6$f*FezF$F$F$Fa\`lF$F$Fd\`lFdfn-Fbz6$f*FezF$
F$F$1F9Fb\`lF$F$Fd\`lFbhyF$F$F$F$,
I.contains/linef*FchhlFh\clF$F$C$>F0Fbv5F^^`l/-Fas6#-Fjho6#7$FghtFinFabmF$F$F$F
$,
I/convert/affineFefsF$,
I0type/POLYHEDRONf*FezF$F$F$3F]bgl-Fcw6$Fags<$F\av.Fb[glF$F$F$F$,
I.convex/affinef*6#Fhcs6#%"aGF$F$C$>F0Fcjr@%F`\sF`jr*&F`jrFfsF0FYF$F$F$F$,
I-convex/homogf*6$FeirFbjuF$F$F$-F[[r6#7$-F7F^ioFinF$F$F$F$,
I/convex/homog_1f*6%Fhcs'%$v_1GF\oFbjuF$F$F$-F[[r6#7%F^\sFinFiclF$F$F$F$,
I.convex/originf*Fa]wF$Fj\mF$7$-F[^n6$F9Fi^pFfsF$F$F$F$,
I.ray/_isaffinef*6#F[\`lF$F$F$-Fhz6#2F9FcjrF$F$F$F$,
I/type/affhplane<$/F[oF\o/F\oF[oF$,
I/type/affhspace<$1F[oF\o1F\oF[oF$,
I'convexf*Fez6$FbaqFgfs6#%(packageGE\s#%._PackageTableG=F$F%E\[l^rF]b`lf*F$F$F$
F$-&Fj\ilFddqFj_lF$F$F$F\eclFc]ilF^byFc]ilF'Fc]ilF`[dlFc]ilFe]]lFc]ilFc^]lFc]il
F\_]lFc]ilFapFc]ilFg_]lFc]ilF]d`lFc]ilF_juFc]ilF\alFc]ilFg]vFc]ilF^[mFc]ilFadmF
c]ilFid`lFc]ilF]^vFc]ilF]sFc]ilF__vFc]ilFjblFc]ilF`hqFc]ilFbf]lFc]ilFeg]lFc]ilF
g^rFc]ilFe^dlFc]ilFaevFc]ilFh\lFc]ilFagmFc]ilFiamFc]ilF[\nFc]ilFcivFc]ilFbaalFc
]ilFji]lFc]ilF`cdlFc]ilF^\nFc]ilFjhdlFc]ilFajdlFc]ilF`j]lFc]ilF`i]lFc]ilF_]wFc]
ilF^\alFc]ilF_^wFc]ilFb_^lFc]ilFc_wFc]ilFfbnFc]ilFh[elFc]ilF^[oFc]ilFahwFc]ilF\
jwFc]ilFe\xFc]ilFc]xFc]ilFf`xFc]ilF_dlFc]ilF^\elFc]ilFjfxFc]il%*directsumGFc]il
%*vertexnosGFc]ilFghmFc]ilF`ixFc]ilF\\yFc]ilF]\yFc]ilFd`elFc]ilFd\yFc]ilF_cnFc]
ilFiflFc]ilF_eoFc]ilF\]nFc]il%/transversalfanGFc]ilFa_pFc]ilFc\mFc]ilF]balFc]il
FeaoFc]ilF`balFc]ilFedpFc]ilFj[yFc]ilFc_rFc]ilFgj^lFc]ilFfayFc]ilF]`rFc]ilF[iel
Fc]ilFjj^lFc]ilF\dyFc]ilF^eyFc]ilF_gpFc]ilFjielFc]ilF^ipFc]ilF^[_lFc]ilFj`qFc]i
lF^hpFc]ilFe[zFc]ilFi[flFc]ilFi_xFc]ilFchalFc]ilFd\vFc]ilFjjzFc]ilFfeqFc]ilF]`p
Fc]ilFch`lFc]ilFgb_lFc]ilF`fclFc]ilF]^rFc]ilFcc_lFc]ilFciqFc]ilF_[`lFc]ilFjfclF
c]ilF\fsFc]ilF_erFc]ilF`erFc]ilFjb\lFc]il%(torsionGFc]ilFie\lFc]ilFc[wFc]ilFehn
Fc]ilF\hrFc]il%*_InitFileGf*F$F$F$F$@$4-%*interfaceG6#%&quietG-%'printfG6#QfwCo
nvex~version~1.1.3,~Copyright~(C)~1999-2009~Matthias~Franz|+This~package~is~dis
tributed~under~the~GNU~General~Public~License,|+see~http://www-fourier.ujf-gren
oble.fr/|irfranz/convex/~for~more~information.|+F$F$F$F$C%>F0-F76$FfsF:@%-F[gs6
#&FeoFbbm>F]uF]_il>F]u&FagsFbbm@%-Fgn6$F]uF_aoZ%-F]uFj_lQ.invalid~inputF$C$>F0&
Fe`o6#Fe]t@%/-F7F`jclF[ipY6$&Fe`o6#;FXFdu-FfdflFgh]lYF$Fd]vF$FhgsF$Fair,
I&PFACE=F$F%E\[lEF\eclf*Fcdm6&Fc[uFepFjft%#FFGF$F$C%>F]uFfw>F0-FasFdes@'FedmFjq
55-F[hflFRFcfo3Fhfo/FbarFhyC'>Ff\u-FeadlFbx>F\t-F_`m6#-Fft6$&-F`[uFacoF^x/FaxF^
\u>F`[u-Fbbn6$/FhwFfv-F^[n6#F`[u>Ff\uFfv-Fb_u6$F\tF^_uF[^`lF$6$F`[uFf\uF$F]b`lF
^b`lF`[dlf*FcdmF$F$F$@%FedmFjq-F@6$Fe[dl-F_fl6$FiizFh[alF$F$F$F\_]lf*FjhmF$F$F$
@%FedmFjq-&Ffhl6#.Fcbal6#-&FfhlFg[`lFRF$F$F$F]_lFic`lF]d`lF^d`lFghlF`d`lFadmFcd
`lFid`lFjd`lF]sf*FcdmF$F$F$@%FedmFjq-F@6$Fe[dl-F_`sF_cilF$F$F$Fjblf*FcdmF$F$F$@
'FedmFjqFeb`lFY,&-Fh]mFRFfsFYFfsF$F$F$F]g`lF^g`lFi_lFdh`lFhh`lFih`lFh\lf*FcdmF$
F$F$@%FedmFjq-Fe[dl6#-&FfhlFf\lFRF$F$F$Fbaalf*Fcdm6$FepFc[uF$F$C&@$FedmFjq>F0Ff
w>F]uFcr5/F]uF^an3/Fa\tFhy2-Fi[s6#Ffaal-FhdrFe\vF$F$F$F^\alF_\alF]gp&F`\u6#F\hl
FfbnF]^alF\^oFd^alF`bglf*FjhmF^eclF$F$C%@$FedmFjq>F0Ffw-Fed]l6&FcrFbv-&Fd`uFiix
FbbmFci\lF$F$F$Fg]ilf*Fcdm6#Fjc_lF$F$C%@$FedmFjq>F0-Fi[s6#Fi]al-F@6%%"-G-F_fl6$
f*FezF$F$F$2FewFSF$F$6$Fjc_lF0FcrF0F$F$F$F]balf*FcdmFafilF$F$C%@$FedmFjq>F0Fefi
l-F_fl6$f*FezF$F$F$1FSFewF$F$F^gilFcrF$F$F$Fc\mF``alF`balf*Fcdm6$FepFjf^lF$F$C&
@$FedmFjq>F0Ffw>F]uFbv@%1F9FfaalF]u-F[]p6$F]u<#Fhf_lF$F$F$Fc_rf*FcdmF$F$F$@%Fed
mFjq-Fhz6#Feb`lF$F$F$FeglFidalF^g]lF\]lFchalFdhalFch`lFgjalF\hlFfhalF`fclf*Fcdm
Fc`wF$F$@'FedmFjqFbailC'>Ff\u-FeadlF_hy>F0&-F`[uFRF^x>Ff\uFfv>F`[uFabilF0F[^`lF
$FibilF$F^juF[[blFi\rf*F$6)F[aelFfalFhpF_]r%#hlGFepFchsF$F$C+>F0Fc]r@&Fe]r-&%*P
OLYHEDONGFgamFiju4-Fgn6$F0-F^bm6#F`\uFcjm>F\t-F_`m6#-F76#-F@6$&F`\uF_hmF0>Ffr-&
F\]lFfcr6#-F76#-F@6$&F`\uFejalF0@$-F[jo6$&F`\uFa_rF0-Fc`^lFbs>FhsFhy>FaxF9?&F]u
F0FisC%>F\wFdbr>Fhs7$F^dt-F76#-F@6$f*FadelF^gzF$F$C$>F0Fbgz-Fe]l6$-F[u6%FewFebm
F\^lFh]nF$F$6&FhpF\tF_]rFax-F]dalFbx>Fax,&FaxFfs-FcgclFfjnFfs-Fbbn6$F`a^l-F\_bl
6#-Fffl6$-F[juFbsF^dtF$F$F$Fd^^lFj_blF[ablF\ablFair,
I(FANCONE=F$F%E\[l[oF'F_h\lFe]]lFf]]lFc^]lFd^]lF\_]lF]_]lF]_lFa_]lFg_]lFh_]lF\a
lFda]lFghlF\c]lFid`lf*6#Feal6&F*FcalFbqFfalF$F$C'>F]uFc]r>F0-FdjalFR@&F`e`lF_bl
-F[jo6$f*FezF$F$F$0F[^jlFewF$F$6$F*F0F]uFhe`l>Fax-Fb[r6$F0-F76#<#-Fft6$-F76#Ffi
nFaf`l@%5/F6F\cglFe[rFax-Fbbn6$/FfsF^jhlFaxF$F$F$FadmFec]lF]sFgc]lFjblFic]lF`hq
F\d]lFi_lf*F]c]lF$F$F$@%3F_il/-F76$"#5FS-F76$Fh_jlFin-F`el6$FbelFedlC$-F^r6&FXF
6.%(callingG&F`\^lFh_l-&F`\^lFjb]lFgg`lF$F$F$Fbf]lFcf]lFeg]lFfg]lFh\lF\h]lFagmF
hh]lFiamFai]lF[\nFhi]lFji]lF[j]lF`j]lFaj]lF`i]lFcj]lF^\alf*Ff]jl6'F*FcalFbqFipF
g\mF$F$C*>F]uFc]r@$F`e`lF_bl>F0F[^jl@$-F[jo6$f*FezF$F$F$F`^jlF$F$Fa^jlF]uFhe`l>
F\t&F]u6#-Fh^_l6$Fj^_lF]u>FaxFfin>Fhs-Fcan6#-F76#-F@6$F^jlF]u-Fidn6$-Fbg]l6#-&F
D6#.F[abl6$F\t-F_fl6$f*FezF$F$F$-Fcw6$Fd_mF\^lF$F$6&FipFaxFg\mFhs<#F^[hlF0F$F$F
$F]gpf*Faw6$%#s1G%#s2GF$F$@%F^^`lF\b^l-Fa[gl6$-FjfpFj_l-Ficm6$7$/F0&F"6#.Fcfp/F
]uFdjal-F06#-F]uFRF$F$F$Fb_^lFc_^lFfbnFab^lFjdmF9F^[oFcb^lF_dlFib^lF\^oFac^lFf_
of*FawF]cjlF$F$-Fa[gl6$-F^`oFj_l-Ficm6$7$/F0&F"Fc_alF[djl-F06$F^djlFTF$F$F$Fghm
Fcb^lFa]^lFee^lF_cnFff^lFiflFhf^lF\]nF]j^lFh]ilf*6$Fbq'F+Ffp6+F*%#FdGFgalFipF`q
FhpFgcn%$qMCG%$qFdGF$F$C/>F0F[^jl>F]uFcr>F\wF[^]l@&FhqFjqF`azC$@$F^\l>Fin-F[`tF
bxFe]cl>F\wF[^]l>Fct,&F]uFfsF\wFY>F\tFhfr>F\wF[^]l>FaxFbel>Fhs-&Feo6#.F^`wFcfn>
F[w-Fbjm6$;F9Fct7#-Fft6$-F@6%Fg]`l-F_fl6$f*FezF$F$F$FhelF$F$6$FipFax&F\tFbsFhs/
Ffr;F\wFcr@$F^\l>FinFhs-F^_fl6%FctFhy-F^[nFbflF$F$F$Fj]oF_j^lFeaoFcb^lFedpFcb^l
Fgj^lFhj^lFjj^lFee^lFJFcyFeglf*6$FgftF*F$F$F$-F[ip6&F6Fdb_lF9-F_am6#7#/F9FinF$F
$F$F^[_lF_[_lFj`qFcb^lF^hpFa[_lF^g]lF"Fchalf*FawFhdflF$F$C$>F0Ff_jl@'FedmFjq/-F
76$F9Fg]nF[ipFg]nC$-F^r6%FXF6%1computing~domainG>Fg]n-F^[n6#Fg]nF$F$F$FfyFd]_lF
disF`b_lFfeqFcb^lFgb_lFhb_lF^juF]c_lFcc_lFdc_lFi\rf*F$6&FbqFcalF^cjlF_cjlF$F$C%
>F0-&F`\^lF\isFj_l>F]uFc]r@%Fae`l-Fidn6$F0-Ficm6$7$/F\tF_^bl/Fax&F6Fejal-F\t6#-
F76#-F@F_[uF0F$F$F$FGFfhlF_[`lF`[`lF\fsFi[`lF_erFi\`lF`erf*FawF]cjlF$F$-Fidn6$-
&F`\^lF[frFj_l-Ficm6$7$/F0Feb^l/F]uF_jjlFhdjlF$F$F$Fehnf*Fb``lF$F$F$@)F[blFjqF_
c]lF_bl3F_il/F[^jl-FdjalFioC$@$Fgcl>Ficl-&F66#.F^\alFgg`lFisC$-F^r6&FXF6F``jl&F
`\^l6#Fehn-&F`\^lFchnFj_lF$F$F$F\hrFcb^lFair,
I%CELL=F$F%E\[ldoF\eclF]eclF^byFafclF'F[gclF`[dlFa[dlFe]]lFf]]lF\_]lFj[dlFc^]lF
d^]lF]_lFa_]lFg_]lFh_]lF\alF]\dlFghlF\c]lFid`lFe]jlFadmFec]lF]sFc]dlFjblFic]lF`
hqFh]dlFi_lFb_jlFbf]lFcf]lFe^dlFf^dlFh\lF\bdlFagmFhh]lFiamFai]lF[\nFbbdlFbaalFf
bdlFji]lFjbdlF`cdlFacdlFbjzFfcdlFjhdlF[idlFajdlFbjdlF`i]lFcj]lF^\alFe`jlF]gpFa[
elFb_^lFc_^lFfbnFab^lFh[elFi[elFjdmFfsF^[oFcb^lF_dlFib^lF^\elF_\elF\^of*F__elF$
F$F$@%Fb_el-F^jhlFg_el-F^jhlFj_elF$F$F$FghmFcb^lFd`elFe`elFa]^lFee^lF_cnFggelFi
flFhf^lF\]nF]j^lFj]oFehelFeaoFcb^lFc_rFihelF[ielF\ielFJF\]lFjielF[jelFeglf*6$'F
bqF\]lF*F$F$F$-F[ip6%F6Fe[elF^hjlF$F$F$F^[_lFijelFj`qFcb^lF^g]lFcclFi[flFee^lFc
halFbhjlFfyF\\flFdisf*F^ecl6$FbqFaeflF$F$C%>F0-FhixFj_l>F]u-&Fb[glFejalFR@%/Fba
rFjoF0-Fc]o6$F0-.&Fccl6#.F_]glFbxF$F$F$FfeqFcb^lF`fclFd\flF^juF]c_lFcc_lFdc_lFi
\rF`ijlFGF`\uF_[`lF`[`lFjfclFh]flF\fsFj_flF_erFi\`lF`erFejjlFehnF_[[mF\hrFcbflF
air,
I%MODZ=F$F%E\[l,Fe]pf*Faeu6&F\qF_f\lFheuF]^pF$F$C%?(F0F[fuFfsFinFisC(@$F^fuC$>F
`fu-Feg\l6$F`fuFhyFf[r>F]u-&Fgav6#.%'_smithGFhfu>F\tF_[r?(FaxFfsFfsF\t/FedvFfsF
$>F`fu-Feg\l6$,&F`fuFfsF\tFY&F]u6#;FaxFY>Fcfu,&FcfuFfsF\tFY>&FiclFio-Feg\l6$F_`
[mFhyFiclF$F$F$F]d`lf*6#Fd^tF$F$F$,&FcrFfsF][^lFfsF$F$F$Fghlf*F$F$FjilF$Fad`lF$
F$F$F[h\lf*6#Ffiv6'F\qF]^pFhpFcqFfcnF$F$C&>FaxF__m>FhsFS?(F0FfsFfsF[atFis?(F]uF
^]lFfsFaxFisC%>F\t-Fi[s6#-F\\s6$&FhsFbbm&FhsFbx>Fea[m*(Fda[mFfsFea[mFfsF\tFY>Fd
a[mF\t-Ficm6$FdbtFhsF$F$F$F\^of*6$'FipFb[oF^f\lFicsF$F$,&*&FSFfs.%"ZGFfsFfs-F_`
m6#-Fft6$&F`b[mFbbm/F0FinFfsF$F$F$Ff]ilf*F$Fg`[mF$F$C$>F0Fc]r@%-Fgn6$F0-F^bm6#F
gav-Feg\l6$-F_`m6#-F76#-Fhjm6%F7FXF0-Fhg\l6#-F@6$F7-Fhjm6%F7F`rF0F_blF$F$F$Fa_[
mf*6#'F+Fao6&FaipFcqFipF\qF$F$C&>F]uFhhu@$2F9F]u>F]u-Fhdr6$F]uF\hu@+Fe\[lF[cv-F
gn6$-F^[n6#%,_Env_ismithGF_ao>F0-F^e[mFR-Fgn6$-F^[n6#%'ismithGF_ao>F0-Fee[mFR-F
gn6$-F^[n6#&%.LinearAlgebraG6#.%*SmithFormGF_ao>F0-F\f[m6$-Fgil6%-Fgn6$FSFbguFS
-FbguFR/%'methodGFb[o>F0-&%'linalgG6#.Fee[m6#-Fgil6%-Fgn6$FSFbjmFS-FfdlFeg[m@'-
Fgn6$F0FaoC$?(F\tFfsFfsF]u0&F0F]gelF9F$7#-Fft6$&F0Fcb\l/FaxF]hvF]\zF0-F_p6#Q.is
mith~failedF$F$F$F$%&_zeroG-F\ip6%FgavF9FhyFeglf*6$'FipF`^oF^f\lF$F$F$-F[ip6%F_
bglFSFinF$F$F$Fch`lf*Fc`[mF$F$F$FcrF$F$F$Fi]ilf*Fc`[mF$F$F$FbvF$F$F$Fair,
I/CFACE/listraysf*6$F+Fc[uFicsF$F$7#-Fft6$F`[sFgb[mF$F$F$F$,
I.type/PCOMPLEXf*FezF$F$F$3F]bgl/FagsFbclF$F$F$F$,
I/convex/lelim_1f*Fh\clF$FjilF$-F@6$Fc[s-Fhjm6%FbbnFgduFSF$F$F$F$,
I#&=FefsFair,
I#&<FefsFair,
I$&<=FefsFair,
I.type/POLYTOPEf*FezF$F$F$3Fjds-F_aalFRF$F$F$F$,
I*type/CONEf*FezF$F$F$3F]bgl-Fcw6$Fags<$Fd`]lF\cglF$F$F$F$,
I+type/CONE1f*FezF$F$F$3-Fgj[mFRF\esF$F$F$F$,
I+type/CONE0f*FezF$F$F$3F`[\mF`_pF$F$F$F$,
I+type/PFACEf*FezF$F$F$3F]bgl/FagsFaa^lF$F$F$F$,
I,type/PFACE1f*FezF$F$F$3-Fd[\mFR0Fh[alFhyF$F$F$F$,
I+type/CFACEf*FezF$F$F$3F]bgl/FagsFe]alF$F$F$F$,
I#&xFefsFair,
I5polyhedron/&x/hspacef*6%Fi[mF\hsFghsFicsF$F$-Fbbn6%F_hs/FY,&-F_`m6#-Fft6$F`[s
/F0FiclFfsFcjrFfsFSF$F$F$F$,
I8convex/orderplanepointsf*6#'F^aqF^bm6$Fg^tF]qF$F$C&@$2F__mFhwFg[o>F0,&F`dnF[a
mFj_nF[am>F]u-F@6'F_bclFSF0,&Fj_nFfsF0FY,&&FSFiiflFfsF0FY-Fhjm6%F7FX-Fa_n6$F]uf
*Fd_nF$FjilF$-Fhz6#2F`dnFg^sF$F$F$F$F$F$F$,
I6polyhedron/proximum/gf*6%Fc]lFgjrFj`elF$FjilF$,&FSFfs*&-F\[l6$FSFiclFfsFinFfs
FYF$F$F$F$,
I5cone/&x/addincidencef*6&'%#CSGFhdl'%$CASGFhdl'%#ASGFhdl'F\qF`^oF$F$F$-F[]p6$F
icl-F@6%F_`m-F[]pFf_vFb[pF$F$F$F$,
I6convex/lindiosolve/<=f*6$'FfzF^bm'Fe_nF^bmFicsF$F$C$?(F0FfsFfsF__mFis@$2F`dsF
`[sOF%FisF$F$F$F$,
I$&<<FefsFair,
I6FAN/homology/getbasisf*FehoF$Fj\mF$FghoF$F$F$F$,
I4convex/projection_1f*Fgcdl6/FhpF\qF]^pFihwFcipF`qFaqF_]`lF`]`lFi[mF`bs%&sat2i
G%#PsGF$F$C)>F0Fcr>FfrFdfn>F\wFbhy>Fax-Fji[mF_co>Fhs-Fji[mF_hy@%-F[jo6%f*FezF$F
jilF$0FjduF9F$F$F$FfrF]uC&>Fev*&&FfrFbxFfs&Ffr6$F]uF^^nFY>F[w-F_du6$FfrFev>Fct-
F_du6$F\wFev>Fds-F_jz6#-F\\t6(FjfdlFaxFhsFci\l-FjhoF\ghlFdiyC&>F`uFci\l>F[w-Fhj
m6%FbbnFgduFfr>FdsFfv?(F]uFfsFfsFbaelFisC&@%1&F\wF`b\mF9Ff[r>Fev*&&F\wFbxFfsFgc
\mFY>FctFeb\m>F_s&FdiyFbx>Fds6$Fds-F_jz6#-Fi[t6#-F\\t6)Fb_mFax7#-Fft6$Fhjl/F\tF
_s7#-Fft6$&F`uFf`lFid\mF[wFctFhy-Fj`o6$7#FdsF%F$F$F$F$,
I1convert/PCOMPLEXFefsF$,
I,convert/FANFefsF$,
I)type/FANf*FezF$F$F$3F]bgl/FagsF\[nF$F$F$F$,
I*type/FAN0f*FezF$F$F$3-Fce\mFRF`_pF$F$F$F$,
I*type/CELLf*FezF$F$F$3F]bgl/FagsF^jhlF$F$F$F$,
I5face/convert/fanconef*6#F]gblF$F$F$-Fc]o6$-%2face/convert/coneGFR-%/fancone/d
omainG6#-%,face/domainGFRF$F$F$F$,
I8convex/writepoly/matrixf*6&FieyF^[[lFjeyFbaq6$FipFc]lF$F$C$-Fjfy6%FSQ%|+%s|+F
$Fin?&F0Fb[pFisC$>F]u-F[jrFbbm-Fjfy6&FSFiclFggbl-F7Fid_lF$F$F$F$,
I5convex/writepoly/setf*6$FieyFieqFicsF$F$C%-Fjfy6$FSQ"|frF$?&F0-Fa_n6#FjaqFis-
Fjfy6%FSFcgyFb_m-Fjfy6$FSQ$~|hr|+F$F$F$F$F$,
I7convex/readpoly/matrixf*Fg\cl6'FfcnF\qFjeyFc]lFafflF$F$C)>F0F`^cl>F]uFfs>F\tF
a`o?(F$FfsFfsF$FisC&>Fax-F_\[l6$F^_clQ%%a%nF$@$Fic\lFbjn>F\t-Ffcp6$F\tQ#%aF$>F]
u,&F]uFfs&FaxFi]nFfs>FhsFfv?(F$FfsFfsF$FisC&>Fax-F_\[l6$F0F\t@&Fic\lFbjn4-Fgn6$
FaxFbcflC$-FejyFR-F_p6#Q<polyhedron~must~be~rationalF$>Fhs6$Fhs-Fe]l6$&FaxFVF]g
n>F0F`^clFa[tF$F$F$F$,
I5convex/readpoly/nopsf*6%F^[[lF_[[l'FcqFbawF$F$F$@$3-F[gs6#&FinFR0F[\]mFhy>Fic
l-Fas6#&F[\]mF^xF$F$F$F$,
I8convex/readpoly/makesatf*6$Fcip%#ieG6$FieqFipF$F$C%-F^r6%F`rF\]l.%@computing~
incidence~informationG>F0<#-F[^n6#;FfsFh`n7#-Fft6$-F_fl6$f*FezF$F$F$/-F\[l6$Few
&Fe`sFRF9F$F$6&FipF]uFd\]mFinF0/F]uFSF$F$F$F$,
I$&<>f*F$F$FjilF$4-FghlFj_lF$F$F$Fair,
I$&>=f*6$F\[pFc\nF$FjilF$-Fi_l6%FinFSFj`blF$F$F$Fair,
I#&>f*Fb^]mF$FjilF$-F]_lFd^]mF$F$F$Fair,
I$&>>f*Fb^]mF$FjilF$-F]g`lFd^]mF$F$F$Fair
