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

Formale Metadaten

Titel
On Benefits of Equational Constraints in Lex-Least Invariant CAD
Serientitel
Anzahl der Teile
31
Autor
Lizenz
CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 3.0 Deutschland:
Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache
Produzent
Produktionsjahr2020
ProduktionsortBath, United Kingdom

Inhaltliche Metadaten

Fachgebiet
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.
Schlagwörter