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

fYear

2008

fDate

June 30 2008-July 3 2008

Firstpage

342

Lastpage

352

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Sciences and Its Applications, 2008. ICCSA '08. International Conference on

Conference_Location

Perugia

Print_ISBN

978-0-7695-3243-1

Type

conf

DOI

10.1109/ICCSA.2008.61

Filename

4561239