Pakke til at optælle toppunkter og ekstreme stråler for et konveks polyede
Et konveks polyeder er sættet af punkter der tilfredsstiller en begrænset
familie af lineære uligheder. Studiet af toppunkter og ekstreme stråler for
sådanne systemer er vigtigt og brugbart i f.eks. matematik og optimering. I
en fælles fortolkning svarer det at finde toppunkter på en (bundet)
polyeder til at finde det konvekse skrog (bundede uligheder) på et
(arbitrær dimensionelt) punktsæt. Lrs (omvendt leksikografisk søgning) har
to vigtige funktioner som kan være meget vigtige for bestemte programmer:
Det virker i præcis aritmetik, og det forbruger hukommelse proportionalt
med inddata, uanset hvor stort uddata er.