Title :
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple
Author :
Chen, Changbo ; Lemaire, Francois ; Li, Liyun ; Maza, Marc Moreno ; Pan, Wei ; Xie, Yuzhen
Author_Institution :
Univ. of Western Ontario, London, ON
fDate :
June 30 2008-July 3 2008
Abstract :
We present two new modules of the regular chains library in Maple: constructible set tools which is the first distributed package dedicated to the maniputation of (parametric or not) constructible sets and parametric system tools which is the first implementation of comprehensive triangular decomposition. We illustrate the functionalities of these new modules by examples and describe our software design and implementation techniques. Since several existing packages have functionalities related to those of our new modules, we include an overview of the algorithms and software for manipulating constructible sets and solving parametric systems.
Keywords :
mathematics computing; software engineering; software packages; Maple; comprehensive triangular decomposition; constructible set tools; distributed package; parametric system tools; regular chains library; software design; Algebra; Application software; Distributed computing; Equations; Packaging; Polynomials; Software algorithms; Software design; Software libraries; Software packages; comprehensive triangular decomposition; constructible set; parametric polynomial system; regular chain; software design; triangular decomposition;
Conference_Titel :
Computational Sciences and Its Applications, 2008. ICCSA '08. International Conference on
Conference_Location :
Perugia
Print_ISBN :
978-0-7695-3243-1
DOI :
10.1109/ICCSA.2008.61
