|
OreTools[ParametricGCRD] - determine the dependency of GCRD on a parameter
|
|
Calling Sequence
|
|
ParametricGCRD(P1, P2, ..., cond, Par, A)
|
|
|
Parameters
|
|
|
P1, P2, ...
|
-
|
Ore polynomials depending on a parameter; to define an Ore polynomial, use the OrePoly structure.
|
|
cond
|
-
|
polynomial in Par
|
|
Par
|
-
|
name; parameter
|
|
A
|
-
|
Ore algebra; to define an Ore algebra, use the SetOreRing function.
|
|
|
|
|
|
Description
|
|
|
•
|
The ParametricGCRD(P1, P2, ..., cond, Par, A) calling sequence finds the dependency of the greatest common right divisor (GCRD) of two or more Ore polynomials P1, P2, ... with polynomial coefficients and parametrized on Par that satisfies the polynomial condition  .
|
|
•
|
The ParametricGCRD command returns an error message if the Ore polynomials P1, P2, ... do not have polynomial coefficients.
|
|
•
|
The return value depends on cond.
|
|
1.
|
If cond is a nonzero constant, the ParametricGCRD command returns NULL.
|
|
3.
|
If  , the ParametricGCRD command returns ![piecewise(cond_1 = 0, g[1], () .. (), cond_n = 0, g[n], g_otherwise)](/support/helpjp/helpview.aspx?si=7378/file02453/math141.png) . For i=1, ... n, cond_i and g_i are defined as in the previous case and g_otherwise=GCRD(P1, P2, ...) for all other values of Par.
|
|
4.
|
If  and there are no other GCRDs, the ParametricGCRD command returns the Ore polynomial that is the GCRD(P1, P2, ...) for all Par .
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
![PIECEWISE([OrePoly(-1), a = 0], [OrePoly(1, 1, 0, x), a+1 = 0], [OrePoly(1, 1), a+2 = 0])](/support/helpjp/helpview.aspx?si=7378/file02453/math200.png)
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
>
|
|
|
![PIECEWISE([OrePoly(a, -2*a, x*a+1), (a-1)*a = 0], [OrePoly(1), a+1 = 0])](/support/helpjp/helpview.aspx?si=7378/file02453/math228.png)
| (8) |
|
>
|
|
|
![PIECEWISE([OrePoly(a, -2*a, x*a+1), (a-1)*a = 0], [OrePoly(1), otherwise])](/support/helpjp/helpview.aspx?si=7378/file02453/math235.png)
| (9) |
|
|
|
References
|
|
|
|
Glotov, P.E. "An algorithm of searching the greatest common divisor for Ore polynomial with polynomial coefficients depending on a parameter." Programming and Computer Software. Vol. 24 No. 6, (1998): 275-283.
|
|
|
