Showing 1–5 of 5 results for author: Mascarenhas, W F

Solving systems of inequalities in two variables with floating point arithmetic

Authors: Walter F. Mascarenhas

Abstract: From a theoretical point of view, finding the solution set of a system of inequalities in only two variables is easy. However, if we want to get rigorous bounds on this set with floating point arithmetic, in all possible cases, then things are not so simple due to rounding errors. In this article we describe in detail an efficient data structure to represent this solution set and an efficient and… ▽ More From a theoretical point of view, finding the solution set of a system of inequalities in only two variables is easy. However, if we want to get rigorous bounds on this set with floating point arithmetic, in all possible cases, then things are not so simple due to rounding errors. In this article we describe in detail an efficient data structure to represent this solution set and an efficient and robust algorithm to build it using floating point arithmetic. The data structure and the algorithm were developed as a building block for the rigorous solution of relevant practical problems. They were implemented in \texttt{C++} and the code was carefully tested. This code is available as supplementary material to the arxiv version of this article, and it is distributed under the Mozilla Public License 2.0. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Computing the exact sign of sums of products with floating point arithmetic

Authors: Walter F. Mascarenhas

Abstract: IIn computational geometry, the construction of essential primitives like convex hulls, Voronoi diagrams and Delaunay triangulations require the evaluation of the signs of determinants, which are sums of products. The same signs are needed for the exact solution of linear programming problems and systems of linear inequalities. Computing these signs exactly with inexact floating point arithmetic i… ▽ More IIn computational geometry, the construction of essential primitives like convex hulls, Voronoi diagrams and Delaunay triangulations require the evaluation of the signs of determinants, which are sums of products. The same signs are needed for the exact solution of linear programming problems and systems of linear inequalities. Computing these signs exactly with inexact floating point arithmetic is challenging, and we present yet another algorithm for this task. Our algorithm is efficient and uses only of floating point arithmetic, which is much faster than exact arithmetic. We prove that the algorithm is correct and provide efficient and tested \texttt{C++} code for it. △ Less

Submitted 17 September, 2021; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: In this second version we fix some typos and provide a more precise description of the conditions under which our main algorithm is valid. We also rewrote the algorithm in order to make it more clear. We also make the C++ code mentioned in the article available as supplementary material on the arxiv

Moore: Interval Arithmetic in C++20

Authors: Walter F. Mascarenhas

Abstract: This article presents the Moore library for interval arithmetic in C++20. It gives examples of how the library can be used, and explains the basic principles underlying its design. This article presents the Moore library for interval arithmetic in C++20. It gives examples of how the library can be used, and explains the basic principles underlying its design. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: arXiv admin note: text overlap with arXiv:1611.09567"

Moore: Interval Arithmetic in Modern C++

Authors: Walter F. Mascarenhas

Abstract: We present the library Moore, which implements Interval Arithmetic in modern C++. This library is based on a new feature in the C++ language called concepts, which reduces the problems caused by template meta programming, and leads to a new approach for implementing interval arithmetic libraries in C++. We present the library Moore, which implements Interval Arithmetic in modern C++. This library is based on a new feature in the C++ language called concepts, which reduces the problems caused by template meta programming, and leads to a new approach for implementing interval arithmetic libraries in C++. △ Less

Submitted 29 November, 2016; originally announced November 2016.

Fast and accurate normalization of vectors and quaternions

Authors: Walter F. Mascarenhas

Abstract: We present fast and accurate ways to normalize two and three dimensional vectors and quaternions and compute their length. Our approach is an adaptation of ideas used in the linear algebra library LAPACK, and we believe that the computational geometry and computer aided design communities are not aware of the possibility of speeding up these fundamental operations in the robust way proposed here. We present fast and accurate ways to normalize two and three dimensional vectors and quaternions and compute their length. Our approach is an adaptation of ideas used in the linear algebra library LAPACK, and we believe that the computational geometry and computer aided design communities are not aware of the possibility of speeding up these fundamental operations in the robust way proposed here. △ Less

Submitted 16 January, 2018; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: In this version I fixed some minor details in the text and moved all tables to the experiments section