Maple Student Edition
Maple Personal Edition
Maple Player for iPad
Maple T.A. MAA Placement Test Suite
Maple T.A. Connector for Blackboard Software
Möbius Project Home Page
View Math Apps
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
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
diffalg[differential_sprem] - return sparse pseudo remainder of a differential polynomial
differential_sprem (q, L, R, 'h')
differential_sprem (q, C, 'h')
differential polynomial in R
list or a set of differential polynomials in R
characterizable differential ideal
differential polynomial ring
Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.
The function differential_sprem is an implementation of Ritt's reduction algorithm. It is an extension of the pseudo-remainder algorithm to differential polynomials.
L is assumed to form a differentially triangular set.
Let A denote L or equations(C).
The function differential_sprem returns a differential polynomial r such that
(b) No proper derivative of the leaders of the elements of A appears in r.
(c) The degree according to a leader of any element a of A is strictly less in r than in a.
(d) The differential polynomial h is a power product of factors of the initials and the separants of the elements of A.
The differential_sprem(q, L, R, 'h') calling sequence returns an error message if L contains 0. If L contains a non zero element of the ground field of R, it returns zero.
The differential_sprem(q, C, 'h') calling sequence requires that q belong to the differential ring in which C is defined.
The function rewrite_rules shows how the equations of C are interpreted by the pseudo-reduction algorithm.
Then r is zero if and only if q belongs to C.
The command with(diffalg,differential_sprem) allows the use of the abbreviated form of this command.
Differential pseudo-division by a single differential polynomial:
Reduction according to a characterizable differential ideal:
diffalg(deprecated), diffalg(deprecated)/belongs_to, diffalg(deprecated)/differential_algebra, diffalg(deprecated)/differential_ring, diffalg(deprecated)/Rosenfeld_Groebner, DifferentialAlgebra[DifferentialPrem]
Download Help Document