Maple Student Edition
Maple Personal Edition
Maple Player for iPad
Maple T.A. - Testing & Assessment
Maple T.A. MAA Placement Test Suite
Möbius - Online Courseware
Machine Design / Industrial Automation
System Simulation and Analysis
Model development for HIL
Plant Modeling for Control Design
Other Application Areas
High Schools & Two-Year Colleges
Testing & Assessment
High Performance Computing
Maple Ambassador Program
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
RegularChains[ParametricSystemTools][ComplexRootClassification] - compute a classification of the complex roots of a polynomial system depending on parameters
ComplexRootClassification(F, d, R)
ComplexRootClassification(F, H, d, R)
ComplexRootClassification(CS, d, R)
list of polynomials
number of parameters
The integer d must be positive and smaller than the number of variables.
The characteristic of R must be zero and the last d variables of R are regarded as parameters.
For a parametric algebraic system, this command computes all the possible numbers of solutions of this system together with the corresponding necessary and sufficient conditions on its parameters.
More precisely, let V be the variety defined by F. The command ComplexRootClassification(F, d, R) returns a classification of the complex roots of F depending on parameters, that is, a finite partition P of the parameter space into constructible sets such that above each part, the number of solutions of V is either infinite or constant.
If a constructible set CS is specified, the representing regular systems of CS must be square-free. The function call ComplexRootClassification(CS, d, R) returns a classification of the points of the constructible set CS, that is, a finite partition P of the parameter space into constructible sets such that above each part, the number of solutions of CS is either infinite or constant.
If H is specified, let W be the variety defined by the product of polynomials in H. The command ComplexRootClassification(F, H, d, R) returns a classification of the points of the constructible set V-W depending on parameters.
The computation below shows that the input parametric system can have 1 solution or 2 distinct solutions. The corresponding conditions on the parameters are given by constructible sets.
These constructible sets are printed below.
ComprehensiveTriangularize, ConstructibleSetTools, ParametricSystemTools, RealRootClassification, RegularChains
Download Help Document