Maple Professionel
Maple Académique
Maple Edition Étudiant
Maple Personal Edition
Maple Player
Maple Player for iPad
MapleSim Professionel
MapleSim Académique
Maple T.A. - Suite d'examens de classement
Maple T.A. MAA Placement Test Suite
Möbius - Didacticiels de mathématiques en ligne
Machine Design / Industrial Automation
Aéronautique
Ingénierie des véhicules
Robotics
Energie
System Simulation and Analysis
Model development for HIL
Modélisation du procédé pour la conception de systèmes de contrôle
Robotics/Motion Control/Mechatronics
Other Application Areas
Enseignement des mathématiques
Enseignement de l’ingénierie
Enseignement secondaire et supérieur (CPGE, BTS)
Tests et évaluations
Etudiants
Modélisation financière
Recherche opérationnelle
Calcul haute performance
Physique
Webinaires en direct
Webinaires enregistrés
Agenda des évènements
Forum MaplePrimes
Blog Maplesoft
Membres Maplesoft
Maple Ambassador Program
MapleCloud
Livres blancs techniques
Bulletin électronique
Livres Maple
Math Matters
Portail des applications
Galerie de modèles MapleSim
Cas d'Etudes Utilisateur
Exploring Engineering Fundamentals
Concepts d’enseignement avec Maple
Centre d’accueil utilisateur Maplesoft
Centre de ressources pour enseignants
Centre d’assistance aux étudiants
RegularChains[Inequations] - list of inequations of the regular chain
Calling Sequence
Inequations(rc, R)
Parameters
rc
-
regular chain of R
R
polynomial ring
Description
The command Inequations(rc,R) returns the set of the initials of rc.
By definition, a zero of the regular chain rc is a common zero of its equations that does not cancel any of the initials of rc.
This command is part of the RegularChains package, so it can be used in the form Inequations(..) only after executing the command with(RegularChains). However, it can always be accessed through the long form of the command by using RegularChains[Inequations](..).
Examples
First, we compute the generic solutions of sys, that is a triangular decomposition of the zeros of sys in the sense of Kalkbrener.
Then we compute all the solutions (generic or not), that is a triangular decomposition in the sense of Lazard. For each computed regular chain, we show its equations and inequations.
See Also
Equations, Initial, PolynomialRing, RegularChains, Triangularize
Download Help Document