Polyhedral modelling with multiprecision integer arithmetic

We describe a polyhedral modeller that uses software extended-precision integer arithmetic to guarantee numerical reliability. By careful design, the performance of the modeller is not much different from the performance that a floating-point modeller might have. The modeller performs Boolean set operations exactly; to prevent growth of coordinate bit-length, affine transformations require coordinate rounding and hence are approximate. A new algorithm for reconstructing polyhedral incidence information after rounding is given. Copyright (C) 1996 Elsevier Science Ltd