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$%$&<=Gf*6$%#F1GF-6&%"nG%"iG%"CG%#MCGF$F$C$>F0-F76$FXFS@)2FX9#-F_p6#Q3too~
many~argumentsF$4-Fgn6$FinF6-F_p6#Q9illegal~argument~type(s)F$0F0-F76$FXFin-F_p
6#QEarguments~must~lie~in~the~same~spaceF$C%>8'-F76$""%FS?(8%F9"""F0%%trueG?&8&
&Fbr6#FgrFir@$4-&F66#.%)containsG6$FinF[s-%'RETURNG6#F%FirF$F$F$%1convert/PCOMP
LEXGf*6#F*6#%"LGF$F$C$Z%>F0-F@6%&%%CONEG6#.%3convert/POLYHEDRONGFMFTQ!F$Y6%&%.l
astexceptionG6#FXF:&F\u6#;FerFY-&%)PCOMPLEXGF;6$F0F%F$F$F$%(hvectorGf*F[t6&%"fG
FfpFgp%"jGF$F$C%>FgrF\q>F0-&F"6#.%(fvectorGFR-%&ArrayG6$;F9Fgr7#-%$seqG6$-%"+G6
#-Fhv6$*()FY,&F[sFhrFbrFYFhr-%)binomialG6$,&FgrFhrFbrFYFawFhr&F06#FbrFhr/Fbr;F9
F[s/F[sFevF$F$F$%'_printGf*6%'%"dG%*nonnegintG'%"lG%%listGFip6$Ffp%"TGF$F$C$>Fg
r-%#ifG6%-Fgn6$9&%&arrayGF]y-%&tableG6#-F76$FXF]y-.F"6%FS-%%nopsGFio7#-Fhv6$-Fh
y6#&Fgr6#F0/F0;FhrFSF$F$F$%/convert/affineGf*F[tF\tF$F$C$Z%>F0-F@6%&Fdt6#.FbzFM
FTFhtYFjtFauF$F$F$%/genhpolynomialGf*6$'F*%%FAN0G'%"qG%*algebraicG6*Fip%)f_face
tsG%"gG%"hGFfp%#IPG%"xG%"pGF$F$C,@$F_qFaq>8(F\q>Fgr&&FDFE6#.%%predG>Fbrf*6%%#rs
G%$rs2G%#n2GF$6#%)rememberGF$C$>&T#Fio,&F`]lFhr-%'expandG6#*&),&T%FhrFYFhr,&F]y
Fhr-&%&CFACEG6#.%$dimG6#%'_Env_fGFYFhr-T'FRFhrFhr?&Fb^l-T)Fa^lFir-T+6%-%(conver
tG6$-&F]^l6#.%%raysGFa^l%$setGFinF]yF$F$6,Fi[l8)Fj[l8*Fg[lF[sFf[lFgrFh[lFbr>F[s
f*6#Fi\l6%%#n1GFgpF[\lF\]lF$C)>F0F[^l@$/F0-FhyFR-Fgs6#Fhr>F0,&F0FhrFYFhr>&Fa]lF
RF9?&Fb^l-Fi]lFa^lFir-Fd^l6%F[_lFSF0>F[s-Fd]l6#*&,&FhrFhrFg^lFYFhrFf`lFhr-F[w6#
-Fhv6$*&-%&coeffG6%F[sFg^lFgrFhr)Fg^lFgrFhr/Fgr;F9,$F0#FhrFXF$F$6*Fi[lFe_lFf[lF
grFh[lFbrFj[lFf_l>Fe_l-F`yF$>&Fe_l6#F9F9>F0-F@6$&FD6#.%(maximalG-&F6Fgbl6$FS.Fc
x@%/-FhyF_zFhrC$>Fb^l&F0Fb`l>8+-Fd]l6#*&),&Ff_lFhrFYFhr,&F_\lFhrF[^lFYFhr-F[s6#
F[_lFhrC$?&Fb^lF0Fir-Fbr6%F[_lF9F_\l>Fecl-Fd]l6#*&)Ff_lF_\lFhr-%%subsG6$/Ff_l*$
Ff_lFYFablFhr@%/F`qFX-Fhdl6$/Ff_lFinFeclFeclF$F$F$%+iscompleteGf*F[t6'FipFhpFhu
%"rGFi\lF$F$C'>F0FM@&2FhrF`qFaq0-F76$""'&F06#FY7"Ffs>F_\l<"?&FgrF0Fir?&F[s-&FD6
#.%'facetsGF]sFirC$>Fbr-F\_l6$-F__l6#F[sFc_l@%-%'memberG6$FbrF_\l>F_\l-%&minusG
6$F_\l<#Fbr>F_\l-%&unionGFfgl5/F_\lFafl3/F6.Fcu/F_\l<#FaflF$F$F$Fb_lf*F[tF$F$F$
@%FhelFaq-Fjgl6#-F76#-F@6$%/cone/_rays_setGFMF$F$F$F`^lf*F[t6$FgpFipF$F$C%@$Fhe
lFaq>FgrFcr?(F0F\qFYF$Fir@$0F^zF_fl-Fgs6#,&F0Fhr&F66#.%'_shiftGFYF$F$F$%&linesG
f*F[tF$F$F$@%FhelFaq-F76$""$FSF$F$F$%)preimageGf*F[tF,F$F$C$>F0-F26#-F56$-F@6%&
FC6#.F`jlFMFTF%@%F\pF^pF0F$F$F$FQf*6#'F*<$F"Fcu6%F_xFgpFipF$F$C%>F0F\q>F[sFcr7#
-Fhv6$-F76#&F[s6#,&F0FhrFgrFY/Fgr;F9F0F$F$F$%+genhvectorGf*6#F`[l6&FfpF[\lFj[lF
gpF$F$C&@$0F`qFhrFaq>Fgr-&F"6#.F][l6$FSF[s>F0F\q-Fcv6$F_\m7#-Fhv6$-Ffal6%FgrF[s
Fbr/FbrF_\mF$F$F$Fdsf*6%F*Fhp'%#FCG%%nameG6,%#FlG%#ClG%#CrG%#C1GFhuF_xFfpFgpFip
%$cmpGF$F$C-@&2F_jlF`qFaq-%+type/!BASEG6$FinFDFgq>Ff_lF[r>Fe_l-&FdtF^^lFio@&0Ff
_lF\qF]r3F^hl/Fe_lF9C$@$/F`qF_jl>F]y&-&Fcu6#.%(minimalGFRFb`l-Fgs6#Fir>F0F]jl>F
gr-F76$F_jlFin>F[s-F\_l6$-F76$FerFinFc_l@'/F0Fjo>8-f*6#Fj[lF$F$F$3/F]jlFa]l-%'s
ubsetG6$Fi]l-F\_l6$FcrFc_lF$F$6&F]^mFgrF^^mF[s/F0Fgr>Fg`mf*Fi`mF$F$F$-F]am6$Fa]
lF_amF$F$6$F^^mF[sFfs>8,Fcr?(FeclFf_lFYFi^mFir?&Fbr-%'selectG6$Fg`m&Fiam6#FeclF
irC$>F_\l-&Fdt6#.%(supportG6$Fbr-F7F^gl@$0F_\lFjoC$@$Fa_m>F]y-&FD6#.%%_newG6$-&
Fb\l6#.%*_2domtypeG6#F_\lFS-Fgs6#-%&evalbG6#/F[s-F\_l6$-F__lFjcmFc_lF%F$F$F$%1i
squasipolytopalGf*6$F*'%"PGFj]m60F_xFdel%&ind_CG%&ind_rGFgpF]t%#L0G%#L1G%#eqG%%
ineqGFhpFfp%#dnG%#FrGF$F$C6@$F_qFaq-%)userinfoG6%F_jlF"%Ptrying~to~find~strictl
y~convex~support~functionG>F0F\q>Fe_lFM>81-&F"F`_lFR>8/-Fhy6#Fe_l>80*&F0FhrF_fm
Fhr?(F_\lFhrFhrF_fmFir>&F[s6#&Fe_lFjcm*&F0Fhr,&F_\lFhrFYFhrFhr>Fiam6$-Fhv6$-Fhv
6$-%-convex/embedG6%FcfmFgr&F[s6#8./Fgr-F76$F\flFggm/FggmFe_l-Fhv6$-Fhv6$-Fcgm6
'FcfmFgrF9,$FgrFY*&F0FhrF_\lFhr/F_\l;Fhr,&F_fmFhrFYFhr/FgrF]jl>Fg`m%%NULLG?&Fgr
F[fmFirC'>6$FeclFf_l-%-selectremoveG6$f*6#FhpF$F$F$-Fagl6$Fa]lFcrF$F$6$FdelFgrF
e_l>F_\l&F[s6#&FeclFb`l>F\sF_\l>Fiam6$Fiam-Fhv6$-Fcgm6'FcfmFgrF_\lFbhmFegm/Fggm
&FeclFV>Fg`m6$Fg`m-Fhv6$F_jm/FggmFf_l>Fggm-&Fdt6#.%._intersectionG6&FcfmF_fl7#F
iamF_fl>Fg`m7#Fg`m>Fe_l-F76$F_jlFggm?&FgrFg`mFir@$-%+std/forallG6$f*Fi`mF$F$F$-
F^dm6#/-%/convex/dotprodG6$FSFa]lF9F$F$FeimFe_lFfs>F_\l-Fhy6#Figm>Fggm-Fjjm6&Fc
fm7#FggmF_flFg`m>Fiam-F^dm6#/Fb\nF_\l@$3FiamF]elC%-Feem6%F_jlF"%8constructing~p
olyhedronG>Fgr-&Fdt6#.%'relintGFfgm>Fin-&%+POLYHEDRONGF[[n6&,&F0FhrFhrFhrF_fl-F
@6$f*6#%"vGF$F$F$-%-convex/homogG6$FS-F_\n6$FS&Fa]l6#;FhrFi]lF$F$6&FdelFgrF_xF0
F]jl-F@6$f*Fa^nF$F$F$-Fd^n6$FS-F_\n6$FS&Fa]l6#;,&&Fi]lFRFhrFhrFhr,&Fg_nFhrFd^lF
hrF$F$6(FdelFgrF[emFbrF_xF0F[fmFiamF$F$F$%+ambientdimGf*F[tF$F$F$@%FhelFaq,&F\q
FhrFfilFYF$F$F$%(hplanesGf*F[t6&FipF_xFhpFi\lF$F$C'@$FhelFaq>FgrF\q>F0FM>Fbr-Fj
gl6#-F76#-F@6$FjhlF0@'F_cl-F76$F\flFccl0F]jlFjo-F76$F\fl-&Fdt6#.%&_hullG6&FgrF_
fl7$-F76#F]jl-F7FgwF_fl-F76$F\fl-Fcan6&FgrF_fl7$-Fhv6$-F76#-F76$F_jlF[s/F[sF0F[
bnF_flF$F$F$%#&xGf*6#Fdp6/F\^mF*%$MC1G%$MC2GFgpFiuF_^m%#C2G%#l1G%#l2GF_x%#d1G%#
d2GF$F$C)>F07#FU@*/F`qF9@%/F6Fey-Fgs6#-&Feo6#.%(zerofanGFbbl-Fgs6#-Fbu6#7#-&Feo
6#.%/fullpolyhedronGFbbl4-Fgn6$F0-Fcx6#F6-F_p6#QFillegal~combination~of~argumen
t~typesF$/F`qFhr-FgsFR3F^hl-%+std/existsG6$&Fcu6#.%(isemptyGF0-Fgs6#-Fbu6#7#-&F
eo6#.%0emptypolyhedronG6#-F[w6#-F76#-F@6$&Fcu6#.Fj_nF0>F_fmF]`n>FiamF]jl>F[sFcr
?&Fgr&F0FVFirC)>Fcfm-F76$FXFgr>Fggm,&F_fmFhrFcfmFhr>Fg`m-F76$F_jlFgr@%5/FiamFjo
/Fg`mFjo>FiamFjo>Fiam7$-F76#-%%map2G6&FcgmFggmFiamF9-F76#-Fihn6&FcgmFggmFg`mF_f
m>Fbr-F76$FerFgr>F[s-F^y6$;F9Fggm7#-Fhv6$7#-Fhv6$-Fhv6$-Fhv6$-&FD6#.Fhbn6$Ff_lF
ecl/Fecl&Fbr6#,&F_\lFhrFe_lFY/Ff_l&F[s6#,&Fe_lFhrFfilFhr/Fe_l;-%$maxG6$F9,&F_\l
FhrFcfmFY-%$minG6$F_fmF_\l/F_\lFein>F_fmFggm-&F6Facm6%F_fmFiam-%%evalGF^glF$F$F
$%-issimplicialGf*F[tF$F$F$@%FhelFaq-Fh[n6$&FD6#-F76#F:FMF$F$F$Favf*F[t6$F+%&f_
dimGF$F$C'@$FhelFaq>F0-Fcv6#;,$FfilFY-&F6F_gnFR>Fgr&Fb\lF^^l-&F66#.%)traverseG6
$FSf*6#Fhu6#F_xF$F$C%>F0-Fa]lFR>&Fi]lF_z,&Fa^oFhrFhrFhrFirF$F$6&Fh\oFgrF+F0F0F$
F$F$Fiblf*6$F*Fex6%FipFgpF_xF$F$C%@(F_qFaq5Fcen/FinF]cl-Fgs6#-F@6%F`cmFMFS0Fin.
F^yF`en>F0-Fihn6&F@F`cmFcrFS@%Ficn-F\\oF_zC$>F[sF\q-F^y6$;FY,&F[sFhrFYFhr7#-Fhv
6$&F0F]s/FgrFiwF$F$F$%;simplicialsubdiv/subdivideGf*6&%#CeGF_xFdel%$sMCG6%FhpF*
F[\lF$F$C%>F0&FSFb`l@$4-Fagl6%F]y-F76$FerF0F[sFden-Fhv6$-Fix6%-Fagl6$F[sFhgnFih
m-%<FAN/simplicialsubdiv/insertG6$-&FD6#Ffan6&Fin7#-&F]^lFgcmF]sF_fl7#F]y9'/Fgr
-&FdtFfflF_zF$F$F$%&codimGf*F[tF$F$F$@%FhelFaq-Fhy6#-&F"6#.F^`nFRF$F$F$%#&=Gf*F
cp6(%$ll1GF`^mFgpF_xF\cnF]cnF$F$C+>FbrF\q@(F_qFaqFdqFgq0FbrF[rFfs>F0F]jl@$0F0F]
`mFfs>Fgr-Fix6%Fe`mf*Fi`mF$6$%)operatorG%&arrowGF$7$F]jlF_amF$F$F$Fjhl>F_\lFcr>
Fe_lFb`m?(F[sF9FhrFbrFir@$0-F\_l6$-F@6$Fgr&F_\lF^glFc_l-F\_l6$-F@6$Fgr&Fe_lF^gl
Fc_lFfsFirF$F$F$%&flagfGf*6$F*'%"SG-Fc_l6#%(integerG6(Fh\oFf[l%+f_traverseGF]t%
"mG%&flagsGF$F$C+@&F_qFaq/FinFaflFa`l>Fbr-%%sortG6$-F\_l6$FinFcx%">G>F_\l-FhyFg
w>F0Fc]o>FgrFa\l>F[sf*Fi_l6$%#asG%#F0GF\]lF$C%@'0-Fa]lFa^l&Fi]l6#F`q>F0FT/F`qFd
^lC$>Fg^l,&Fg^lFhrFhrFhr-FgsF$>F0FU>FgrFb^l?&Fb^l-Fi^lF]sFir-F:6$F[_lF0F$F$6,Fh
\oF0F]tFbrFjeoF_\lF[foFe_lFf[lFgr>Fe_lF9?&Fb^lFdblFir@$1&FbrFb`l-F0Fa^lF\dlFe_l
F$F$F$%1simplicialsubdivGf*F[t6,FipFe`oF]tF_xFfpFhp%#FLGFhu%#f2G%#f3GF$F$C)@&Fh
elFaq4-&F"6#.%*ispointedGFR-F_p6#Q9argument~must~be~pointedF$>FbrF\q>F0Fcr>Fgr-
F^y6$;F9Fbr7&&F0FbblFccl&F0F]u-%"$G6$F_fl,&FbrFhr!"#Fhr>F[s7#-Fhv6$-Fhv6$-Fgao6
$Fe_lFgr/Fe_l&F0Fjcm/F_\l;F_jlFbr?(F$FhrFhrF$0F[sF_flC(>F[s-Fafo6$F[sf*6$Fj[l%"
yGF$F]doF$-F^dm6#1&FinF]u&FSF]uF$F$F$>Fe_l&F[s6$FhrFhr>Ff_l-Fafo6$-F76$"")Fe_lf
*Fj[pF$F]doF$-F^dm6#1FgyF``lF$F$F$>Fg`m&Ff_lFb`l?&Fecl&Ff_lFV0Fg`mFaflC$>FiamFg
`m>Fg`m-%*intersectG6$Fg`mFecl>F[s-F@6'&F66#Fa`oF[sFbr&-F76$FerFe_l6#-F76$FhrFi
amFgr-%'subsopG6$/Fer-F\\oF]sFSF$F$F$Fh_mf*F[tF$F$F$@%FhelFaq7#-&%(FANCONEGFacm
6$-Fcan6&F\qF_flF]jlF_flFSF$F$F$%)skeletonGf*6$F*'FfpFgeo6$F]tFh\oF$F$C'@&F_qFa
q1F`]oFinFden>F0Fihm>FgrFc]o-Fe]o6$FSf*F[^oF$F$F$@%2T$-Fi]lFRFirC$>Fd^l6$Fd^lFS
F%F$F$6(FfpFinFh\oFgrF]tF0@%/F0Fihm-F_p6#Q1nothing~selectedF$-F56$-F@6$Ffcm7#F0
F%F$F$F$Fccmf*F$F$F$F$-.%%_OBJG6$F6FUF$F$F$%.stellarsubdivGf*6#F^go6'%#rlGFdelF
_xFdeoF*F$F$C)@$F`io-F_p6#Q;sorry,~fan~must~be~pointedF$>F07#FT@$4-Fgn6$F0-Fcx6
#F[oFgq>F_\lFS>F[s-F76$FXF_\l?&Fgr-F@6$%2convex/reduceqvecGF0FirC'@$0-FhyF]sF[s
F]r>Fbr-&F"Febm6$F_\lFgr@$/FbrFjo\>Fbr-F\_l6$-F76$FerFbrFc_l@%/FbrFafl-F_p6#QEr
ay~is~contained~in~the~minimal~coneF$>F_\l-Fe^p6$/Fer-Fihn6(F@%<FAN/stellarsubd
iv/subdivideG-F76$FerF_\lF[s7#FgrFbrF_\lF_\lF$F$F$Feiof*F[tF$F$F$@%FhelFaq-F^dm
6#/F]jlF_flF$F$F$%&flaghGf*Fbeo6%Fex%"sGFh[lF$F$C'@$F_qFaq>F[sF9>FgrFgy?&F0-&%)
combinatG6#.%)powersetGFioFir>F[s,&F[sFhr*&)FY,&FgrFhrF`clFYFhr-&F66#.F`eo6$FSF
0FhrFhrF[sF$F$F$Fgbmf*F[t6$FhpFhuF$F$C$?&F0FMFirC$>Fgr-F26#-&FDFebm6$F0FT@&/Fgr
F]pF^p0FgrFjo-Fgs6#-F`cm6$-FfcmF]sFSFjoF$F$F$%.regularsubdivGf*Fb\m6/FipFe`oFfp
F_xFhp%"BG%"UGFgpFiuFdelFjapFi\lF-F$F$C,@$FhelFaq>F0Fcr>FbrF\q>%6FAN/regularsub
div/rMCG-F^y6$F^jo7#-Fcjo6$F_fl,&FbrFhrFhrFhr>FgrF[ip?(F[sF9FhrFbrFir?&F_\l&F0F
^glFir@%-&Fdt6#.%*isregularGFjcm>&FjhpF^gl7$-F76#F\jpF_\l>&FgrF^gl7$-F76#FajpF_
\l?(F[sFXFhrFbrFir?(F$FhrFhrF$0FajpF_flC--Feem6'FerF"-FhyFdjp.%Csingular~cone(s
)~left~in~dimensionGF[s>F_\l&FajpFb`l>FggmF\ep@$0-FhyFfgmF[sC$-Feem6%FXF".%Gres
tarting~with~simplicial~subdivisionG-Fgs6#-&F"6#.F`hp6#-&F"6#.FhhoFR>Fe_l-&Feo6
#.%-_hermite2invG6%-&Feo6#.%+_transposeGFfgmFirFf_l?(FeclFhrFhrF$/&Fe_l6$FeclFe
clFhrF$>Fg`m&Ff_lF`bm>F_fm&FggmF`bm?(FiamFhrFhr,&FeclFhrFYFhrFir@$0&Fe_l6$FiamF
eclF9C$>Fg`m,&Fg`mFhr&Ff_l6#FiamFhr>F_fm6$F_fm&FggmFb^q>F_fm<#F_fm@%/-Fhy6#F_fm
F[s>Fajp-Fe^p6$/Fhr-%<FAN/regularsubdiv/subdivideG6&F_\lFbrFa[nF_fmFajp?(FeclFX
FhrFbrFir>&FgrF`bm-F@6'Fa_qFe_qFbrFa[nF_fm>Fcfm-Fe^p6$/Fer-F\\o6#FjhpFS>Fjhp.Fj
hpFcfmF$F]`qF$%)homologyGf*6$F*F^go6*%#naG%&COEFFGF+%#ORGF_xFh\o%)getbasisG%(st
op_rsGF$F$C->6$F0Fgr-&Feo6#.%*_parsemodG6#FU>F_\lF`]o@'/F0Fhr>Fecl-Fix6%FicnFaf
lFahl/F0FXC$@&FdqF`en0-Fa]oFioF_\lF]r>Fecl-F\_l6$-F@6$Fjhl-FNFioFc_lFaq-Feem6%F
_jlF6%7determining~incidencesG>Fbr-F`y6#%'sparseG>F[s-Fcv6$;F9F_\l7#-Fcjo6$Fafl
,&F_\lFhrFhrFhr>Fe_lFc]o>Ff_lf*6#'Fi\lFc_lF$F\]lF$-F76#-&Feo6#.%+_gausselimG6#-
F\_l6$FSFcxF$F$F$@$4-F]am6$Fecl-&F66#.%*traverse2G6%FSf*6$FhuFi\lF\^oF$F$@%-Fge
n6$f*Fi`mF$F$F$-F]am6$Fa`pFSF$F$6$Fi\lFinFa]lF%C%>F0Fb`p>&Fd^lF_z-Fjgl6$Fgeq<#F
inFirF$F$6(Fh`qFeclFh\oFe_lF+F[sf*6&%#f0G%#f1G%$rs0G%$rs1GF$F$F$>&Fa]l6$F]yFabo
-%%signG6#-&Feo6#.%%_detG6#-&Feo6#.%+_matmatmulG6$7#-Fi]l6#Fabo7$-Fi]l6#F]y-F76
$Fhr-Fegl6$FaboF]yF$F$6&Ff`qFbrFg`qFf_l-F_p6#Q=arguments~must~be~compatibleF$-F
eem6%F_jlF6%3computing~homologyG-&Fgr6#.%*_homologyG6&F9F_\l-F@6$FhyF[sf*6#%"kG
6$FgpFiuF$F$7#-Fhv6$7#-Fhv6$&Fa]l6$FgrF0/Fgr&Fi]l6#,&FSFhrFYFhr/F0Fg_nF$F$6&Ff`
qFbrF+F[sF$F$F$Fh]of*6$F*'Fg[l%*procedureGF$F$F$@%F_qFaq-Ffdq6%FSFinf*F$F$F$F$F
$F$F$F$F$F$F$%,ispolytopalGf*FfdmF$F$F$C%@$F_qFaq-Feem6%F_jlF"%5testing~complet
enessG3-&F"6#.FaelFR-&F"6#.Fddm6$FU-Feem6%F_jlF"%;testing~quasi-polytopenessGF$
F$F$FGF^_pFidqf*6%F*'F_fqFbjq'F\ioFbjq6&%#g1G%#g2GFf[lFieoF$F$C'@'F]elC$>F0f*F$
F$F\]lF$FirF$F$F$>FgrFinFa_mC$>F0Fin>FgrF]yFaq>F[sFa\l>Fbrf*Fi_l6$F^goFafqF\]lF
$@$-Fa]l6$Fb^lFSC$>F0Fb^l?&Fb^l-Fi]lF_zFirC%>FgrF[_l-Fd^l6&Fb^lF0FgrFS-F:F]sF$F
$6(F`\rF0Ff[lF[sFa\rFgrZ%?&Fb^lFdblFir-FbrF]dl6$Q8cannot~evaluate~booleanF$Q;in
valid~boolean~expressionF$@%/&F\uFb`lFbrYQhncannot~evaluate~return~value~of~sel
ection~function~to~booleanF$Y6$-%$catG6$Q>error~in~selection~function:~F$F[u&F\
u6#;F_jlFY-F@6$F7<#-%(indicesG6#-F76$Fer-F\\oFgwF$F$F$%#&<Gf*Fcp6%F\cnF]cnFgpF$
F$C$@&F_qFaq-&F66#FapFaaqC%>F0Fcr>FgrFb`m?(F[sFhrFhrF\qFir@$0-Fhy6#FdipF[[qFi_m
F%F$F$F$%,regularpartGf*Fb\mF\tF$F$C&@$FhelFaq>F0Fihm-&F"Ff]o6$FSf*F[^oF$F$F$@%
-&F]^lFhipFRC$>Fa]l6$Fa]lFSF%FirF$F$6$F]tF0-&F"F;6$-F@6$F_boF`apF%F$F$F$F=f*6$'
%$Cl1GFcx%+compattestG6,F_xFbxFhpF]^mFipFfp%#CdGF^cn%'notredG%)m_compatGF$F$C*@
$/F``lFhrC&>F[sFi`o>F0-F76$FXF[s>Fe_l-Fj^mF^gl-Fgs6#-Fi[o6%F0Febn-F^y6$F_\m7%-F
cjo6$F_flFe_l7#-F\_l6$F[sFC-Fcjo6$F_fl,&F0FhrFe_lFY>Fg`mf*F$F$F]doF$FirF$F$F$>F
br-Fafo6$FSf*Fj[pF$F]doF$-F^dm6#2-Fhy6#-F76$F\flFS-Fhy6#-F76$F\flFinF$F$F$>F0-F
76$FXFfho>Fgr-F76$F_jlFfho>F_\l-F^y6$F_\m7#-Fcjo6$F_flF]^n?&F[sFbrFirC)@$0F]crF
0F]r@$0FebnFgr>FgrFjo@$Fin>Fg`m&-F76$FhrF[s6#.%.arecompatibleG>Ff_lF`cr>FiamFir
?(Fe_lF0FYFf_lFiam?&Fecl&F_\lFafmFir@&4-Fg`m6$F[sFeclF_hq-F]am6$-F\_l6$-F76$Fer
F[sFc_l-F\_l6$-F76$FerFeclFc_lC%-Feem6%FXF6.%3redundant~argumentG>FiamF%[@$Fiam
>&F_\l6#Ff_l7$-F76#FhhrF[s-Fi[o6%F0Fgr-Fihn6&F@F\_lF_\lFCF$F$F$FiilF9FjipF^\o%*
protectedG,
I$rayf*6#'Fb^nF[oF$F$F$@%FhelFaq-.F:6#-F_cpFRF$F$F$Fair,
I/convex/dehomogf*6#'Fh[lF[oF$F$F$7$&FS6#;FhrFfjo&FSF^flF$F$F$F$,
I.convert/CFACEf*Fi`m6#%$fcnGF$F$C$@%-%)assignedG6#&FeoFe\o>F0F][s>F0&-F76$FhrF
SFe\o@%-Fgn6$F0Fbjq-F0Faaq-FhirFaaqF$6#FeoF$F$,
I3convex/dotprodwithf*Fa^n6$Fgp%"wGF$F$-%(unapplyG6$-F[w6#-Fhv6$*&&FSF_zFhrF^zF
hr/F0;FhrF``lFgrF$F$F$F$,
I1convex/reducevecf*Fa^n6#FfpF$F$C$>F0-%$absG6#-%%igcdG6#-F7FR@%/F0F9FS*&FSFhrF
0FYF$F$F$F$,
I2convex/reduceqvecf*Fa^n6$Ffp%#vlGF$F$C%@%-FgnF`dq>FgrFS>FgrF_dq>F0-F^]s6#-Fa]
s6#-F76#-F@6$%&numerGFgr@%Fe]sFgr*(-%%ilcmG6#-F76#-F@6$%&denomGFgrFhrF0FYFgrFhr
F$F$F$F$,
I3convex/combinevecsf*6$Fb^nF\\sF$F$F$-Fh\s6#,&*&F_\pFhrFi`oFhrFhr*&F`\pFhr&Fin
Fb`lFhrFYF$F$F$F$,
I3convex/maximalsetsf*6%'Fbx-Fcx6#Fc_l'Fd[oFgeo'F`[oFgeo6%%#nlGFgpFjeoF$F$C(>F0
7#-Fhv6$7$Fgr-Fhy6#&FSF]s/FgrFg\s@$Fa_m>F0-%'removeG6$f*Fi`mF$F$F$52F`\pFa`p2T&
F`\pF$F$6&Fd[oFinF`[oF]yF0>F0-F@6$f*Fi`mF$F]doF$Fi`oF$F$F$-Fafo6$F0Fi[p>F[sF_fl
?&FgrF0Fir@$4-Fgen6$f*Fi`mF$F$F$-F]am6$&Fa`p6#Fi]l&Fa`pFRF$F$6&FbxFSFgpFgrF[s>F
[s7$FibmFgrF[sF$F$F$F$,
I4convex/transposesatf*6$'%$satGFcx'%(entriesGF`x6%%%sat2GFgpFiuF$F$C%>F07#-Fcj
o6$FaflFin?(FgrFhrFhrF``lFir?&F[sF_asFir>F0-Fe^p6$/F[s-Fjgl6$Fdip<#FgrF0F0F$F$F
$F$,
I1convex/mat/homogf*6$'F+%)listlistG'Fb^nFcx6#FgpF$F$7$-Fhv6$7$-F76#Fe\s&FinF_z
Ff\s-%.convex/originG6#,&-Fhy6#Fi`oFhrFhrFhrF$F$F$F$,
I1type/POLYHEDRON1f*Fi`mF$F$F$3-Fgn6$FSF[^n0FcrF_flF$F$F$F$,
I1type/POLYHEDRON0f*Fi`mF$F$F$3F_fs-&FdtFbs6$FS-Fges6#F\qF$F$F$F$,
I2type/POLYHEDRON_0f*Fi`mF$F$F$3F_fs-&Fdt6#.%/containsrelintGFgfsF$F$F$F$,
I3type/POLYHEDRON__0f*Fi`mF$F$F$3-Fgn6$FS%-POLYHEDRON_0G/F[erF_flF$F$F$F$,
I3convert/POLYHEDRONFejrF$,
I2polyhedron/&x/rayf*6$Fb^n%#roGF$F$F$-Fe^p6$-F7FioFSF$F$F$F$,
I3polyhedron/&x/conef*6#%#P1G6+Fhdm%#PdGF_xFgp%$eqsGFb^nFfpF]hs%#hoGF$F$C->F0-&
Fdt6#Fhbn6#-F76#-F@6$&Fdt6#%-convert/CONEGFecn>Fgr-F76$FXF0>F_\lFihm>Ff_lF\q>Fe
_l,$-FgesFihrFY>FiamFihm?(FbrFXFhrF`qFirC&>Fiam6$FiamFf_l>F[s-F76$FX&FUFgw>F_\l
6$F_\l-Fcgm6'FgrFe_lF9-FgesF^glFf_l>Ff_l,&Ff_lFhrF[sFhr>F0-%/convex/motzkinG6%F
07#F_\lF_fl>FiamF_[n>Fecl-F@6$f*Fi`mF$F]doF$/FSFihmF$F$F$Fiam-%.convex/reduceG6
#-&FdtFacm6),(FgrFhrF`qFYFhrFhr-F@6%Fjgs-F76$F_jlF0Fecl-F@6%FjgsF^aoFecl-F76$""
&F0-F@6&%5polyhedron/&x/hspaceG&-F76$F\flF06#;Fhr,$F`qFYFeclFiam-F@6&F[]t-F76$"
"(F0FeclFiam-F76$Fi\pF0F$F$F$F$,
I4convex/nearestpointf*6$'%"QGFc_l'%"RGFc_l6%F]tFgpFiuF$F$C%>F07%-Fhv6$,&-F76$,
&FgrFhrFhrFhrFSFhr-F76$FgrFSFY/Fgr;Fhr,&F``lFhrFYFhrF`hsFa[s?(FgrFXFhrF`clFir?(
F[sFhrFhr,&FgrFhrFYFhrFir>F_`o,&F_`oFhr*(-F_\n6$F_`oFdipFhr-F_\n6$FdipFdipFYFdi
pFhrFYF]flF$F$F$F$,
I3convex/lindiosolvef*6&'%#rdG%'posintG'F^emFcx'F_emFcx'%#RSGFc_l6,F_xF+%#AtGFg
p%"MGFhdmF[\p%#AyG%%yincG%#v0GF$F$C--Feem6*F_jlFdtFgy.%.equations~andG-FhyFigq.
%0inequalities~inGFS.%+dimensionsG@$3/FinF_fl/F]yF_flO-Fix6%/F`qFerF_fl-&Feo6#.
%'_idmatGFR>F0F^at>Fgr7$F`hs-Fhv6$7&-F76#,$&F]yFgwFY-Fcjo6$F9,&FbrFhrFYFhrFhr-F
cjo6$F9,&F0FhrFbrFY/Fbr;FhrF0>F[s-F\]qF]s>F0,&F0FhrFSFhr>Fe_l-F\btF_z>F_\lF_fl>
Fg`m7#-Fcjo6$F9Fccp?(F$FhrFhrF$0Fe_lF_flC&>Ff_l&Fe_lFb`l>Fe_l-Fe^p6$/FhrFihmFe_
l>Fecl-&Feo6#.%+_matvecmulG6$FgrFf_l@&/FeclFg`m@$4-Fagl6$Ff_lF_\lC$@$3Fjat4-Fag
l6$&Ff_l6#FazFaboO7#Fiet>F_\l7$-F7FjcmFf_l4-Fgen6$f*Fi`mF$F$F$-%6convex/lindios
olve/<=GF`\nF$F$6$F[\pFf_lF_\l?(FbrFhrFhrF0Fir@$2-F_\n6$&F[sFgwFeclF9C$>Fiam-Fe
^p6$/Fbr,&&Ff_lFgwFhrFhrFhrFf_l@$4-Fagl6$FiamFe_l>Fe_l7$-F7FafmFiam-F@6$f*Fi`mF
$F$F$&FS6#;FhrFa`pF$F$6$F]`tFSF_\lF$F$F$F$,
I4convex/hilbertbasisf*6%'%$allG%(booleanG'FhpFdt'FchpFj]m6)FbxFdelF_xFdhp%"VGF
_emF^cnF$F$C/>F[sF[r>Ff_l-Fjjm6&F[sF_flF_er-&Feo6#.%-_selectbasisG6#-F76$Ff]tFi
n>F0-F76$F_jlFf_l>Fgr-F76$FerFf_l-&Feo6#.%*_hermite3G6&-F\]q6$7$-F7F_z-F7F]sF[s
FirFbrF_\l@$Fa_m>F]y&F_\l6#;FhrF`cl@$/FgrF_flOF_fl>F[sFi^m>Fbr&Fbr6#;,&F`clFhrF
hrFhrF[s>F_\l&F_\lFe[u>F[s,&F[sFhrF`clFY>Fe_l-Fdas6%Fagl-F@6$Fh\s-F_gq6$F_\lFgi
t-F\_l6$-F\btF^glFc_l-F_gq6$-F\]qFjcm-Fi_t6&F[sF_flFe_l-Fix6%FSFihm-F\_l6$-F_gq
6$FbrFgrFc_lF$F$F$F$,
I2face/volume/volobf*F[t6.%#rnGFfpFh[lF[io%#viG%#BLGF[itFchp%#BVG%#OBGFb^nFgpF\
]lF$C$>F0F\q@'2FXF`clC)>Fbr-&%&PFACEGFc\lFR>F_\l-F76$FhrF\q>Fggm&%5face/volume/
verticesGFjcm>Fe_l-Fdas6$f*F[^oF$F$F$-Fagl6$Fa]lF\qF$F$6$Fe]uF_\lFbr>Ff_lF9?&Fe
clFe_lFirC'>6$FiamFg`m-Fa]uF`bm>Fgr,&FggmFhr&Fg^u6#-F76$Fhr-F76$FXFeclFY>Fgr-F[
w6$Fgr-Fhv6$*(-F_\n6$Fgr&F_fmFb`lFhrFe`uFhr&F_fmF]uFhr/F_fmFg`m>F[s-F_\n6$FgrFg
r>Ff_l,&Ff_lFhr*&FiamFhr-%%sqrtGF^glFhrFhr6$*&-%)simplifyG6$Ff_lF_auFhr,&-Fhy6#
Fg`mFhrFhrFhrFY7$-F7Fgau7$Fgr,$*$F[sFYFY/F`clFXC%>Fgr,&&Fg^u6#FgisFhr&Fg^u6#-F7
6$FhrF0FY>F[sFi`u6$F^au7#Fjau6$F`clF_flF$6#Fg^uF$F$,
I0convex/affh2rayf*6#'Fh[l<$%*affhplaneG%*affhspaceGF$F$F$@%-Fgn6$Fa[sF\o-Fd^n6
$F\q,$Fa[sFY,$-Fd^n6$Fa[s,$F\qFYFYF$F$F$F$,
I-convex/embedf*6''FfpF`x'F]emFcx'%#i1GF`x'%#L2GFcx'%#i2GF`xF$F$F$@'Fa_m7%-Fcjo
6$F9F]yF`hs-Fcjo6$F9,(FSFhrF]yFYFgyFY2F]y9(7'FjduF`hs-Fcjo6$F9,(F`euFhrF]yFYFgy
FY-F7Ffgq-Fcjo6$F9,(FSFhrF`euFY-FhyFfgqFY7'-Fcjo6$F9F`euFeeu-Fcjo6$F9,(F]yFhrF`
euFYFieuFYF`hsF\euF$F$F$F$,
I'CONVEX=F$F%E\[lY%*_hermite1Gf*6$'FchpFcx'%%fullGFght6,F+%#i0GFgpFiuFjeoF_x%#a
1G%#a2G%#c1G%#c2GF$F$C(@$/FSF_fl-Fgs6#F_fl>F0FS>F_\lF`cl>FgrFhr?(FbrFhrFhr-Fhy6
#Fccl1FgrF_\lC'>Ff_l&F06$FgrFbr?(F[sFi^tFhrF_\lFirC)>Fecl&F06$F[sFbr@$/FeclF9Fj
cp>Fe_l-F^]s6#-%'igcdexG6&Ff_lFecl.Fiam.Fg`m>Ff_l*&Ff_lFhrFe_lFY>Fecl*&FeclFhrF
e_lFY>F0-Fe^p6%/Fgr,&*&Fg`mFhrFdipFhrFhr*&FiamFhrF_`oFhrFhr/F[s,&*&Ff_lFhrFdipF
hrFhr*&FeclFhrF_`oFhrFYF0>Ff_lFe_l@&/Ff_lF9Fjcp2Ff_lF9C$>Ff_l,$Ff_lFY>F_`o,$F_`
oFY@$Fin?(F[sFhrFhrF\ctFir>F0-Fe^p6$/F[s,&FdipFhr*&-%&floorG6#*&FbhuFhrFf_lFYFh
rF_`oFhrFYF0>FgrFi^tF0F$F$F$%)convhullGf*F$6)%#alG%#PlGFdelFbxFfpF]tFhpF$F$C+>F
0Fecn>Fbr-F@6%Fd^n-F@6$F7-F]bm6%FgnF0%%lineGF9>F[s7$-F76#-F@6%Fd^n-F@6$F7-F]bm6
%FgnF0FbirF9-F76#-F@6%Fd^n-F]bm6%FgnF0F[oFhr>Fgr7$-F76#-F@6$Fiz-F]bm6%FgnF0Fdt-
F76#-F]bm6%FgnF0F[^n>F_\l,(FgfoFhr-FhyF^glFhrFccpFhr@$5/F_\lF90F_\lF`q-F_p6#QGa
rguments~must~be~rays,~lines~or~conesF$>Fe_l7$F[bnFibm>F_\l-Fix6%F^dt-Fhy6#Fadt
-F76$FX&FgrFb`l@%3-Fh[n6$f*Fi`mF$F$F$/F\qFa]lF$F$6$FfpF_\lFgr5/Fe_lF_fl3/F]_vF_
\l-Fgn6$Fe_lF\esC%>Ff_l-Fcan6&F_\lFgrFbrF[s>F[sF]jt@%5-Fgen6$%.ray/_isaffineGF[
s30F_\lFhr/-Fj^mFihrF9-&F[^n6#.%%_c2pGFihrC$-%(WARNINGG6#Q:no~affine~point~spec
ifiedF$-Fcfn6#F[gmF]rF$F$F$%+wprojspaceGf*F$6$Ff[vFdhpF\]lF$C$>F0Fecn@'5/F0F_fl
4-Fgn6$F0-Fcx6#F^`t-F_p6#QAarguments~must~be~of~type~posintF$F_clF\dnC$-Ff\q6%-
F@6$f*Fi`mF$F]doF$7#FSF$F$F$F0FirFgr-&F[^n6#.%(facefanG6#-&Feo6#.Fc[v6#-F76#-Fi
hn6%Fe^pFedt-FdoF]sF$F$F$%/cyclicpolytopeGf*6$'F_xF^`t'FfpF^`tF`iqF$F$@%F_qFaq-
Fgcv6#-Fhv6$7#-Fhv6$)F0Fgr/FgrFaz/F0;F9,&FinFhrFYFhrF$F$F$%%modzGf*6$'Fdel<$F`x
Fdbv'%&eldivGFdbv6$%#_rG%'_eldivGF$F$C&@&F_qFaq3F]el4-Fgn6$FSF`xF`en>F0-Fix6%5F
]el3FcenF`fvFSF9>Fgr-Fix6%F]elFin-Fix6%3FcenF]^sFSF_fl-&%%MODZGFacm6$F0-&F_gv6#
.%+_normeldivGF]sF$F$F$%$fanGf*F$6%F]^mFexF*F$F$C&>F0Fecn@'/Fd\o.Ffgv@%-Fgn6$F0
-Fcx6#<$F"Fdt>FgrF"Fgq-Fgn6$F0-Fcx6#<$F[^nFcu>FgrFcuFgqZ%>F[s-&FgrF;6$-F@6$f*Fi
`mF$F$F$@%-FgnF`\n-F76#-&Fa]lFgblFRFSF$F$6$FexFgrF0FirFhtF^pF[sF$F$F$%+linearhu
llGf*F$6'Ff[vF]^m%#llGF_xFhpF$F$C(>F0Fecn>FgrFh]v>F[s-F@6$F_cp7%-F76#F`]v-F76#F
h\v-F76#F]\v@$5Fgcn0,&FccpFhrF`^vFhrF`qFe^v>Fbr-Fix6%/F[sF_flF__v-Fhy6#&F[sFb`l
@%5-Fgen6$f*Fi`mF$F$F$0F\qFa]lF$F$6$F_xFbrFgr3Fd[p50Fc[wFbr4-Fgn6$F[sF\esF]r-Fc
an6&FbrF_fl7%-Fhv6$-F76#-F76$F_jlF_\l/F_\lFgr-Fhv6$-F76#F\epF\]wFibmF_flF$F$F$%
)readpolyGf*6#'%#fnG%'stringG6+%#fdG%$secGFbx%%dataGFfpF_xFhdmFecsFicsF$F$C-@$F
helFaq>F0-%&fopenG6$-Fj^r6$FSQ&.polyF$%%READG?(F$FhrFhrF$4-%%feofGF_zC&>Fgr-%'s
scanfG6$-%9convex/readpoly/readlineGF_zQ#%sF$@$/FgrF9Fjcp>Fgr-F\_l6$Fa_vFj]m@+-
Fagl6$Fgr%;convex/readpoly/matrixsecsGC$-Feem6&FerF[^n.%0reading~sectionGFgr>F\
s-%7convex/readpoly/matrixGF_z-Fagl6$Fgr<&.%,AMBIENT_DIMG.%$DIMG.%+N_VERTICESG.
%)N_FACETSGC$F[`w>F\s&-F\_w6$F^_wQ#%dF$Fb`l-Fagl6$Fgr<$.%3VERTICES_IN_FACETSG.%
5FACETS_THRU_VERTICESGC$F[`w>F\s-%:convex/readpoly/listofsetGF_z33/Fgr.%,DESCRI
PTIONG-F[[s6#&%*infolevelG6#F[^n1FXFebwC$-Feem6&FXF[^n.%3displaying~sectionGFgr
?(F$FhrFhrF$FirC%>F[sF^_w@$/F[sFhtFehr-%'lprintG6#-F\_l6$F[sFj]mC$-Feem6&FerF[^
n.%1skipping~sectionGFgr?(F$FhrFhrF$0F[_wF9F$-%'fcloseGF_z@%-F[[s6#&Fbr6#Fe`w>F
_\l,&FddwFhrFhrFhr-F@6&%5convex/readpoly/nopsGFi_wFbrF_\l@$4-F[[sFjcm-F_p6#QPca
nnot~construct~polyhedron~from~the~given~dataF$@&-F[[s6#&Fbr6#.%,AFFINE_HULLG>F
dew-FjcqFcew-F[[s6#&Fbr6#.%*EQUATIONSG>Fdew-FjcqF[fw@(-F[[s6#&Fbr6#Fg`w>Fe_l,&F
efwFhrFhrFhrFbew>Fe_l-FhyFcew-F[[s6#&Fbr6#.%)VERTICESG>Fe_l-Fhy6#-FjcqF\gw@$3-F
[[sFafm/F_\lFe_l>FdewF_fl@-33F[gw-F[[s6#&Fbr6#.%'FACETSGFbewC%@)-F[[s6#&Fbr6#Ff
awC$>FiamFghw>Fecl-Fix6%-F[[s6#&Fbr6#FhawF`iw-Facs6$Fiam-FhyF\gwF^iwC$>FeclF`iw
>Fiam-Facs6$Fecl-FhyF^hw2FdiwFjiwC$>Fiam-%8convex/readpoly/makesatG6$F_hwF]gw>F
eclFbiwC$>Fecl-F_jw6$F]gwF_hw>FiamFhiw-Feem6%F_jlF[^n.%Fdescription~of~polyhedr
on~is~completeG>Ff_l-F]\t6(F_\lF_flF]gwFecl-Fjcq6$FdewF_hwFiamF[gwC$-Feem6%F_jl
F[^n.%Fconstructing~polyhedron~from~VERTICESG>Ff_l-Fcan6&F_\lF_flF_flF]gw3F]hwF
bewC$-Feem6%F_jlF[^n.%Tconstructing~polyhedron~from~FACETS~and~AFFINE_HULLG>Ff_
l-Fjjm6&F_\lF_flFdewF_hw-F[[s6#&Fbr6#.%'POINTSGC$-Feem6%F_jlF[^n.%Dconstructing
~polyhedron~from~POINTSG>Ff_l-Fcan6&F_\lF_flF_flFc\x3-F[[s6#&Fbr6#.%-INEQUALITI
ESGFbewC$-Feem6%F_jlF[^n.%Zconstructing~polyhedron~from~INEQUALITIES~and~AFFINE
_HULLG>Ff_l-Fjjm6&F_\lF_flFdewFb]xF^ewF]avF$F$F$%.crosspolytopeGf*6$F^x'%"cGF\o
6$FgpFb^nF\]lF$C$@)F_qFaq/FSF9-Fgs6#FfdnFcen>FgrFhr>FgrFin-Fgcv6$-Fhv6$7%-Fcjo6
$F9Fd`lFgr-Fcjo6$F9,&FSFhrF0FYF`z-Fhv6$7%F`_xFbhmFb_xF`zF$F$F$F_btf*6#F^xF^esF\
]lF$7#-Fhv6$7%F`_xFhrFb_xF`zF$F$F$Fffnf*Fi_xF$F\]lF$@%FhelFaq-Fe^p6$/Fhr.F[^n-F
cap6$-F76#-&Feo6#.%)zeroconeG6#,&FSFhrFhrFhrF9F$F$F$%)delaunayGf*F$6%Ff[vF_xFhd
mF$F$C)>F0Fecn@&F`bv-F_p6#QCcannot~determine~ambient~dimensionF$FcbpFgq>F0-F@6%
F\_lF0Fcx@)4-Fgn6$F0F\esF]r/Fd\o.%(voronoiG>F0-F@6$f*Fi`mF$F]doF$-%/convex/homo
g_1G6%,$FSFfjoFhr-F_\n6$FSFSF$F$F$F0/Fd\o.F_ax>F0-F@6$f*Fi`mF$F]doF$-Fgbx6%FSFj
bxFhrF$F$F$F0>F0-F@6$f*Fi`mF$F]doF$-Fgbx6%FS,$FjbxFYFhrF$F$F$F0>FgrFhgu@%F_bx>F
[s-Fjjm6&Fgr7#-Fgdn6#Fa_tF_flF0>F[s-Fcan6&FgrF_flF_flF0-%4convex/projection_1GF
^glF$F$F$%.emptypolytopeGF^`xF_]qf*6$'F+<&%'MatrixG%'matrixGF_flF\es'%&ncolsGF`
x6%FjeoFgpFiuF$F$C$@%Fagu>F0Fin>F0-%*mat/ncolsGFR7#-Fhv6$7#-Fhv6$&FS6$FgrF[s/Fg
r;Fhr-%*mat/nrowsGFR/F[sFactF$F$F$%(dotprodGf*6$Feir'F\\sF[o6$FgpFfpF$F$C$>Fgr-
Fix6%F]^sF``l-Fix6%-Fgn6$FS%'VectorGFa[s-F76$7$FXFX-F\\oFR@%0Fgr-Fix6%-FgnFdfoF
gy-Fix6%-Fgn6$FinFbgx-F76$FhrFin-F76$Fegx-F\\oFioF]r-F[w6#-Fhv6$*&Fe\sFhrFeesFh
r/F0;FhrFgrF$F$F$F\axf*Fi_xF$F\]lF$@%FhelFaq-F]\t6)FSF_flF_flF_flF[btF_flF_flF$
F$F$%.emptypcomplexGf*Fi_xF$F\]lF$@%FhelFaq-Fbu6$7#-FcfnFRF%F$F$F$%/randompolyt
opeGf*6%F^xF`du'F`[oF^`t6%Fb^xFgpFiuF$F$@)Fc^mFaq/FinF9FfixFf^xFfdnC$>F0-%%rand
G6#;,$F]yFYF]y-Fgcv6#-Fhv6$7#-Fhv6$-F0F$/F[sFaz/Fgr;FhrFinF$F$F$6$Fds&Fbgx6#%'c
olumnGf*6$FdelFhht6#FjapF$F$C$>F0Fjir@'F_qFaq/F[rF`cl-%-contains/rayG6$-&Fdt6#.
%&_dualGFioFSF]rF$F$F$6$FdsFcxFd[yF`aqf*F$F$F$F$@'/&FUF^fl.Fgeo6$,&F`qFhrFYFhrF
_gv/Fg\y.F\o6$Fj\yFeo6$F`qFeoF$F$F$Fihqf*6&'FjfuFgeo'FcduFgeo'F+Fcv'F_xFbjq6$Fg
p%#rkGF$F$C$?(F0F^axFhrFinFirC&@$5/&F]y6#Fd`lF9/&F]yF_zF9Fjcp>Fgr-Fhy6#-Fjcq6#-
FaboF_z>F]^y,&F]^yFhrFgrFY>F`^y,&F`^yFhrFgrFYF]yF$F$F$Fhof*6#%#A_G6)F+FchpFfpFg
pFiuFb^nF\\sF$F$C(@%-Fgn6$F0Fcx>F0FS>F0-F\_l6$FSF\es>F[sF`cl@&/F[sF9Fbgu0F[sFhg
u-Fgs6#Fjo>FgrFe\u?(FbrFhrFhrF[sFirC,?(F_\lFbrFhrF[s/&F06$F_\lFbrF9F$@$2F[sF_\l
F[`y>Fe_lF`[p>Ff_l*&&FgrFjcmFhr&Fe_lFgwFY>Fe_l*&Fe_lFhrFj`yFY>F`[pFfw>FfwFe_l>F
i`y&FgrFgw>F`ayFf_l?(F_\lFhrFhrF[sFir@$0F_\lFbrC$>Fi`y,&Fi`yFhr*&Fb`yFhrFf_lFhr
FY>F`[p,&F`[pFhr*&Fb`yFhrFe_lFhrFYFgrF$F$F$%,iscontainedGf*6$%%arg1G%%arg2GF$F$
F$-&FeoFbs6$FinFSF$F$F$Feitf*6#'F+Fcx6&Fchp%"bGFiuF]tF$F$C(@$FaguOF_fl>F0-Fjcq6
#-F\]qFR>FbrFihm>F[sFhr?&FgrF0FirC$?(F$FhrFhrF$/FajpF9>F[s,&F[sFhrFhrFhr>Fbr6$F
br&FSF^gl7#FbrF$F$F$Fdsf*Fi`m6$FgjrFexF$F$C%>Fgr-F76$F9FS@%/FgrFcap>F0&Fa[sFc\o
>F0&Feo6$Fd\oFgr@%Fd[sFf[s-F_p6#Q3method~not~definedF$F$Fh[sF$%)fullconeGf*Fi_x
F$F\]lF$@%FhelFaq-F]\t6)FSF[btF_flF_flF_flF_flF_flF$F$F$F]dqf*6$Ffby'%#A2GFcx6*
Fchp%#B2GFgpFiuF_iqFjeoFfpFgepF$F$C(>Fe_lF``l>Ff_l-Fix6%F^_mF9Fjes>F0FS@$F]el>F
grFin>FbrF9?(F[sFhrFhrF$FirC&?(FbrF`ipFhrFf_lFirC$?(F_\lF[sFhrFe_lFa`yF$@$1F_\l
Fe_lC$>F0-Fe^p6%/F_\lFdip/F[s*&F`[pFhrFb`yFYF0Fehr@'1FbrFf_l>FeclFdipF]el-Fgs6$
-F@6$F_cp&F06#;FhrF[`o-F@6$F_cpFgr-Fgs6#Fdgy>F0-Fe^p6$/F[sFdip-F@6$f*Fa^nF$F$F$
,&FSFhr*&&FS6#Fa]lFhrFi]lFhrFYF$F$6&FiuFbrFgepFeclF0@$F]el>Fgr-F@6$f*Fa^nF$F$F$
FdhyF$F$FhhyFgrF$F$F$%%cubeGf*F`^x6&FhuFbxFgpFb^nF\]lF$C'@)F_qFaqFf^xFg^xFcen>F
brFhr>FbrFin>F0f*6$FbxFb^xF$F$F$7$Fc]sFinF$F$F$>Fgr7$7#,$FbrFYF[dy?(F[sFXFhrFSF
ir>Fgr7$-F76#-F@6%F0FgrF\jy-F76#-F@6%F0FgrFbr-Fgcv6#FijtF$F$F$%._latticebasisGf
*6#'F]t<$F_flF\es6#F[itF$F$C$-Ff\q6%-F\]q6$FSF9F%F0&F06#Fg\sF$F$F$6$FdsFa\vf*6$
FbxFhht6#F]jvF$F$C$>F0-F_cp6#Fa[s@'F_qFaqFj[y-%.contains/lineG6$F^\yF0F]rF$F$F$
%.permutahedronGf*Fi_xF$F$F$@%FhelFaq-Fgcv6#-F76#-Fihn6%Fe^p/FYFihm-&F_fp6#.%(p
ermuteG6#7#-Fcjo6#;FhrF^axF$F$F$FabxF`ax6$Fds%#<=Gf*6$F_em'Fhdm<$F[oF[^n6$F]jvF
b^nF$F$C$>F0-F\cuFR@)F_qFaq-Fgn6$FinF[oC$>Fgr-Fd^n6$FinFhr@%/FccpF`cl-F^dm6#1F9
-F_\nF[aqF]rFj[y-F\\yFb\zF]rF$F$F$Fcjtf*6&FffuFgfu'%#U_G%&evalnG'%#V_GFc_z6.F+F
dhpF[itFjfuFgpFiuFjeoF_xF[guF\guF]guF^guF$F$C,@$FaguC%>F]yF_fl>FaboF_flFbgu>F0F
S>Ff_lF`cl>F[s-F\btFihr>FgrF[s>FbrFhr?(Fe_lFhrFhrFhguF`gyC'>Fiam&F06$FbrFe_l?(F
_\lF`ipFhrFf_lFirC+>Fg`m&F06$F_\lFe_l@$/Fg`mF9Fjcp>Fecl-F^]s6#-Fjhu6&FiamFg`m.F
ggm.F_fm>Fiam*&FiamFhrFeclFY>Fg`m*&Fg`mFhrFeclFY>F0-Fe^p6%/Fbr,&*&F_fmFhrF`[pFh
rFhr*&FggmFhrFfwFhrFhr/F_\l,&*&FiamFhrF`[pFhrFhr*&Fg`mFhrFfwFhrFYF0>Fgr-Fe^p6%/
Fbr,&*&F_fmFhrFi`yFhrFhr*&FggmFhrF`ayFhrFhr/F_\l,&*&FiamFhrFi`yFhrFhr*&Fg`mFhrF
`ayFhrFYFgr>F[s-Fe^p6%/Fbr,&*&Fg`mFhr&F[sFjcmFhrFhr*&FiamFhrF\gtFhrFhr/F_\l,&*&
FggmFhrFeczFhrFhr*&F_fmFhrF\gtFhrFYF[s>FiamFecl@&/FiamF9Fjcp2FiamF9C&>Fiam,$Fia
mFY>Ffw,$FfwFY>F`ay,$F`ayFY>F\gt,$F\gtFY@$Fin?(F_\lFhrFhr,&Fe_lFhrFYFhrFirC&>Fg
`m-F_[v6#*&Fj`zFhrFiamFY>F0-Fe^p6$/F_\l,&F`[pFhrFcbzFYF0>Fi`y,&Fi`yFhrF^czFY>F\
gt,&FdczFhrF\gtFhr>FbrF`ip>F]yFgr>FaboF[sF0F$F$F$%+stdsimplexGf*6#FcdvFc^xF\]lF
$C$@'F_qFaqFcen>FgrFhr>Fgr&FUF]u-Fgcv6$7#-FcjoFadyF]_xF$F$F$F[etf*6$F+Fb^nF$F$F
$-F@6$-Fi[sFioFSF$F$F$Fjdnf*Fi_x6#FhbyF\]lF$C%@$FhelFaq>F0-F\btF]ax-Fcap6+Fc`xF
^ax&F0Fjet7#F]fl7#FaflF_flFfgzFggzF9F$F$F$%,_gausselim2Gf*Fcey6&FchpFgeyFgepFiu
F$F$C'>F0FS>FgrFin>FbrF9?&F[sF0FirC%?(FbrF`ipFhrF$/F\gtF9F$>F[s*&F[sFhrF\gtFY>F
gr-F@6$f*Fa^nF$F$F$FdhyF$F$6&FiuFbrFgepF[sFgrFigyF$F$F$%*lensspaceGf*6#'F[\lF^`
t6'Ff[vF+FdhpFb^xFgpF\]lF$C(>F0Fabp@&F`bv-Fgs6#-Fi`xFbbl4-Fgn6$F0-FcxFfeo-F_p6#
Q@weights~must~be~of~type~integerF$>Fgr-Ff\q6%-F@6$f*Fi`mF$F]doF$F_cvF$F$F$F0Fi
rF[s>F[s-FdoF^gl>Fbr*&FSFhr-F^]s6#-Fa]s6$FS&FgrFc\pFY-&Feo6#.%(poshullG6#-Fhv6$
7$*&FbrFhr&F[s6$F_\lFhrFhr-F76$FWFecz/F_\l;FhrF`^vF$F$F$6$Fds%"=Gf*6$F^emF[^zF]
^zF$F$C$>F0F`^z@)F_qFaqFb^zC$>FgrFf^z@%Fi^z-F^dm6#/F]_zF9F]rFj[yF`\zF]rF$F$F$%-
intersectionGf*F$6(Ff[vF]^m%&ineqsGFghsFfpF]tF$F$C$>F0Fecn@)F`bv-F_p6#Q[pargume
nts~must~be~(rays,~lines~or~cones),~or~((affine)~rays,~lines~or~polyhedra)F$-Fg
n6$F0-Fcx6#<%F[oFdtFa\vC(>FbrF]\v>F[s-F@6$F_cpF`]v>FgrFh]v>Fe_lFi^v>F_\l-Fix6%F
`[uF]_vF__v@%3-Fh[n6$f*Fi`mF$F$F$Fg_vF$F$Fh_vFgrFi_v-FjjmFb`vF]r-Fgn6$F0-Fcx6#<
%F[^nFacuFbcuC(>Fbr-F@6$F\cu-F]bm6%FgnF0Facu>F[s-F@6$F\cu-F]bm6%FgnF0Fbcu>FgrF\
^v>Fe_lFi^v>F_\lF_^[l@%3-Fh[n6$f*Fi`mF$F$F$Fg_vF$F$Fh_vFgrFi_v-Fj]nFb`vF]rF_][l
F$F$F$6$FdsF^yFd[y6$Fds&Fbgx6#%$rowGFd[y%1furthestdelaunayGF`ax%)pcomplexGFggvF
_[[lf*F$6)Ff[vF]^mFg[vFdelFbxFfpF]tF$F$C,>F0Fecn>F_\lF]\v>Fbr7$-F76#Fj][lFgjv>F
grFh]v>F[sF\^v>Fe_l,*-FhyFjcmFhrFgfoFhrFccpFhrF`^vFhr@$5F^_m0Fe_lF`qFe^v>Ff_l7$
F_ftF[bn>Fe_l-Fix6%0Ff_lF_fl-Fhy6#F_]p-Fix6%0FgrF_flF__v,&-F76$FXFe[wFhrFYFhr@%
33-Fh[n6$f*Fi`mF$F$F$Fg_vF$F$6$FfpFe_lFgr-Fh[n6$f*Fi`mF$F$F$/F\q,&Fa]lFhrFhrFhr
F$F$F\c[lF[s5/Ff_lF_fl3/F^b[lFe_l-Fgn6$Ff_lF\es-Fcan6&Fe_lFgr7$-F76#-F@6$f*Fi`m
F$F]doF$-F76#-&F[^n6#.FjilFRF$F$F$F[sF_ft7$-F76#-F@6$f*Fi`mF$F]doF$-F76#-F@6$f*
6#F[\pF$F]doF$-Fh\s6#&-F[jrFRFb`lF$F$F$FcrF$F$F$F[sF[bnF]rF$F$F$Fbgqf*6$F+FchpF
$F$F$-Fihn6%FhdtFSFinF$F$F$%+posorthantGf*Fi_x6&FdelFdeoFecsFgpF\]lF$C'@$FhelFa
q>F0F[bt>Fgr<#-FcjoFjet>F[s7#-Fhv6$-Fegl6$FgrFggl/FbrFaz-F]\t6)FSF_flF0F[sF_flF
0F[sF$F$F$Fi\qf*6%FffuFgfuFd_z6-F+F[itFjfuFgpFiuFjeoF_xF[guF\guF]guF^guF$F$C*@$
FaguC$>F]yF_flFbgu>F0FS>Fe_lF`cl>Fgr-F\btFafm>F[sFhr?(F_\lFhrFhrFhgu1F[sFe_lC'>
Fecl&F06$F[sF_\l?(FbrFgcyFhrFe_lFirC*>Fiam&F0Fbgl@$F]dzFjcp>Ff_l-F^]s6#-Fjhu6&F
eclFiamF]iuFcaz>Fecl*&FeclFhrFf_lFY>Fiam*&FiamFhrFf_lFY>F0-Fe^p6%/F[s,&F_bzFhrF
giuFhr/Fbr,&*&FeclFhrFfwFhrFhr*&FiamFhrFdipFhrFYF0>Fgr-Fe^p6%/F[s,&*&FiamFhrF`a
yFhrFhr*&FeclFhrFajpFhrFhr/Fbr,&F^czFhr*&FggmFhrFajpFhrFYFgr>FeclFf_l@&FehuFjcp
2FeclF9C%>Fecl,$FeclFY>Fdip,$FdipFY>Fajp,$FajpFY@$Fin?(FbrFhrFhrF[gmFirC%>Fiam-
F_[v6#*&Fah[lFhrFeclFY>F0-Fe^p6$/Fbr,&FfwFhrFdi[lFYF0>Fajp,&Fji[lFhrFajpFhr>F[s
Fgcy>F]yFgrF0F$F$F$F`dnf*Fi_xF$F\]lF$@%FhelFaq-Fjar6$7#-Fi`xFRF%F$F$F$%*projspa
ceGf*6#F`duF$F\]lF$@%FhelFaq-Facv6#-Fgcv6$-F76#F[bt7#-Fcjo6$FYFSF$F$F$F\gqf*6#'
F]_yFcx6(F_xFfpF+FgpFiuFb^nF$F$C)@$FaguFa`l>F0Fhr>F[sFS>FgrF`^v@$0Fc[wFgr-F_p6#
Q4not~a~square~matrixF$?(FbrFhrFhrFgrFirC'?(F_\lFbrFhrFgr/&F[sFc`yF9F$@&2FgrF_\
l-FgsFbblFdayC$>F0,$F0FY>F[s-Fe^p6%/FbrFecz/F_\lF\gtF[s>Fe_l*&F\gtFhr&F[s6$FbrF
brFY>F0*&F0FhrF\_\lFhr?(F_\lFacqFhrFgrFir>Fecz,&FeczFhr*&F^^\lFhrFe_lFhrFYF0F$F
$F$%*writepolyGf*6%'Fhdm%,POLYHEDRON1GFd]w'%%infoGFf]w6%Fh]w%$fmtGF_xF$F$C1@&Fc
^mFaq4Fcep-F_p6#Q;polyhedron~must~be~pointedF$>F0-F_^w6$-Fj^r6$FinFc^w%&WRITEG-
%(fprintfG6$F0QW#~created~by~the~Maple~package~`Convex'~version~1.1.4|+F$>F[sF\
q>Fgr-Fj^r6$-Fcjo6$Q$~%dF$F[sQ"|+F$@$Fa_m-Fj`\l6%F0Q1|+DESCRIPTION|+%s|+F$F]y-F
j`\l6(F0QU|+AMBIENT_DIM|+%d|+|+DIM|+%d|+|+N_VERTICES|+%d|+|+N_FACETS|+%d|+F$F[`
o-&F[^nF^^lFR-Fhy6#Fcr-Fhy6#-F76$Ff]tFS-%8convex/writepoly/matrixG6&F0Q)VERTICE
SF$FgrFcr-Feb\l6&F0Q'FACETSF$FgrFbb\l-Feb\l6&F0Q,AFFINE_HULLF$FgrF[er-Fj`\l6$F0
Q5|+VERTICES_IN_FACETS|+F$-Fihn6%%5convex/writepoly/setGF0-F76$Fi\pFS-Fj`\l6$F0
Q+|+FAR_FACE|+F$-Fcc\l6$F0<#-Fcjo6#;Fhr-F^]s6#-F76$""*FSF_dwF$F$F$%/newtonpolyt
opeGf*6$F[\lF]es6&%#mlGFjeoFj[l%#cpGF$F$C&@$F_qFaq>Fbr-%(collectG6%FSFin.%,dist
ributedG@&/FbrF9-Fgs6#-Fhdx6#Fgy4-Fgn6$7#-%'coeffsG6%FbrFinF0-Fcx6#-%(complexG6
#%(numericG-F_p6#Q^ofirst~argument~not~a~Laurent~polynomial~in~the~given~indete
rminatesF$-Fgcv6#-Fhv6$7#-Fhv6$-%'degreeGF_fx/F[sFin/FgrF`apF$F$F$%+affinehullG
f*F$6%Ff[vF]^mF]jvF$F$C&>F0Fecn>Fgr-F@6$&F[^n6#.FeisF\^v>F[s7%F\]v-F76#F[\vFd\v
@%F\[w-F_p6#QParguments~must~be~(affine)~rays,~lines~or~conesF$-Fct6#-&Feo6#.Fj
iv6$FijtFibmF$F$F$Fair,
I%CONE=F$F%E\[lgn%%_domGF"F'f*6$Fhp'F+<%F\oF]oFao6&%%newrG%%newlG%&AinvtG%$AllG
F$F$@-F_qFaq-Fgn6$FinF\o@(F]jx-Fi`xFifs2F9Fin-FcisFR2FinF9-F]\t6)F\qF]jl,$FcrFY
-F76$Fh\tFSF[er,$Fbb\lFYFdc\l-Fgn6$FinF]o-&Feo6#.F]eyFifs3-Fgn6$Fin<$F]exF^ex/-
FcfxFioF9@%0-FgexFioF\q-F_p6#QGambient~dimension~and~map~do~not~matchF$-F[[]lFb
blFeatFj[]lC(>Fbr-Fix6%F[hxFin-F\_l6$FinF\es@$0-Fhy6#FfhoF\qFg[]l>Fgr-F_gq6$Fbr
F]jl>F0-F@6$F_cp-F_gq6$FbrFcr>F[sFco@%0F[sFjoC%-Feem6%FXFdt.%,regular~mapG>F[s-
F\]qF^gl-F]\t6'Fc\]l-FjcqFhiqFej\l-Fjcq6$-F_gq6$F[sF[er-F_gq6$F[sFbb\lFdc\lC$-F
eem6%FXFdt.%-singular~mapG-Fcan6&FgfoF_flFigyF0F$F$F$F[grf*6%F_^mF^cn'FhpFj]m6#
%#CIGF$F$C$@(Fc^mFaq-Fe^mFfqF`en0F\qF[rF]r@%5/F]jlF]`m/&F6FHFc`xC%>F0-&F6F[[n6&
F\q7$FSFinF_flF_fl@$Fa_m>F]yF03-&F66#.%'isfaceG6$F0FS-F_`]l6$F0FinF%F$F$F$%/inc
identfacetsGf*FbimF$F$F$@%FhelFaqFej\lF$F$F$Fapf*6$F_^mF^cn6%F_cnF`cn%$nl2GF$F$
C'@(F_qFaqF^_]lF`enF__]lF]r>F0F]jl>FgrF]`m>F[sFccp331F]erFidr5Fbam31F`clF[s1-Fh
y6#-Fjcq6#7$FijtFhjtF[s-Fh[n6$f*Fi`mF$F$F$-F\\yFbeqF$F$6$F^cnFinFcrF$F$F$Feuf*F
i`mF$F$F$-&&F66#.F`i\lFc\o6$-&Ffb]lF;6#F_cvFTF$F$F$F[xf*6)F^xFax'FdelFcxFdcsF_`
tF``t'FicsFcxF$F$F$-F66'FS,&FSFhr-Fhy6#F`euFYFgyF^at-Fhy6#9)F$F$F$Fbzf*6$FhpFei
r6$FhdmFj]sF$F$C&>F0-Fcap6%Fc`x-F76$FW-F\is6$FS-&Feo6#.Fje[lFb`l,$F^b\lFY@&F_qF
aqFcenOF0>FgrFcfo@%/FccpF\q-%9polyhedron/image/similarG6%F0FhrFgrF]rF$F$F$Fagsf
*6$Fhp'FdelF[oF$F$F$@%F_qFaq3-Fh[n6$f*Fi`mF$F$F$/-F_\n6$FSFa`pF9F$F$6$FdelFinF[
er-Fh[n6$f*Fi`mF$F$F$2F9Fje]lF$F$F\f]lFbb\lF$F$F$Fb_lf*FbimF$F$F$@%FhelFaqFcrF$
F$F$F`^lf*FbimF$F$F$@%FhelFaq,&F`]oFhrFidrFYF$F$F$Fjilf*FbimF$F$F$@%FhelFaqF]jl
F$F$F$F`jlf*Fbi\l6&%&neweqG%(newineqG%%AinvGFd`tF$F$@+F_qFaq-Fgn6$Fin<$F\oF]o-&
FdtFK6$FS-Fix6%F]jx%)infinityG*$FinFYFeat@%/F\qF9-F_p6#QXcannot~determine~ambie
nt~dimension,~please~use~a~MatrixF$Fg[]lF^[]l@%Fig]l-F[[]l6#Ff[]lFg[]lC(@$0Fc[]
lF\qFg[]l>Fbr-F\]qFio>F0-F_gq6$FbrF[er>Fgr-F@6$F_cp-F_gq6$FbrFbb\l>F[sFco@%F_]]
lC$Fa]]l-F]\t6'Fc\]l-Fjcq6$-F_gq6$F[sF]jl-F_gq6$F[sFcrFej\l-FjcqF[aqFdc\lC$Fa^]
l-Fjjm6&FgfoF_flF]cpFgrF$F$F$%&polarGf*FbimF$F$F$@%FhelFaq-&F6FK6$-&F66#.%%dual
GFRFYF$F$F$Fg]nf*Fbim6#FdelF$F$C$>F0Fcr@'FhelFaqF`bv7#-Fcjo6$F9F\q-Fh\s6#-F[w6#
FhjtF$F$F$F`\mFcb]l%*isfulldimGf*FbimF$F$F$@%FhelFaq-F^dm6#FhgsF$F$F$Feisf*Fbim
F$F$F$@%FhelFaq-Fcap6$.Fdt-F76$;FXFi\pFSF$F$F$%.issimplicial1Gf*Fbim6#FacnF$F$C
$>F0,&-Fj^mFRFhrFYFhr@%FhelFaq3Fcep-Fh[n6$f*Fi`mF$F$F$/F``lFa]lF$F$6$FacnF0Fdc\
lF$F$F$Ffj]lf*FbimF$F$F$@%FhelFaq-F]\t6)F\qF[erFbb\lFdc\lF]jlFcrFej\lF$F$F$Fgtf
*FbimF\^oF$F$C$>F0F\q@'FhelFaqFe]s-F_p6#QAargument~must~not~lie~in~0-spaceF$-Fj
]n6&F0F_cvF_flF_flF$F$F$%)issimpleGf*FbimF$F$F$@%FhelFaq-&F66#.F`\^l6#-F_\yFRF$
F$F$Fhflf*Fbim6$FicsFgpF$F$C%@$FhelFaq>F0Fdc\l7#-Fhv6$-&F]^lFacm6&F_`oFgdsFSFhr
/FgrF^[uF$F$F$%*linealityGf*FbimF$F$F$@%FhelFaq-F_bo6#-&FdtFf_mFRF$F$F$Fdsf*6$F
hp'F`byFf][l6$F_xFdelF$F$C$>F0F\q@)F_qFaqFb^zC$>Fgr-F_cpFio@%/F0Fccp-F\\y6$FSFg
rF]r-Fgn6$FinFa\vC$>FgrF`hs@%Fb`^l-Fa\zFd`^lF]r-&Fdt6#.FapFcbyF$F$F$Fj_nf*FbimF
$F$F$@%FhelFaqF]`nF$F$F$F^`nf*FbimF$F$F$@%FhelFaqF[erF$F$F$Fhbnf*F$62FhpF]^mF_x
FbxFdelFecsF^emF_emFics%#nrG%#niGFgp%#irG%#iiG%#SrG%&SineqGF$F$C2>FgrFecn@&4-Fg
n6$Fgr-Fcx6#FdtF`enFcenO-Fcis6#Fa_v>F[s-F[w6#-F76#-F@6$&FdtF_gnFgr>82<#-Fcjo6#;
Fhr-F[w6#-Fhv6$-Fhy6#F^aoFbam>83<#-Fcjo6#;Fhr-F[w6#-Fhv6$-Fhy6#Fd]tFbam>FbrFihm
>F_\lFihm>Fe_lFihm>Ff_lFihm>FeclFihm>FiamFihm>F_fmF9>FcfmF9>F[fmF9?&F0FgrFirC->
Fbr6$Fbr-F76#-Fihn6&FcgmF[sFb\tF_fm>Ff_l6$Ff_l-F76#-Fihn6&FcgmF[sF]]tF_fm>F_\l6
$F_\l-F76#-Fihn6&FcgmF[sF^aoF_fm>Fecl6$Fecl-F76#-Fihn6&FcgmF[sFd]tF_fm>Fg`mFhc^
l>FggmFdd^l>Fe_l6$Fe_l-F76#-F@6'%5cone/&x/addincidenceGFf\t<#-Fcjo6#;FhrFggmF[d
^lF[fm>Fiam6$Fiam-F76#-F@6'Fag^lFg]t<#-Fcjo6#;FhrFg`mF_c^lFcfm>F_fm,&F_fmFhrFgi
sFhr>Fcfm,&FcfmFhrFg`mFhr>F[fm,&F[fmFhrFggmFhr-F]\t6)F[sF[dyFb[t7#Fe_l7#Ff_l7#F
eclF_[nF$F$F$%0incidencematrixGf*Fbim6&FgpFiuFga^l%$irnGF$F$C&@$FhelFaq>F[sFdc\
l>Fbr-Fix6%5/F6F\\^l1F9Fad\lF`^v,&F`^vFhrFYFhr-F^y6&Fibq;FhrFbr;FhrF^b\l7#-Fhv6
$-Fhv6$/F[aqFhr/Fgr&F[sF_z/F0F[j^lF$F$F$F]\of*FbimF$F$F$@%FhelFaq3Fcep/F^b\lFf\
^lF$F$F$%)boundaryGf*6#'Fhp<$Fh_\l%&CONE1GF$F$F$@%FhelFaq-F[c]l6$-F@6$&FDFgcm-&
F6FfflFRF%F$F$F$Favf*FbimF$F$F$@%FhelFaq-F@6$Fhy-&F66#.%&facesGFRF$F$F$Fiblf*Fb
imF$F$F$@%FhelFaq-F`cm6&<#-Fcjo6#F\j^lFaflFSF9F$F$F$%-hilbertbasisGf*6$FhpFihtF
$F$F$@%F_qFaq-Fbht6$FirFUF$F$F$%-incidentraysGf*FbimF$F$F$@%FhelFaqFdc\lF$F$F$F
`\_lf*Fbim6)%#ldGF_x%#adG%#FtGFgpF_iqFgepF$F$C-@$FhelFaq>Ff_lFfil>F0,&-FhyFjanF
hrFf_lFY>Fgr-&F6F^^lFR>F[sF\q>Fbr-Fcv6$;Fcju,&F[sFhrFf_lFY7#-Fcjo6$F_flFgcy>&Fb
r6#-Fix6%/Fd_]lF\\^lF0FY7#-&F6Ff_mFR>F\s7#-F[clFR@$2F]^nFgrC$>&Fbr6#F]^n-&F66#.
%'_edgesGFR@$2,&F0FhrFXFhrFgr>&FbrFbdxFf[_l?(Fe_lFa`_lFhr,&FgrFhrFfjoFhrFirC$-F
eem6&F_jlF6%/face~dimensionGFe_l>&FbrFafm-Fihn6%&FD6#.%0_hspacenos2faceGFS-F\_l
6$<#-Fhv6$-F76#-%5convex/succhspacenosG6$FSF_\l/F_\l&Fbr6#FjdzFcxFbrF$F$F$Fb`]l
f*6%F_^mF^cn'F*Fj]m6$%#r1GF-F$F$C%@(Fc^mFaqF^_]lF`enF__]lF]r>F0F_am@'3/F0FaflFc
_]lC$@$Fa_m>F]y-&F[^nFf_mFioFir3Fb_]l-F]am6$F0F``mC%>Fgr-Fdbm6$FinFhjt@$Fa_m@%F
c_]l>F]y-Fe^p6$/Fhr.Fa^uFgr>F]yFgr3Fjgp/-F\_l6$-F__lF]sFc_lF0F%F$F$F$%&edgesGf*
Fbim6%FecsFgpF_xF$F$C&@$FhelFaq>F0Fej\l>F[s,(Ff\^lFhrF[^_lFYFYFhr7#-Fhv6$-F`cm6
&FgdsF_`oFSF[s/Fgr;,&-Fix6%Ffi^lF9F_d\lFhrFhrFhrF`clF$F$F$Febof*FbimF$F$F$@%Fhe
lFaqFidrF$F$F$Ffanf*6&F`duF]^mF]jvFjapF$F$F$-F_\y6#-Fjjm6&FS-F@6$F_\yFinF]yFabo
F$F$F$F^cof*Fj`]lF$F$F$@'F_qFaqF^_]lF`en33/F\qF[r/F_amF``mFb_]lF$F$F$%(hspacesG
f*FbimF$F$F$@%FhelFaqFbb\lF$F$F$F`eoFcb]lFh_mf*FbimF$F$F$@%FhelFaq-F`cm6%Fafl<#
-Fcjo6#;FhrF`b\lFSF$F$F$Fb_pFcb]lFccmf*F$F$F$F$-Fcap6$F\\^lFUF$F$F$%)islinearGf
*FbimF$F$F$@%FhelFaq-F^dm6#/FcrF_flF$F$F$Feiof*FbimF$F$F$@%FhelFaqFaepF$F$F$Fde
pFcb]lF][nf*6&F`du'F]^mFcx'FghsFcx'F[][lFcx6(%$Cl2G%%eqs2G%'ineqs2GFhpFgp%#NCGF
$F$C&@%FeatC%>Fbr-F[[]lFR>FgrF]y>F[sFaboC'>F_\l-%,std/findmaxG6$&Fdt6#.FeboFin>
Fbr&FinFjcm>F0-Fe^p6$/F_\lFihmFin>Fgr7$-Fhv6$-F76#-F76$F\flF_\l/F_\lF0-F7Figq>F
[s7$-Fhv6$-F76#-F76$Ff]tF_\lFbj_lFeeu-Feem6&FXFeo.%.starting~withG-&-F76$FhrFbr
6#.F[x6#-F76$FWFbr>Fe_l-F`[t6%FbrFgrF[s@%3/F_^pF^dp/-F76$F_jlFe_l-F76$F_jlFbr-&
FdtF\h\lFgw-Fj[tFafmF$F$F$F^`_lFdd_lFgbmf*Fbim6+FghsF[][lFjapF\\sFb^xFb^nFgp%#h
nG%#okGF$F$C,>F[sFabp@&Fb[w-Fgs6#F___l4-Fgn6$F[sFfbpFgq>F[s-Fix6%F]__l-F@6$F_cp
F[s-F@6%Fd^nF[sFhr@$50F\qFc[wF`\wF]r>F0F[er?&Fe_lF[sFir@$-Fgen6$f*Fi`mF$F$F$0F^
\nF9F$F$6$Fb^nFe_lF0F[`y>FgrFbb\l>FeclFafl?(Ff_lFhrFhrFccpFirC&>Fbr&FgrFihr>Fia
mFir?&Fe_lF[sFirC$>F_\l-F_\n6$Fe_lFbr@&2F_\lF9F[`y2F9F_\l>FiamF%@$Fiam>Fecl-Fjg
l6$Fecl<#Ff_l-F^a_l6$FSFeclF$F$F$Fh]oFcb]lFGF]^lFJFdtFb\yf*FbimF$F$F$-Fcap6+Fa[
sF\qF[erFbb\lFdc\lF]jlFcrFej\l-F76$;Fcd\lFYFSF$F$F$FidqFcb]lFi_rf*F$F$F$F$3F^`r
4-&F66#F^coFaaqF$F$F$FiilF9Fjipf*6$Fhp'%&basisGFj]m6&F_xFdelFdhpFgpF$F$C%>Fgr-&
F6F`_lFR>F0F]^_l@'F_qFaq3/FccpF0-&F6FcioFRC&>Fgr-F\]q6$FgrF`]o>F[s-Fix6%F]el-Ff
\q6%FgrFirFin-&Feo6#.Fcfu6$FgrF%?(FbrFhrFhrF0Fir@$0-F^]s6#F\_\lFhrOF%FirF%F$F$F
$Fair,
I&CFACE=F$F%E\[lDF`i\lFdtFapf*FcpF$F$F$@)F_qFaqFdqF`en0FcrFb`m-F_p6#QIarguments
~must~belong~to~the~same~domainF$-F]am6$F\qF[rF$F$F$F[xf*6$'Fd]uFc_l'Fi\`lFc_lF
$F$F$-F66$F``lFgyF$F$F$Fbzf*F[^o6$FhpFhdmF$F$C%>F0Fcr>Fgr-F26#-&Febu6#FbzFggp@%
FigpF^p-&Fa^uFacm6&-Fjgl6$F\q<#-Fhy6#F`inF]jlFgrFej\lF$F$F$Fb_lf*F[t6$FdelFgpF$
F$C%@$FhelFaq>F0-F76$FerFcr7#-Fhv6$F_`o/FgrF\qF$F$F$F`^lf*F[tF$F$F$@%FhelFaq,&-
Fhy6#-F76$F_jlFcrFhr-&F]^l6#.%%rankGFRFhrF$F$F$%'raynosGf*F[tF$F$F$@%FhelFaqF\q
F$F$F$F`jlf*6$FhuFci\l6$FhpF^cnF$F$C%>F0Fcr>Fgr-F26#-&FebuF[[mFggp@)FigpF^pF_o-
&F]^lF`\y6#-Fdbm6$-F_\yF]s-F76#-F_gq6$Fdh]l-&F]^l6#.Fef_lFR3F[j\l0FinF9-Fe^p6$/
FerFgrFS-&FdtFgblF]sF$F$F$%'corankGf*F[tF$F$F$@%FhelFaqFej\lF$F$F$Ficmf*F[t6(Fh
pFdelFecsFgpFexF^cnF$F$C*@$FhelFaq>F0Fcr>FgrF^ao>F[sFf\t>Fe_l-Fj[t6#-F]\t6)Fgis
Fb\t7#-Fhv6$F`ay/FbrF\q7#-Fhv6$F\gtF[j`lF]]tFd]tF_fl@$/F6F\d_l>Fe_l-F^avFafm>F_
\lFebu@%/F_\l&F_\lFHFe_l-&F_\lFacm6$Fe_l-&F^_p6#.%'domainGF_zF$F$F$Fg]nf*F[tFhj
]lF$F$C$>F0-F__lFR@'FhelFaqF`bv7#-Fcjo6$F9-Fj_nFRF_[^lF$F$F$FeisF\i`lF^[alf*F[t
F$F$F$@%FhelFaqFcrF$F$F$Ffj]lf*F[tFbimF$F$C%@$FhelFaq>F0Fcr-F]_^l6&F]jlF\q-&Fdt
Fdj]lF_z,*FgisFhr-Fhy6#Fb\tFY-Fhy6#F]]tFYFej\lFYF$F$F$%(minimumGf*6#F_fq6$Ff[vF
huF$F$C&>F0Fecn@$F[enF`en>Fgr-F26#-&F66#.%(maximumG6#-F76#-F@6$&F6F`\yF0@'FigpF
^p5/F6.F]^l-%7convex/raynos/isaffineG6$F]hn-F76$Fcd\lFcr-F[^alF]s-F^c_lF_b\lF$F
$F$%)_faceseqGf*6%FhpFdpF-6*%$rn1G%$rn2G%$hn1GF]tFecsFgpF*F[ioF$F$C)>F0F[r>FgrF
by>F[sF]`m>F_\lFej\l>FeclFihm?(F$FhrFhrF$0F0FgrC$@%Fib_lC%>F0<#F^b\l>F[s&F_\lF^
fl>Ff_l-Fi[o6%F0F[sFSC&>Fbr7#-Fhv6$-Fg]p6$F`grF[s/Fe_l-FeglFhiq>F[s&Fbr6#-F_i_l
6$FhyFbr>Ff_l-&F6F_a_lF\]m>F0-F76$FXFf_l>FeclF]imFeclF$F$F$Fj_nf*F[tFbimF$F$@%F
helFaqC$>F0Fcr-&Ffb]lF_gnF_zF$F$F$Fhbnf*F$6)F\^mF]^mFdelFh[lFd]uFi\`lFgpF$F$C+>
F0Fecn@&Fgcn-Fhh`lFcizF[enF`en>Fgr-F@6$&F]^lF\[alF0>F[sFafl>FbrFafl>F_\lF9>Fe_l
F9?(Ff_lFhrFhrF`clFirC&>F[s-Fjgl6$F[s-F@6%F[w-F76$FX&F0FihrF_\l>Fbr-Fjgl6$Fbr-F
@6%F[w-F76$F_jlFbcalFe_l>F_\l,&F_\lFhr-Fhy6#-F76$FerFj^`lFhr>Fe_l,&Fe_lFhr-Fhy6
#-F76$Ff]tFj^`lFhr-F]_^l6%F[sFbr-&Ffb]lF]isFijyF$F$F$Faa_lf*6$'Fhp<$FdtF[^nFic`
lFe^^lF$F$@%F^fo-Fi[o6&Fe\_lFinFSF9C$>F0Fdc\l-Fi[o6&-Fg]p6#-Fhv6$F_`o/FgrFinFin
FS&FUF^_rF$F$F$%-_raynos2faceGf*6$FhpFd]uF$F$F$-F[^al6#-F`aal6$Fc^^lFinF$F$F$%%
succGf*F[tFbimF$F$C$>F0Fcr@'F_qFaq3-Fgn6$F0F[^n/F\qFafl-&F[^nF\`_lF_z-Fihn6%F`a
alF0-Fja_lFc`]lF$F$F$Febof*F[tF$F$F$@%FhelFaq,&-Fhy6#-F76$F\flFcrFhrFej\lFhrF$F
$F$%$&<<Gf*FcpF$F$F$@)F_qFaqFdqF`enF`c`lFac`l3/Fej\l,&-F76$Fh\tFinFhrFhrFhr-F_`
r6$FSFinF$F$F$F^cof*F$F$F]doF$-F^dm6#-F\\[lFaaqF$F$F$Fef_lf*F[t6$F_emFgpF$F$C%@
$FhelFaq>F0-F76$Ff]tFcr7#-Fhv6$F_`oFghmF$F$F$Fe]alf*Fjbn6%FhpF\^mF*F$F$C%>F0Fcr
>FgrFecn@'4-Fgn6$FgrF^enF`en-Fgen6$f*Fi`mF$F$F$0FcrFa]lF$F$6$FhpF0FgrFac`l-F`aa
l6$F0-Fg]p6#-Fhv6$Febn/F[sFgrF$F$F$Fe\lf*F[t6$Fhp%$rnlGF$F$C&>F0Fcr>Fgr-Fja_l6$
-F_\yF_z-F[^alFR@&FhelFaq3F`j`l4-&F[^n6#.%*isboundedGF_z>Fgr-F]bm6%Fa^alFgr-F76
$Fcd\lF0-F@6$F[^al-Fihn6&F`aalF\[blFgr,&Faf`lFhrFYFhrF$F$F$Fccmf*6&Fd]uFi\`lFhp
'Ff]yF`xF$F$F$-Fcap6'F6FSFinF]y-Fix6%Fa_m-Fix6%2F``lFgy,*FbyFhr-Fhy6#-F76$F_jlF
]yFY-Fhy6#-F76$F\flF]yFY-Fix6%1F``lF_jlF``l-Fhy6#-Fjcq6#-%/CFACE/listraysG6%-F7
6$FerF]yFS-Feem6%F_jlF6%/computing~rankGFY-Fix6%1FgyF_jlFgy-Fhy6#-Fjcq6#-F[^bl6
%-F76$Ff]tF]yFin-Feem6%F_jlF6%1computing~corankGFaboF$F$F$Feiof*F[tF$F$F$@%Fhel
Faq/F_f`lF_flF$F$F$%*hspacenosGf*F[tF$F$F$@%FhelFaqF]jlF$F$F$%.convert/PFACEGf*
F[^o6%FhpFhdmF\ioF$F$C'>F0Fcr@&FhelFaq/FgisF9Ff]^l>Fgr-&Febu6#FgtF_z>F[s-Fix6%/
F`inF^ao-Fhd`l6&F\qF]jlFgrFej\l-&Fa^uF`\y6$-Fdbm6$Fig`l-F76#F^h`l-Feem6%F_jlF]^
l%:computing~supporting~faceG@%-Fa^al6$F]cr-F76$Fcd\lFgrF[s-F^c_lF]sF$F$F$Fb\yf
*F[tFbimF$F$C$>F0Fcr-Fi[o6&F]jlF\qF\[blFb\alF$F$F$Fi_rf*F$F$F$F$34FdhalF^`rF$F$
F$Fef`lf*F[tFbimF$F$@%FhelFaqC$>F0FcrFb\alF$F$F$FjipFh``lFair,
I%lineFcirFair,
I;polyhedron/image/newvertexf*6%FdelFb^xFb^n6$%#arGFga^lF$F$C$>F[aq-F76#Fee[l-F
_cp6#7$-F76#,&*&FinFhrF0FhrFhr*&FgrFhrF]yFhrFhrFgrF$F$F$F$,
I;polyhedron/image/newhspacef*6%Fh[lFhbyFb^n6$%#ahG%#ihGF$F$C%>F[aqF[cbl>F0Fccb
l-F_cp6#7$Fhjt,&FgrFhr-F_\n6$F]yF0FYF$F$F$F$,
I9polyhedron/image/similarf*6%'FhdmF[^nFa^xF]es6$FdelFea^lF$F$C%>F0Fcr>FgrF_d\l
-Fcap6*Fc`xF\qF]jl-&Feo6#.Fhgz6$F]jl7$-Fix6%F_j\l-F76#&F06#F[ix-F76#,$FheblFY-F
76#-F@6&Fdbbl&F06#;Fi^tFYFinF]yFej\l-Fjcq6$-F@6&FecblF[erFgg]lF]y-F@6&FecblFbb\
lFgg]lF]yFdc\lFad\lF$F$F$F$,
I<FAN/simplicialsubdiv/insertf*6$FhpFe`o6$%"eGFfpF$F$C%>FgrFf\^l>F0,&F^b\lFhrFg
rFY@%Fe]sC$>&FinF]s7$-F76#FfgblFSFihm7$FSF0F$F$F$F$,
I:convex/facefan/facet2conef*6&'F*F]^lFfpF]jvF^em6$Fhp%#dhGF$F$C$>Fgr-F[jr6#&F^
h`lFb`l@$0&FgrF]uF9C$>F0-F_boFR-F]\t6)FinF]y-F@6$f*Fi`mF$F]doF$Fbe[lF$F$F$F^aoF
f\tFabo-F@6$f*Fi`mF$F$F$-Fd_s6$Fee[lFa]lF$F$6$F`hblFgrFd]tFg]tF$F$F$F$,
I<FAN/stellarsubdiv/subdividef*6&FhhtF_x%#lrGFa`t6$F*F]jvF$F$C%@$54-F]am6$FaboF
_am3/FieuFhr-&Fdt6#.F]\oFRFden>FgrF]jl-Fhv6$-Fix6%-F]am6$Fabo-F\_l6$-F__lF_zFc_
lFihm-Fe^p6$/F_jlFgr-Fcan6&Fin7#-F_boF_zF_flF]y/F0-FdboFRF$F$F$F$,
I<FAN/regularsubdiv/subdividef*6&FhpF_xFjiblFb`t6'F*%$rCSG%$sCSGF^cnFfpF$F$C)@$
F_jblFden>FgrFihm>F[sFihm?&F0Fj[clFirC%@$F][clFjcp>FbrFe[cl@%-FgipFgw>FgrF^hu>F
[sFchu>F_\lFf\^l>&FjhpFjcm7$-F76#F_]clFgrF[sF$F]`qF$F$,
I9convex/readpoly/readlinef*6#Fh]w6#FbxF$F$?(F$FhrFhrF$FirC$>F0-%)readlineGFR@&
Fe]s-Fgs6#Fht5/F0Fht0FcclQ"#F$-FgsF_zF$F$F$F$,
I:convex/readpoly/listofsetf*Fe]cl6'FbxFfp%#ssG%#seGFb^xF$F$C%>F[sFihm?(F$FhrFh
rF$FirC(>F0-F__wFR@$F`^clFehr>Fgr,&&-F\_w6$F0Q$|fr%nF$Fb`lFhrFhrFhr>FbrFihm?(F$
FhrFhrF$FirC&>F_\l-F\_w6$&F06#;FgrFYQ7%d%d%d%d%d%d%d%d%d%d%nF$@$0Fda[l"#6C$>Fbr
6$FbrF_ftFehr>Fbr6$Fbr-F76$FbjrF_\l>Fgr,&FgrFhrF\`alFhr>F[s6$F[s-F\_l6$-F@6%F[w
F[dyFhrFc_l7#F[sF$F$F$F$,
I;convex/readpoly/matrixsecs<(Fe]xFf\xF`gwFgewF_fwFbhwF$,
I7convex/raynos/isaffinef*6$Fhc`l'Fea^lFgeoF$F$F$52-F^]sFio-F`[oFb]s/FSFaflF$F$
F$F$,
I5convex/succhspacenosf*6$F\eal'F*<$F]^lFa^u6&Fi\`lFecsFaemFgpF$F$C&>F0F]`m>Fgr
Fej\l>F[s7#-Fhv6$-Fg]p6$F0F`ay/Fbr-Fegl6$Fe\_lF[r7#-Fhv6$F\gt/Fbr-F]`sF^glF$F$F
$F$,
I*mat/nrowsf*6#F+F$F$F$@'F]^sF``l-Fgn6$FSF^ex-F76$7%FXFhrFXFfgx-F76$7$FhrFhrFSF
$F$F$F$,
I*mat/ncolsf*FgcclF$F$F$@'F]^sFjesFiccl-F76$7%FXFXFXFfgx-F76$7$FhrFXFSF$F$F$F$,
I+POLYHEDRON=F$F%E\[l`oF`i\lFcuFdcvf*6#'Fhdm%,POLYHEDRON0GF$F$F$@%FhelFaq-&F[^n
6#.%*normalfanGFb^^lF$F$F$F'f*6%Fhdm'F+<%F[oF\oFaoFeir6&F_xFii\lFgepFj]sF$F$C$>
F0-&F[^nF_gnFR@'Fc^mFaqF_o@)30FinF_fl5F[hx0Fc[]lF9C%>FgrF_\]l>Fbr-Fix6%F]elFjct
-F\_l6$F]yFcx@%50-FhyFeb^lF00FgfoFccpFg[]l-F^av6#-Fbg]l6$FS-FhdsF^hu53Fa_m0F[gc
lF_fl34F[hx0-F76$%0matrix_OP_ncolsGFdhxF0Fg[]l-&F[^nFjenFR-FcfnFbblFfdnC$@'F[j\
lC$>F[sFin>Fbr-Fix6%F]el7#-Fcjo6$F9F0F[gclF]elC$>F[sFhr>FbrFcfoF`en@)0FgfoF0Fg[
]lF`hclFS0F[sF9-F_e]l6%FSF[sFbr-F^av6#-Fcan6&F]^nF_flF_fl7#-Fd^n6$FbrFhrF$F$F$F
[grFg^]lFapFi`]lF[xf*6*FcdvFaxF_c]lFdcsF_`tF``tF`c]lFhaclF$F$F$@%3/9+F9Feat-.%)
POLYTOPEG6&F\jq,(FSFhrFdc]lFYFYFhrF^atFfc]l-Fc`x6'F\jqFfjclFgy7$,&F^atFhr-F^]s6
#FajclFYF[[dl-Fix6%2F9FajclFfc]l7#,&Ffc]lFhrFYFhrF$F$F$Fagsf*6$FhdmFce]lF$F$F$@
%F_qFaq-F^gs6$FSFf^zF$F$F$Fb_lf*6#FhdmF$F$F$@%FhelFaq-F@6$%.convex/affineG&FcrF
]d\lF$F$F$F`^lFcf]l%*recessionGf*Fh[dlF$F$F$@%FhelFaq-Fj[t6#-F]\t6)F^fclFbd[l-&
F[^nF`_lFR&Fej\lF]d\l-F@6$f*Fi`mF$F]doF$Fde[lF$F$F$F[er-F@6$f*Fi`mF$F]doF$Fbe[l
F$F$F$Fbb\lFaflF$F$F$Fjilf*Fh[dlF$F$F$@'FhelFaqFhg_lFjo-F@6$F\\dlF]jlF$F$F$Ffec
lf*6#Fg_\l6'FhpFfpF_xF]jvF^emF$F$C)@$FhelFaq>F0-F_\y6#-F[h\lFR>FgrF^fcl>F[s-F]b
\lF_z>Fbr-F@6$f*Fi`mF$F]doF$Fde[lF$F$F$Fb\t>F_\l-Fjcq6#-F@6$f*Fi`mF$F]doF$Fde[l
F$F$F$F]]t-&F"Facm6%FgrFbr-F^y6$Fev7%-Fcjo6$F_flF[s-F@6'F[hblFcboFgrFbrF_\l-Fcj
o6$F_fl,&FgrFhrF[sFYF$F$F$F`jlf*FheclF[fclF$F$C$>F0F^fcl@'Fc^mFaqF_o@+FbfclC%>F
grF_\]l>FbrFhhcl@%50FccpF0FagclFg[]l-F^av6#-&FdtF[[mFegcl50F0F9FhgclFg[]lFeatFj
g]lF`hcl-FcfnF_h]l-FgdnF_h]lC$@'F[j\lC$>F[sFin>FbrFhhclF]elC$>F[sFhr>FbrFcfoF`e
n@)FaiclFg[]lFbicl-F_e]l6%FSF\bu,$*&FbrFhrF[sFYFY-F\\y6$FSFjicl-FgdnF_z-FcfnF_z
F$F$F$F\j]lF]j]lFg]nf*Fc]dlF$F$F$@%FhelFaq-F\\dl6#-Fd]nFRF$F$F$%%joinGf*F$6#Fg[
vF$F$C$>F0Fecn@'FgcnFfdn4-Fgn6$F0-FcxFgbw-F_p6#Q<arguments~must~be~polyhedraF$-
F^av6#-F_\y6#-Fahs6#-F76#-F@6$F_\yF0F$F$F$%)verticesGf*Fh[dlF$F$F$@%FhelFaq-F@6
$F\\dl&Fcr6#;,&F_d\lFhrFhrFhrFYF$F$F$F`\mf*Fc]dlF$F$F$C$@$Ff\mFaq-&F"6#.F`\m6#-
FceclFRF$F$F$Fc[^lFd[^lFeisFh[^lF`\^lFa\^lFfj]lf*Fh[dlF$F$F$@%FhelFaq-FctFb^^lF
$F$F$%)plotdataGf*6#'FhdmFdjcl6$F_x%%optsGF$F$C&@&F_qFaq4-Fagl6$F^fcl7$FXF_jl-F
_p6#QHargument~must~lie~in~2-space~or~3-spaceF$>Fgr-Fix6%F]el-F76#-F\_l6$Fcfz%,
PLOToptionsGFihm>F0-F`^lFR@*/F0F_jl-%)POLYGONSG6$-F76#-F@6$%8convex/orderplanep
ointsG-F@6$&Fa^u6#.Fecdl-&F[^nFfflFRFgrFhaq-Fffdl6$-F\gdl6#-&F[^nF`gdlFRFgrFdaq
-%'CURVESG6$FhgdlFgrFe]s-Ff\x6$-F7FggdlFgrF$F$F$Faavf*6#'FhdmF]eal6*FdelFecs%#r
iGFe]u%%rnexGFh[lFics%#nhGF$F$C->F0Fcr>FgrFej\l>F[sF9>FbrFg[u>F_\lFihm?(F$FhrFh
rF$FirC(?(F[sFgcyFhrF\ct4-Fh`vFh`rF$?(FbrF\ctFYF[s-Fh`v6#FfwF$@$1FbrF[sFehr>F0-
Fe^p6%/FbrFdip/F[sFfwF0>Fgr-Fe^p6%/FbrFajp/F[sF`ayFgr>F_\l6%F_\l/FbrF[s/F[sFbr-
%'ASSERTG6$/F[sF`ipQErays~and~vertices~incorrectly~sortedF$>Fe_lFbb\l>Ff_l-Fhdl
6$Fb[tFdc\l@&/FbrF`cl-Fgs6#-Fcfn6#,&F\qFhrFYFhr1F\b\l,&FbrFhrF[^_lFhrC$>FeclF`f
m?(F[sFhrFhrFeclFir@$4-Fa^al6$&Ff_lF^glFbrC'>Fe_l-Fe^p6%/F[s&Fe_lF`bm/FeclF_eoF
e_l>Ff_l-Fe^p6%/F[sFe]q/FeclF^\elFf_l>Fgr-Fhdl6$7$/F[sFecl/FeclF[sFgr>FbrF\jyFe
hr-Fcap6+Fc`xF\qF]jlF0FgrF[erFe_lFf_lFbrF$F$F$%-minkowskisumGf*Fchs6(Fg[vF_xFhd
mFj]sFjapFb^nF$F$C*@$Fcen-Fgs6#-&F[^nFetFR>F0Fecn>FgrF^fcl@&FdbdlFhbdl-Fgen6$f*
Fi`mF$F$F$0F^fclFa]lF$F$6$F_xFgrF0F]r>Fbr7#7#-Fcjo6$F9Fgr>F_\lFihm?&F[sF0FirC$>
Fbr7#-Fhv6$-F76#-F@6%F[wFbrFe_l/Fe_l-FigdlF^gl>F_\l6$F_\l-F76#-F@6$Fbir-Ff\dlF^
gl@%/FbrF_fl-FcfnF]s-Fgcv6$F[bnF_\lF$F$F$Fgtf*Fh[dlF$F$F$@%FhelFaq-Fcap6$Fc`x-F
76$;FXFcd\lFSF$F$F$F[^^lF\^^lFhflf*Fh[dlFe^^lF$F$C%@$FhelFaq>F0Fdc\l7#-Fhv6$-Fh
d`lF^_^l/Fgr;Fhr,&F`clFhr-Fix6%Fgi^lF9FYFhrF$F$F$Fdsf*6$Fhdm'F`by<&FbirF[oFa\vF
[^nFj_^lF$F$C$>F0F\q@+F_qFaqFb^zC$>FgrFf^z@%Fb`^lFc`^lF]r-Fgn6$FinFbirC$>Fgr-Fd
^n6$F`hsF9@%Fb`^lFc`^lF]rFe`^lC$>FgrFebel@%Fb`^lFj`^lF]r-&F[^nF``rFcbyF$F$F$Fj_
nF_a^lF^`nf*Fh[dlF$F$F$@'FhelFaqF`hcl7#/7#-Fcjo6$F9F^fclFhr-F@6$f*Fi`mF$F]doF$/
Fi`o,$F`\pFYF$F$F$-F@6$F[jrF[erF$F$F$Fhbnf*F$F`bdlF$F$C$>F0Fecn@)FgcnFfdnFdbdlF
hbdl-Fgen6$FahclF0-Fcfn6#,&-F[w6#-F76#-F@6$F]c^lF0FhrF`qFY-F^av6#-FahsFb[^lF$F$
F$Fe[blf*Fh[dlF$F$F$@%FhelFaq3/Fad\lF9FcepF$F$F$F[i^lF\i^lF]\oFfj^lFjj^lF[[_lFa
vFh[_lFiblFa\_lF\fnf*Fh[dlF$F$F$@%FhelFaqFfg_lF$F$F$%%drawGf*Fh[dlF\^oF$F$C$>F0
F`]oZ%--Fix6%Fhaq%%PLOTG%'PLOT3DG6#-&F66#.FjddlFaaqF$YF$F$F$F$F`\_lFa]_lFb`]lF_
b_lFeboFee_lFfanf*F$F$F$F$-F^av6#-FcanFaaqF$F$F$F^coF_f_lFef_lf*Fh[dlF$F$F$@'Fh
elFaq-&F[^n6#.%)isaffineGFRF_fl-F@6$f*Fi`mF$F]doF$1,$Fi`oFYF`\pF$F$F$-F@6$F[jr-
Fix6%Fgi^lFbb\l&Fbb\lFajrF$F$F$%)proximumGf*6%'%#P0GFh_\l'Fh`tF[o'%%distGFj]m64
%#vvGFfpFhdmFj]sFjapFj[lF]^tF_^t%#QQGF[\p%#yxG%#hsG%$hs1GF_iq%"zGF[\lF\\sF]jvF$
F$C.>FgrF\q>F0Fcfo@&Fc^mFaq0Fa_tF`clF]r>F[s-&F[^nFK6$FSFd^\l>85Febn@$0FaielF_fl
>F[s-Fj]n6&FgrFbaclFaielF_fl>FbrFf_el>F_\lF]`el-%,std/findminG6%Fbrf*Fa^nF$F]do
F$FjbxF$F$F$Fe_l>Ff_l<#Fe_l>FeclFafl?(F$FhrFhrF$FirC$@'2-Fjiel6%Fbr-Fi[sFafmFg`
m-F_\n6$Fe_lFe_l>Ff_l<$Fg`m-F7Fihr2-Fjiel6%F_\lFfjelFg`mF9>Fecl<$Fg`m-F7F`bmC%>
F[d^l,&Fe_lFhrF0Fhr@$Fa_mC$>84,&F0FhrF[d^lFY>F]y-F_au6#-F_\n6$Fh[flFh[fl-Fgs6#F
[d^l?(F$FhrFhrF$FirC+>Fg`m-Fi]tFdjn>Fggm,&Fg`mFhrFe_lFY>Fiam-Fgcv6$F[[fl-Fhv6$-
Fbir6#Fh[fl/Fh[flFecl>F[fm-Fjiel6%-&F[^nF`h`lFb^qf*6#Fh[lFf]clF$F$C$>F0-F_\n6$F
a[sFa]l@%1F0F9Ffg]l*&,&F\qFhr-F_\n6$Fa[sFi]lFYFhrF0FYF$F$6&FchelFggmFj[lFe_lF_f
m@$2FhrF[fmC$>Fe_lFg`mFehr>F_c^l,&Fe_lFhr*&F[fmFhrFggmFhrFhr>Fcfm-F76$FhrF_fm@%
2-Fjiel6%Ff_l-Fi[s6#FcfmFg`m-F76$FXF_fm>Ff_l-Fegl6$Ff_l<#Fg`mC$-Fjiel6%FeclF__f
lFg`m>Fecl-Fegl6$FeclFf_fl>Fe_lF_c^lF$F$F$F`eoFcb]lFh_mFhf_lFb_pFcb]l%(cornersG
&F[^n6#F^`_lFcg_lf*Fh[dlF$F$F$@%FhelFaq-F^dm6#/Fcr7#FhfsF$F$F$F]gelf*Fh[dlF$F$F
$@%FhelFaq-F^dm6#/F^b\lFhrF$F$F$FeioFig_lFdepFcb]lF][nf*6&FfpF]^mFghsF[][lF$F$F
$-F^av6#-Fjjm6&FSFinF]y7$Feeu-FgesFRF$F$F$F^`_lFdd_lFgbmFg\`l%'volumeGf*Fh[dlF$
F$F$@'FhelFaqFhgs-&Fa^u6#.Fdafl6#-&F[^nFgblFRF9F$F$F$Fh]oFcb]l%*issimplexGf*Fh[
dlF$F$F$@%FhelFaq3F`eel-&F[^nFfjblFRF$F$F$FGFa^uFJF[^n%(surfaceGf*Fh[dlF\^oF$F$
C$>F0-&F[^nFbi_lFR@)FhelFaqFe]s-&Fa^u6#.FdbflF[bflFdaq,$FgaflFXF9F$F$F$Fb\yF\``
lFidqFcb]lFi_rFb``lFiilFhr%)distanceGf*6%FhdmFeir'F[\lFj]mF\^oF$F$C$@'F`hcl>F0F
fg]lFa_m>F]y-&F[^n6#.Fhgel6%FSFinF0FhcflF0F$F$F$Fair,
I)type/ray-%)specfuncG6$F[oFbirF$,
I)type/vec<%-Fcx6#F\o-%'vectorGFddfl-FbgxFddflF$,
I*type/line-F_dfl6$F[oFa\vF$,
I)type/mat<&F_fl-F\esFddfl-F^exFddfl-F]exFddflF$,
I+type/!BASEf*6$Fj[lFexF$F$F$50F`dyFcap0&Fa[sFH&FinFHF$F$F$F$,
I+print/_OBJf*6#FexF$F$F$-&FSFd[`l6#FTF$F$F$F$,
I)PCOMPLEX=F$F%E\[lJF'F(FapFbpF[xf*6%F^xFbxFipFdxF$F$C$>FgrFhx@'Feat-F_hl6$F\jq
Fiy0FinFjo-F_hl6%F\jqFgyFiy-F_hl6%F\jqFjoFiyF$F$F$FaelFbelFb_lf*6#%#PCGF$F$F$@%
FhelFaq-F@6$F\\dl-Fdas6$Fh`vF\fmF$F$F$F`^lF[ilFjilf*F^gflFf]clF$F$C$>F0F]jl@'Fh
elFaqFe`mF0F`]dlF$F$F$F`jlFajlFQF^[mFecdlf*F^gflF$F$F$@%FhelFaq-F@6$F\\dl-F]bmF
dgflF$F$F$Fjddlf*6#'F_gflFcu6*F_xF_edlFipFhdm%"tGF*Fj]s%#vsGF$F$C(@&F_qFaq4-&Fc
uFc[blFR-F_p6#Q9argument~must~be~boundedF$>F0-F^gnFR>FgrFjedl>F[sFcr@'Fhaq>F_\l
FihmFdfdlC%>F_\lF_bl?&Fbr&F[s6#FerFir?&Fe_l-FcgdlFgwFirC&@$4-&Fa^uFc[blFafmFjcp
>Ff_l-F_gdlFafm>Fecl-F\_l6$Ff_lFc_l@%-F[[s6#&F_\lF`bm>Ffjfl&.F_\lF`bm>FfjflF[[f
l>F_\l-FgcsFjcmFfedl6%-Fffdl6$-F76#-F@6$F\gdl7$F_\l-F76#-F@6$Figdl&F[s6#F_jlFgr
-F[hdl6$-F76#-F@6$Figdl&F[sF]uFgr-Ff\x6$-F76#-F@6$F7-F@6$FigdlFe[wFgrF$F$F$FdsF
f]mFj_nF[`nF^`nf*F^gflF$F$F$@'FhelFaq-FienFR7#/7#-Fcjo6$F9F]iflFhr-F@6$f*Fi`mF$
F]doF$FgcelF$F$F$-F@6$F[jrFjboF$F$F$FhbnFibnFe[blF^\oF]\oF^\oFavFf\oFiblFd^oFa`
oFb`oF\fnf*F^gflF$F$F$@%FhelFaq-F^dm6#0&FcrFbblF_flF$F$F$FceelFdeelFeboFfboF^co
F_coF`eoFaeoFhhoFihoFh_mf*F^gflF$F$F$@%FhelFaq7#-&%%CELLGFacm6$-Fcfn6#F]iflFSF$
F$F$Fb_pFc_pFccmFaapFeioF_epFdepFeepFgbmF]gpF``qFa`qFdaflf*F^gflF`bdlF$F$C$>F0&
FcrFifs@'FhelFaq-Fh[n6$Fb[blF0-F[w6#-F76#-F@6$&F[^nFiaflF0Ffg]lF$F$F$Fh]oF_jqFG
Fb^gl%,convert/FANGf*F^gflF$F$F$@'FhelFaq/F]jlFjo-F_p6#Q@argument~has~no~lineal
ity~spaceF$-Fe^p6%/FhrFey/Fer-Fihn6%F@F[h\lFcrFSF$F$F$FidqF[\rFi_rFj_rF=F^brFii
lFhrFair,
I+std/existsf*6%FhuF]t'FiuFc_zF^esF$F$C$?(F0FhrFhrFgyFir@$-FS6#FeesC$@$Fa_m>F]y
F0Fi_mF%F$F$F$F$,
I+std/forallf*Fc`glF^esF$F$C$?(F0FhrFhrFgyFir@$4Fh`glC$@$Fa_m>F]yF0FfsFirF$F$F$
F$,
I,std/findmaxf*6$'FhuFbjq'F]tFcx6&Fgp%%imaxGF`[oF[\pF$F$C&>FgrF9>F[s,$Ffg]lFY?(
F0FhrFhrFgyFirC$>Fbr-FS6$FeesFjeal@$2F[sFbrC$>FgrF0>F[sFbrFgrF$F$F$F$,
I,std/findminf*6%'F]t<$Fc_lFcx'Fhu<$FbjqF\o'%#x0GFc_z6%Fj[lF[\p%#y0GF$F$C%>F[sF
fg]l?&F0FSFirC$>Fgr-FinF_z@$2FgrF[sC$>F[sFgr>F]yF0F[sF$F$F$F$,
I*type/MODZf*Fi`mF$F$F$3/F`dyFcap/Fa[s.F_gvF$F$F$F$,
I.convert/PFACEFejrF$,
I/convex/dotprodf*Ff_sF^esF$F$-F[w6#-Fhv6$FihxFf\sF$F$F$F$,
I/cone/_rays_setf*FbimF$6#%'inlineGF$F_amF$F$F$F$,
I/convex/motzkinf*6%F\eal'Fjf]lFcx'F[g]lFcx6<F_x%#l0GFbxFdelFecs%(oldineqG%%new
cG%#ciG%'ineqnoG%*nooldineqG%#slG%#srG%#swGFgpFiuF_iqF]t%'face2dG%)adjacentG%%r
posG%%rnegG%#r0G%%addrG%'addsatG%%csatG%,dpw_newc_ciGF$F$C.>F0Ff\^l>FgrF]jl>F[s
Fgr>FbrFcr>F_\lFej\l>Fe_lFbb\l>Fg`mF`fm>Ff_l7$F`hsFcj_l-Feem6&FXFeo-FhyFihr%,co
nstraintsG?(FeclFhrFhrFfggl52F9F`^v2F9FgfoC)>Fiam,(Fg`mFhrFeclFhrFgyFY-Feem6(Fe
rFeoF`^v%'lines,GFgfoFb_l-Feem6&F_jlFeo%-constraint~#GFecl>8=-Fi[s6#Fe]q>Fggm-F
@6$f*Fa^nF$F$F$7$FSF_^oF$F$6$FifglFfhglF[s>F_fm-F@6$f*Fa^nF$F$F$F]iglF$F$F^iglF
br@%-Fgen6%f*Fi`mF$F]doF$0F`\pF9F$F$F$FggmF[fmC(-Feem6%FerFeo%9reducing~lineali
ty~spaceG>Fcfm*&-Fffq6#&Fggm6$F[fmFXFhr&Fggm6#F[fmFhr>Fggm-Fe^p6$/F[fmFihmFggm>
F[s-F@6%Fd_sFggmFcfm>Fbr-F@6%Fd_sF_fmFcfm@%2Fg`mFiamC$>Fbr7$F[bn&FcfmFb`l>F_\l7
$-F76#-F@6%FjglF_\l<#Fiam<#-Fcjo6#;Fhr,&FiamFhrFYFhr>F0Fd`lC.-Feem6%FerFeo%7com
puting~new~rays~...G>Fh[fl7#-Fcjo6#;FhrFgfo>6$8788-F_im6$f*Fi`mF$F$F$2F9&Fa]l6$
FSFXF$F$6$F_fglF_fmFh[fl>6$89F]]hl-F_im6$f*Fi`mF$F$F$/Fb]hlF9F$F$Fd]hlF]]hl-Fee
m6*Fh\tFeo%&r0~=~G-Fhy6#Fg]hl%&r+~=~G-Fhy6#F\]hl%&r-~=~G-Fhy6#F]]hl>8:F_fl>8;F_
fl>Faiel,(F0FhrF`^vFYFfjoFhr?&F_c^lF]]hlFir?&F[fmF\]hlFirC'>8<-Fg]p6$&F_\lFcjgl
&F_\l6#F_c^l@$2-Fhy6#Fa_hlFaielFjcp>86Fir?(F[d^lFhrFhrFgfoFir@$33-F]am6$Fa_hl&F
_\lF`\fl0F[d^lF_c^l0F[d^lF[fmC$>F\`hlF%Fehr@$F\`hlC$>Fh^hl7$-F76#Fh^hl-Fd_s6$&F
_fmFf_hl&F_fmFcjgl>Fj^hl7$-F76#Fj^hlFa_hl@&F_[hlC%?&F[fmFg]hlFir>F_\l-Fe^p6$/F[
fm-Fjgl6$Fd_hlFj[hlF_\l>Fj^hl-F@6%FjglFj^hlFj[hl>Fg]hl7$-F7F`^hl-F7Fc^hl2F9,&Fb
^hlFhrFe^hlFhr>F0Fd`l>Fbr7$-Fhv6$&FbrFcjgl/F[fmFg]hlF\ahl>F_\l7$-Fhv6$Fd_hlF^ch
lFdahl@$0F[sFgrC$-Feem6%F_jlFeo%;normalising~lines~and~raysG>Fchu-FjcqFchu-F]\t
6)F\qF[sFbrF_\l7$-F7FjdrF`hs7$FjgtFcj_lFdc\lF$F$F$F$,
I.convex/reducef*6#Fhht6,F_xFbxFdelFecsFgpFiuFicsF^emF_emFea^lF$F$C4>F0F\q>FgrF
]jl>F[sFcr@$3/FccpF9/F`^vF9-Fgs6#-Fi`xF_z>FbrFej\l>FeclF[er>FiamFbb\l-Feem6%F_j
lFeo%Ftransposing~ray-facet~incidence~tableG>Ff_l-Facs6$Fbr-FhyFb^q-Feem6%F_jlF
eo%=detecting~implicit~equationsG>Fg`mF`^v>Fecl7$Fa[fl-Fhv6$&FiamFjcm/F_\l-F]bm
6$f*Fi`mF$F$F$/-Fhy6#Fg_nFa]lF$F$6&Fea^lFg`mFicsFf_l7#-Fcjo6#;FhrFhehl-Feem6%F_
jlFeo%Creducing~and~normalising~equationsG>Fecl-FjcqF`bm-Feem6%F_jlFeo%Freducin
g~and~normalising~inequalitiesG>Fe_l-F]`s6%Ff_l,*F0Fhr-FhyF`bmFYFccpFYFYFhrFhi^
l@%/F`fmFfgglC$-Feem6%FXFeo%?all~inequalities~induce~facetsG>Fiam-F_ebl6$FeclFi
amC&>Fiam-F_ebl6$Fecl7#-Fhv6$FafhlFhgw>Ff_l7#-Fhv6$&Ff_lFjcmFhgw-Feem6%F_jlFeo%
Ftransposing~facet-ray~incidence~tableG>Fbr-Facs6$Ff_lF`^v-F]\t6)F0FgrF[sFbrFec
lFiamFf_lF$F$F$F$,
I-contains/rayf*6$FhpFdelF$F$F$3-Fh[n6$f*Fi`mF$F$F$Fie]lF$F$F\f]lF[er-Fh[n6$f*F
i`mF$F$F$1F9Fje]lF$F$F\f]lFbb\lF$F$F$F$,
I.contains/linef*FjihlFf]clF$F$C$>F0F]jl5Fig]l/-Fhy6#-Fjcq6#7$FhjtFinF`clF$F$F$
F$,
I/convert/affineFejrF$,
I.convex/affinef*6#F]es6#%"aGF$F$C$>F0Fcjr@%Fe]sF`jr*&F`jrFhrF0FYF$F$F$F$,
I-convex/homogf*6$FeirFa^xF$F$F$-F_cp6#7$-F7F^dqFinF$F$F$F$,
I/convex/homog_1f*6%F]es'%$v_1GF\oFa^xF$F$F$-F_cp6#7%Fc]sFinF]yF$F$F$F$,
I.convex/originf*F^fzF$F\]lF$7$-Fcjo6$F9F\jqFhrF$F$F$F$,
I.ray/_isaffinef*6#Fce]lF$F$F$-F^dm6#2F9FcjrF$F$F$F$,
I/type/affhplane<$/F[oF\o/F\oF[oF$,
I/type/affhspace<$1F[oF\o1F\oF[oF$,
I.type/PCOMPLEXf*Fi`mF$F$F$3Fddgl/Fa[sF_hlF$F$F$F$,
I0convex/addanglef*6&Fb^n%#v1G%$v12G%$v13G6#F\\sF$F$C$>F0,&FSFhrFinFY7$-%&evalf
G6#-%'arctanG6$-F_\n6$F0F]y-F_\n6$F0FaboFSF$F$F$F$,
I'convexf*Fi`m6$FjeoFgjr6#%(packageGE\s#%._PackageTableG=F$F%E\[l^rFdcvf*F$F$F$
F$-&Fc_ilFe\oFaaqF$F$F$F'F\`ilF[grF\`ilFc[vF\`ilFf`]lF\`ilFiavF\`ilF`dvF\`ilFeu
F\`il%(torsionGF\`ilFbevF\`ilFfgvF\`ilFjivF\`ilF][lF\`ilFagsF\`ilFa]wF\`ilFaelF
\`ilF^^xF\`ilFb_lF\`ilF`^lF\`ilF^\dlF\`ilFjilF\`ilFfeclF\`ilFff`lF\`ilF`jlF\`il
Fih`lF\`ilFffnF\`ilF\j]lF\`ilFg]nF\`ilF^bdlF\`ilFecdlF\`ilF`\mF\`ilFc[^lF\`ilF_
axF\`ilFhdxF\`ilF`\^lF\`ilF^[alF\`ilFefxF\`ilF\axF\`ilF`ixF\`ilFfj]lF\`ilFjddlF
\`ilFg\alF\`ilFd]elF\`ilFgixF\`ilF[^^lF\`ilFhflF\`ilF\byF\`ilF`_^lF\`ilFdsF\`il
FddmF\`ilF]eyF\`ilFj_nF\`ilF^iyF\`ilF^`nF\`ilFe[blF\`ilFc\zF\`ilF[i^lF\`ilF]\oF
\`il%/transversalfanGF\`ilFjj^lF\`ilFavF\`ilFiblF\`ilFh\_lF\`ilF\fnF\`ilFceelF\
`ilFabxF\`ilF^]_lF\`ilFbfalF\`ilF`\_lF\`ilFb`]lF\`ilF\fzF\`ilFcd_lF\`ilFeboF\`i
lFef_lF\`ilFhgelF\`ilF`eoF\`ilFjdnF\`ilFhhoF\`ilFe]alF\`ilFe\lF\`ilFjhzF\`ilFh_
mF\`ilFh\[lF\`ilFb_pF\`ilF^`flF\`ilFcg_lF\`ilFfapF\`il%*vertexnosGF\`ilF]gelF\`
ilFeioF\`ilFdepF\`ilFe`[lF\`ilFf`[lF\`ilFgbmF\`il%*directsumGF\`ilF`hpF\`ilF``q
F\`ilFdaflF\`ilFh]oF\`ilF_[[lF\`ilF^bflF\`ilFgjqF\`ilFc_blF\`ilFje[lF\`ilF`dnF\
`ilFdbflF\`ilF_\\lF\`ilFidqF\`ilFd_\lF\`ilFdd\lF\`ilFi`rF\`ilFef`lF\`ilFcg\lF\`
ilF`cflF\`ilFjipF\`il%*_InitFileGf*F$F$F$F$@$4-%*interfaceG6#%&quietG-%'printfG
6#QivConvex~version~1.1.4,~Copyright~(C)~1999-2016~Matthias~Franz|+This~package
~is~distributed~under~the~GNU~General~Public~License|+See~http://www.math.uwo.c
a/|irmfranz/convex/~for~more~information|+F$F$F$F$C%>F0-F76$FhrF:@%-F[[s6#&FeoF
_z>FgrFfail>Fgr&Fa[sF_z@%-Fgn6$FgrFbjqZ%-FgrFaaqQ.invalid~inputF$C$>F0&F\u6#Ff]
t@%/-F7F\iclFcapY6$&F\u6#;FXF\fl-FheflFb[^lYF$FjdyF$Fh[sF$Fair,
I&PFACE=F$F%E\[lEF`i\lF[^nFapF^c`lF[xFfc`lFb_lf*F[tF$F$F$@%FhelFaq-F@6$F\\dl-Fd
as6$Fh`vFb[alF$F$F$F`^lf*F[tF$F$F$@'FhelFaqFjfalFY,&-F\^lFRFhrFYFhrF$F$F$Fff`lf
*F[t6#Fea^lF$F$C%@$FhelFaq>F0-F^]s6#Fc^al-F]bm6$f*Fi`mF$F$F$1FSFa]lF$F$6$Fea^lF
0F\qF$F$F$Fih`lFjh`lFicmF\i`lFg]nf*F[tF$F$F$@%FhelFaq-F\\dl6#-&F]^lFe]nFRF$F$F$
Fecdlf*F[tF$F$F$@%FhelFaq-F@6$F\\dl-F]bmFfcilF$F$F$F^[alFh[alFfj]lf*F[^oF$F$F$@
%FhelFaq-&F]^l6#.Ff_bl6#-&F]^lFdj]lFRF$F$F$Fg\alFh\alFgt&Fa^u6#FicmFg^alFh^alFj
_nFeaalFhbnf*F$6)%#flGFhuF_xFacn%#hlGFhdmFdhsF$F$C+>F0Fecn@&Fgcn-&%*POLYHEDONGF
gblFh^x4-Fgn6$F0-Fcx6#Fa^uF`en>F[s-F[w6#-F76#-F@6$&Fa^uF_gnF0>Fe_l-&F[^nFbjn6#-
F76#-F@6$&Fa^uF\[alF0@$-Fgen6$&Fa^uFjenF0-F^c_lFafm>F_\lF_fl>FbrF9?&FgrF0FirC%>
Ff_lF`in>F_\l7$F_ft-F76#-F@6$f*Fe]flFae[lF$F$C$>F0Fee[l-Fd^n6$-Fcgm6%Fa]lFcclFi
]lFajoF$F$6&F_xF[sFacnFbr-F_h`lF]s>Fbr,&FbrFhr-F_fclFihrFhr-Fe^p6$F[d_l-Feg`l6#
-Fdbm6$-F_\yFafmF_ftF$F$F$Fe[blf*F[t6$FhdmFd]uF$F$C&@$FhelFaq>F0Fcr>FgrF\q5/Fgr
Fafl3/Fb\tF_fl2-F^]s6#Fi[bl-Fd[oFijyF$F$F$Faa_lFjdalFdjrf*F[^oFh[dlF$F$C%@$Fhel
Faq>F0Fcr-F]_^l6&F\qF]jl-&FebuF\h\lF_zFej\lF$F$F$F[falF\falF\fnf*F[tF$F$F$@%Fhe
lFaq-F^dm6#FjfalF$F$F$FbfalFcfalFeboF`galFggalFhgalF^coFahalFe]alF_ialFe\lFdjal
FccmF`\blFa`ilf*F[tF\dilF$F$C%@$FhelFaq>F0F`dil-F@6%%"-G-F]bm6$f*Fi`mF$F$F$2Fa]
lFSF$F$FfdilF\qF0F$F$F$Fdaflf*F[tF_[zF$F$@'FhelFaq-F]jflFRC'>Fg^u-FigdlF_b\l>F0
&-Fa]uFRFb`l>Fg^uFihm>Fa]u-Fe^p6$/FerFihm-F\\o6#Fa]uF0Ffg]lF$6$Fa]uFg^uF$Fc_blf
*F[t6$FhdmFi\`lF$F$C&@$FhelFaq>F0Fcr>FgrF]jl@%1F9Fi[blFgr-Fegl6$Fgr<#Fdd^lF$F$F
$Fdbflf*F[t6&Fd]uFhdmF[it%#FFGF$F$C%>FgrFcr>F0-FhyFifs@'FhelFaq55Fg\jlFdaq3Fhaq
/F]hnF_flC'>Fg^u-FigdlF]s>F[s-F[w6#-Fhv6$&-Fa]uFgwFb`l/FbrF_^u>Fa]uF`]jl>Fg^uFi
hm-Fcau6$F[sF_auFfg]lF$Fe]jlF$Fb\yFgablFi_rF\bblFef`lF_bblFair,
I(FANCONE=F$F%E\[l[oF`i\lF"F'Fai\lF[grf*Fh^]lF$F$F$@)Fc^mFaqF^_]lFgq3Feq/-F[[al
FR-F[[alFioC$@$Fa_m>F]y-&F66#.Fg\alF`halFirC$-Feem6&FXF6.%(callingG&Fd_]l6#F[gr
-&Fd_]lFifrFaaqF$F$F$Ff`]lFg`]lFapf*Fj`]lF$F$F$@%3Feq/-F76$"#5FS-F76$F[bjlFin-F
]am6$F_amF``mC$-Feem6&FXF6F_ajl&Fd_]lF``r-&Fd_]lF]a^lF`halF$F$F$FeuFcb]lF[xF]c]
lFbzf*Fbim6$%#s1G%#s2GF$F$-Fa^gl6$-FizFaaq-Fhdl6$7$/F0&F"Fed`l/FgrF[[al-F06$-Fg
rFRFTF$F$F$FagsFae]lFb_lFaf]lF`^lFcf]lFjilFff]lF`jlf*FbimFgbjlF$F$-Fi[o6$-&Fd_]
lF[[mFaaq-Fhdl6$7$/F0Feb]l/Fgr&F6F\[alFccjlF$F$F$F\j]lF]j]lFg]nFgj]lF`\mFcb]lFc
[^lFd[^lFeisFh[^lF`\^lFa\^lF^[alf*FbimFjeflF$F$C$>F0Fiajl@'FhelFaq/-F76$F9F`joF
capF`joC$-Feem6%FXF6%1computing~domainG>F`jo-F\\o6#F`joF$F$F$Ffj]lF^]^lFg\alf*6
#F_^m6'F*F]^mFhpFdelFi\lF$F$C*>FgrFecn@$FeialFgq>F0Fc`jl@$-Fgen6$f*Fi`mF$F$F$0F
c`jlFa]lF$F$6$F*F0FgrFac`l>F[s&Fgr6#-F_i_l6$Fai_lFgr>FbrFigr>F_\l-Fg]p6#-F76#-F
@6$FjhlFgr-Fi[o6$-Fe[_l6#-&FD6#.F[fal6$F[s-F]bm6$f*Fi`mF$F$F$-Fagl6$Ff`lFi]lF$F
$6&FdelFbrFi\lF_\l<#Fg\hlF0F$F$F$Fgtf*FbimFgbjlF$F$@%Fig]lFf]^l-Fa^gl6$-FctFaaq
-Fhdl6$7$/F0&F"6#.FisFbcjl-F06#FecjlF$F$F$F[^^lF\^^lFhflFd^^lF`_^lFa_^lFdsFg_^l
Fj_nF_a^lF^`nFaa^lFhbnf*F$6&FhpF]^mFhbjlFibjlF$F$C%>F0-&Fd_]lF]isFaaq>FgrFecn@%
Ffial-Fi[o6$F0-Fhdl6$7$/F[sFidal/FbrF`djl-F[s6#-F76#-F@F`]uF0F$F$F$F[i^lF\i^lF`
`ilf*6$Fhp'F+Fj]m6+F*%#FdGFipFdelF^emF_xFdbr%$qMCG%$qFdGF$F$C/>F0Fc`jl>FgrF\q>F
f_lFf\^l@&F_qFaqF_juC$@$F]el>Fin-F\btF]sFc^cl>Ff_lFf\^l>Fiam,&FgrFhrFf_lFY>F[sF
^ao>Ff_lFf\^l>FbrF_am>F_\l-&Feo6#.FjjyFjdr>Fecl-F^y6$;F9Fiam7#-Fhv6$-F@6%Fbg]l-
F]bm6$f*Fi`mF$F$F$FeamF$F$6$FdelFbr&F[sFafmF_\l/Fe_l;Ff_lF\q@$F]el>FinF_\l-Fi^d
l6%FiamF_fl-F\\oF`bmF$F$F$F]\oFfj^lFjj^lF[[_lFavFh[_lFiblFa\_lFh\_lFi\_lF^]_lF_
]_lF`\_lFa]_lFb`]lF_b_lFcd_lFdd_lFeboFee_lFfanFge_lF^coF_f_lFef_lFff_lF`eoFcb]l
Fe]alf*F`ejl6&F*F]^mFhpFhuF$F$C'>FgrFecn>F0Fc`jl@&FeialFgq-Fgen6$f*Fi`mF$F$F$Fj
ejlF$F$F[fjlFgrFac`l>Fbr-Ffcp6$F0-F76#<#-Fhv6$-F76#FigrFcjal@%5/F6.F^_pFicpFbr-
Fe^p6$/Fhr.Fb^glFbrF$F$F$Fh_mFhf_lFb_pFcb]lFccmf*6$FhhtF*F$F$F$-Fcap6&F6F]\^lF9
-F`y6#7#/F9FinF$F$F$Fcg_lFdg_lFeioFig_lFdepFcb]lF][nF[h_lF^`_lFdd_lFgbmFg\`lFh]
oFcb]lFGF]^lFJFdtFb\yF\``lFidqFcb]lFi_rFb``lFiilF9FjipFh``lFair,
I%CELL=F$F%E\[ldoF`i\lFcuFdcvF]eclF'FgeclF[grF_`jlFapFeajlF[xf*F]jclF$F$F$@%F_j
cl-Fe^[mFejcl-Fe^[mFhjclF$F$F$FagsFb[dlFb_lFg[dlF`^lFcf]lF^\dlF_\dlFjilF^]dlFfe
clFb]dlF`jlFfcjlF\j]lF]j]lFg]nFiadlF^bdlF_bdlFecdlFfcdlF`\mF^ddlFc[^lFd[^lFeisf
*Fh[dl6$FhpF_gflF$F$C%>F0-F[h\lFaaq>Fgr-&Fb^glF\[alFR@%/F]hnFjoF0-F]_p6$F0-.&Fc
u6#.Fd_glF]sF$F$F$F`\^lFa\^lF^[alFadjlFfj]lFgddlFjddlF[edlFaavF`hdlFg\alF_ejlFd
]elFe]elFgtFc`elF[^^lF\^^lFhflFj`elFdsFgaelFj_nF_a^lF^`nF]celFhbnFghjlFe[blF]ee
lF[i^lF\i^lF]\oFfj^lFjj^lF[[_lFavFh[_lFiblFa\_lF\fnFaeelFceelFdeelF`\_lFa]_lFb`
]lF_b_lFeboFee_lFfanFcfelF^coF_f_lFef_lFgfelFhgelFigelF`eoFcb]lFe]alF[][mFh_mFh
f_lFb_pFcb]lF^`flFdd_lFccmf*6$'FhpF[^nF*F$F$F$-Fcap6%F6Fg`elFj^[mF$F$F$Fcg_lFa`
flF]gelFg`flFeioFig_lFdepFcb]lF][nF\aflF^`_lFdd_lFgbmFg\`lFdaflFeaflFh]oFcb]lF^
bflF_bflFGFa^uFJF[^nFdbflFebflFb\yF\``lFidqFcb]lFi_rFb``lFiilFhrF`cflFacflFair,
I%MODZ=F$F%E\[l,F_`ilf*6#Fe`tF$F$F$F]jlF$F$F$F[xf*6$'FdelFgeoFgevF^esF$F$,&*&FS
Fhr.%"ZGFhrFhr-F[w6#-Fhv6$&Fea[mF_z/F0FinFhrF$F$F$Fih`lf*F_a[mF$F$F$,&F\qFhrF[^
_lFhrF$F$F$Fihqf*F`]y6&FgpFhevFf]yFiuF$F$C%?(F0F^axFhrFinFirC(@$F[^yC$>F]^y-F^g
v6$F]^yF_flFjcp>Fgr-&F_gv6#.%'_smithGFe^y>F[sFccp?(FbrFhrFhrF[s/F`ayFhrF$>F]^y-
F^gv6$,&F]^yFhrF[sFY&Fgr6#;FbrFY>F`^y,&F`^yFhrF[sFY>&F]yFio-F^gv6$F\d[mF_flF]yF
$F$F$Fegvf*6#Ff[v6'FgpFiuF_xFfpFbxF$F$C&>FbrF``l>F_\lFS?(F0FhrFhrF\ctFir?(FgrF]
^nFhrFbrFirC%>F[s-F^]s6#-Fa]s6$&F_\lF_z&F_\lF]s>F^e[m*(F]e[mFhrF^e[mFhrF[sFY>F]
e[mF[s-Fhdl6$FedtF_\lF$F$F$F^cof*F$F$F]doF$FbhalF$F$F$F^c[mf*6#'F+Fao6&FchpFfpF
delFgpF$F$C&>FgrFbfx@$2F9Fgr>Fgr-Fd[o6$FgrFfex@+Fb_wFbgu-Fgn6$-F\\o6#%,_Env_ism
ithGFbjq>F0-Fef[mFR-Fgn6$-F\\o6#%'ismithGFbjq>F0-F\g[mFR-Fgn6$-F\\o6#&%.LinearA
lgebraG6#.%*SmithFormGFbjq>F0-Fcg[m6$-Fix6%-Fgn6$FSF]exFS-F]exFR/%'methodGFgeo>
F0-&%'linalgG6#.F\g[m6#-Fix6%-Fgn6$FSF^yFS-F\_lF\i[m@'-Fgn6$F0FaoC$?(F[sFhrFhrF
gr0&F06$F[sF[sF9F$7#-Fhv6$&F0F]_\l/FbrFhgyFbbvF0-F_p6#Q.ismith~failedF$F$F$F$%&
_zeroG-Fdap6%F_gvF9F_flFccmf*6$'FdelF`xFgevF$F$F$-Fcap6%FfdglFSFinF$F$F$Fb`ilf*
F$F`d[mF$F$C$>F0Fecn@%-Fgn6$F0-Fcx6#F_gv-F^gv6$-F[w6#-F76#-Fihn6%F7FXF0-Fbgv6#-
F@6$F7-Fihn6%F7F_jlF0FgqF$F$F$Fef`lf*F_a[mF$F$F$F\qF$F$F$Fair,
I/convex/lelim_1f*Ff]clF$F]doF$-F@6$Fh\s-Fihn6%Fe^p/FfjoFihmFSF$F$F$F$,
I.type/POLYTOPEf*Fi`mF$F$F$3F_fs-Fb[blFRF$F$F$F$,
I/CFACE/listraysf*6$F+Fd]uF^esF$F$7#-Fhv6$Fe\sF\b[mF$F$F$F$,
I#&=FejrFair,
I-type/FANCONEf*Fi`mF$F$F$3Fddgl/Fa[sFa^[mF$F$F$F$,
I-convert/CONEFejrF$,
I#&<FejrFair,
I$&<=FejrFair,
I0type/POLYHEDRONf*Fi`mF$F$F$3Fddgl-Fagl6$Fa[s<$Fc`xFe^[mF$F$F$F$,
I/convex/lelim_2f*6$FbxFh[lF$F$F$-F@6$f*Fi`mF$F$F$-Fe^p6$Fc\\m,&FSFhr*&&FS6#Ffj
oFhrFa`pFhrFYF$F$6$Fh[lFinFSF$F$F$F$,
I*type/CONEf*Fi`mF$F$F$3Fddgl-Fagl6$Fa[s<$F\\^lFa^[mF$F$F$F$,
I+type/CONE1f*Fi`mF$F$F$3-Fi^\mFRFafsF$F$F$F$,
I+type/CONE0f*Fi`mF$F$F$3Fb_\mFcepF$F$F$F$,
I+type/PFACEf*Fi`mF$F$F$3Fddgl/Fa[sF\d_lF$F$F$F$,
I,type/PFACE1f*Fi`mF$F$F$3-Ff_\mFR0Fb[alF_flF$F$F$F$,
I+type/CFACEf*Fi`mF$F$F$3Fddgl/Fa[sF_^alF$F$F$F$,
I#&xFejrFair,
I5polyhedron/&x/hspacef*6%Fh[lF]hsFhhsF^esF$F$-Fe^p6%F`hs/FY,&-F[w6#-Fhv6$Fe\s/
F0F]yFhrFcjrFhrFSF$F$F$F$,
I8convex/orderplanepointsf*6#'FdeoFcx6$Fh`tF]tF$F$C&@$2F``lFerFden>F0,&Fi`oF\bl
F`\pF\bl>Fgr-F@6'F^^ilFSF0,&F`\pFhrF0FY,&&FSFj[glFhrF0FY-Fihn6%F7FX-Fafo6$Fgrf*
Fj[pF$F]doF$-F^dm6#2Fi`oF\`sF$F$F$F$F$F$F$,
I$&<<FejrFair,
I5cone/&x/addincidencef*6&'%#CSGFc_l'%$CASGFc_l'%#ASGFc_l'FgpF`xF$F$F$-Fegl6$F]
y-F@6%F[w-FeglFcbyFaboF$F$F$F$,
I6convex/lindiosolve/<=f*6$'Fj[lFcx'F[\pFcxF^esF$F$C$?(F0FhrFhrF``lFir@$2FeesFe
\sOF%FirF$F$F$F$,
I6FAN/homology/getbasisf*FecqF$F\]lF$FgcqF$F$F$F$,
I4convex/projection_1f*Fahdl6/F_xFgpFiuF]jvFjapF^emF_emFjf]lF[g]lFh[lFecs%&sat2
iG%#PsGF$F$C)>F0F\q>Fe_lF[er>Ff_lFbb\l>Fbr-F]\\mFjan>F_\l-F]\\mF_b\l@%-Fgen6%f*
Fi`mF$F]doF$0Ff^\mF9F$F$F$Fe_lFgrC&>Fg`m*&&Fe_lF]sFhr&Fe_l6$FgrFfjoFY>Fecl-F\^\
m6$Fe_lFg`m>Fiam-F\^\m6$Ff_lFg`m>Fcfm-F^av6#-F]\t6(Fd[elFbrF_\lFej\l-FjcqFchhlF
dc\lC&>FggmFej\l>Fecl-Fihn6%Fe^pFc\\mFe_l>FcfmFihm?(FgrFhrFhrFfgglFirC&@%1&Ff_l
F[f\mF9Fjcp>Fg`m*&&Ff_lF]sFhrFbg\mFY>FiamF`f\m>F_fm&Fdc\lF]s>Fcfm6$Fcfm-F^av6#-
Fj[t6#-F]\t6)Fd`lFbr7#-Fhv6$Fjdo/F[sF_fm7#-Fhv6$&FggmF^glFdh\mFeclFiamF_fl-Fbu6
$7#FcfmF%F$F$F$F$,
I1convert/PCOMPLEXFejrF$,
I,convert/FANFejrF$,
I)type/FANf*Fi`mF$F$F$3Fddgl/Fa[sFeyF$F$F$F$,
I*type/FAN0f*Fi`mF$F$F$3-F^i\mFRFcepF$F$F$F$,
I*type/CELLf*Fi`mF$F$F$3Fddgl/Fa[sFe^[mF$F$F$F$,
I5face/convert/fanconef*6#F^hblF$F$F$-F]_p6$-%2face/convert/coneGFR-%/fancone/d
omainG6#-%,face/domainGFRF$F$F$F$,
I8convex/writepoly/matrixf*6&Fh]wFi]wF\`\lFjeo6$FdelFb^nF$F$C$-Fj`\l6%FSQ%|+%s|
+F$Fin?&F0FaboFirC$>Fgr-F[jrF_z-Fj`\l6&FSF]yFhhbl-F7Feb^lF$F$F$F$,
I5convex/writepoly/setf*6$Fh]wFgepF^esF$F$C%-Fj`\l6$FSQ"|frF$?&F0-Fafo6#FcfoFir
-Fj`\l6%FSFca\lFd`l-Fj`\l6$FSQ$~|hr|+F$F$F$F$F$,
I7convex/readpoly/matrixf*Fe]cl6'FbxFgpF\`\lFb^nFchflF$F$C)>F0F^_cl>FgrFhr>F[sF
ht?(F$FhrFhrF$FirC&>Fbr-F\_w6$F\`clQ%%a%nF$@$Fce\lFehr>F[s-Fj^r6$F[sQ#%aF$>Fgr,
&FgrFhr&FbrF]uFhr>F_\lFihm?(F$FhrFhrF$FirC&>Fbr-F\_w6$F0F[s@&Fce\lFehr4-Fgn6$Fb
rFcdflC$-F`dwFR-F_p6#Q<polyhedron~must~be~rationalF$>F_\l6$F_\l-Fd^n6$&FbrFVFfh
o>F0F^_clFb[tF$F$F$F$,
I5convex/readpoly/nopsf*6%Fi]wFj]w'FfpFc_zF$F$F$@$3-F[[s6#&FinFR0Ff_]mF_fl>F]y-
Fhy6#&Ff_]mFb`lF$F$F$F$,
I8convex/readpoly/makesatf*6$Fjap%#ieG6$FgepFdelF$F$C%-Feem6%F_jlF[^n.%@computi
ng~incidence~informationG>F0<#-Fcjo6#;FhrFgy7#-Fhv6$-F]bm6$f*Fi`mF$F$F$/-F_\n6$
Fa]l&FjasFRF9F$F$6&FdelFgrF_`]mFinF0/FgrFSF$F$F$F$,
I$&<>f*F$F$F]doF$4-F^coFaaqF$F$F$Fair,
I$&>=f*6$F_fqF\ioF$F]doF$-Fap6%FinFSFjealF$F$F$Fair,
I#&>f*F]b]mF$F]doF$-Fi_rF_b]mF$F$F$Fair,
I$&>>f*F]b]mF$F]doF$-FggalF_b]mF$F$F$Fair
