diffalg(deprecated)/is_orthonomic - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : diffalg(deprecated)/is_orthonomic

diffalg

  

is_orthonomic

  

test if a characterizable differential ideal is presented by an orthonomic system of equations

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

is_orthonomic (J)

Parameters

J

-

characterizable differential ideal

Description

• 

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

• 

The command is_orthonomic determines if the characteristic set defining J  is orthonomic.

  

Characterizable differential ideal are constructed by using the Rosenfeld_Groebner command.

• 

A characteristic set is orthonomic when its initials and separants  belong to the ground field. It is the case if inequations(J) is empty.

• 

Characterizable differential ideals given by orthonomic characteristic sets are prime differential ideal. The function Rosenfeld_Groebner recognizes and can take advantage of this fact.

• 

If J is a radical differential ideal represented by a list of characterizable differential ideals, then the function is mapped on all its components.

Examples

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

withdiffalg:

Rdifferential_ringderivations=t,ranking=u:

JRosenfeld_Groebnerut24u[],R

J:=characterizable,characterizable

(1)

rewrite_rulesJ

ut2=4u[],u[]=0

(2)

is_orthonomicJ

false,true

(3)

See Also

diffalg(deprecated)

diffalg(deprecated)/differential_algebra

diffalg(deprecated)/differential_ring

diffalg(deprecated)/Rosenfeld_Groebner

DifferentialAlgebra[Is]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam