>
|
|
>
|
|
| (1) |
_Env_diffalg_char:
A regular differential system might have no zero. The corresponding components disappear when computing the characteristic decomposition.
>
|
|
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
Some regular components can split into several characterizable components.
>
|
|
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
The degree in the leaders can decrease.
>
|
|
>
|
|
| (10) |
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
>
|
|
| (14) |
_Env_diffalg_charpres_method:
>
|
|
| (15) |
>
|
|
| (16) |
>
|
|
| (17) |
>
|
|
| (18) |
>
|
|
| (19) |
The previous example does not succeed using _Env_diffalg_charpres_method := 'groebner'.
_Env_diffalg_charpres_normalize
>
|
|
| (20) |
>
|
|
| (21) |
>
|
|
| (22) |
>
|
|
| (23) |
>
|
|
| (24) |
>
|
|
| (25) |
>
|
|
| (26) |
_Env_diffalg_primestudy:
>
|
|
>
|
|
| (27) |
>
|
|
| (28) |
>
|
|
| (29) |
This characteristic set is irreducible (the lowest ranked differential polynomial is irreducible and the others have degree one in their leaders). Therefore, the characterizable differential ideal it defines is prime. Thus, the radical differential ideal represented by : is prime. Whatever the ranking, there is a characteristic decomposition of : that contains only one component. Unfortunately a straightforward computation induces some redundant components. They can be eliminated by introducing as a fourth argument to Rosenfeld_Groebner. Setting _Env_diffalg_primestudy:=true can be a good idea to avoid some computations.
>
|
|
>
|
|
| (30) |
_Env_diffalg_split:
By setting _Env_diffalg_split:= false, one expects to find the most general component. This works in the following example.
>
|
|
>
|
|
| (31) |
| (32) |
| (33) |
Nonetheless, setting _Env_diffalg_split to false can lead to misleading results. It might return no component while the input differential polynomials may have a common zero.
>
|
|
>
|
|
| (34) |
>
|
|
| (35) |
| (36) |