The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple
Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie · 2008
We present two new modules of the RegularChains library in Maple: ConstructibleSetTools which is the first distributed package dedicated to the maniputation of (parametric or not) constructible sets and ParametricSystemTools 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.