We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

On Benefits of Equational Constraints in Lex-Least Invariant CAD

Formal Metadata

Title
On Benefits of Equational Constraints in Lex-Least Invariant CAD
Title of Series
Number of Parts
31
Author
License
CC Attribution - NonCommercial - NoDerivatives 3.0 Germany:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language
Producer
Production Year2020
Production PlaceBath, United Kingdom

Content Metadata

Subject Area
Genre
Abstract
This paper is part of our ongoing research on the adaptation of Lazard's CAD to benefit from equational constraints in formulae. In earlier work we combined the CAD methods of McCallum and Lazard so as to produce an efficient algorithm for decomposing a hypersurface rather than the whole of $\RR^n$ (exploiting an equational constraint $f=0$). That method, however, fails if $f$ is nullified (in McCallum's terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains.
Keywords