Ralf Hemmecke wrote:
>
> Up to now my impression was that something declared via "operator" is
> not automatically symmetric, i.e. T(X,Y) is not the same as T(Y,X).
>
> cat bugNormalize.input |fricas -nosman > bugNormalize.out
>
> It seems that normalize has a strange side effect on the application of
> D. How else could there appear T_{,1,2}(Y(a,b),X(a,b)) in the output?
AFAICS this is just ordinary bug in implementation of eval for
derivatives:
(1) -> Y := operator 'Y;
Type: BasicOperator
(2) -> e := Y(a,b)
(2) Y(a,b)
Type: Expression(Integer)
(3) -> r1 := D(D(e,b),a)
(3) Y (a,b)
,2,1
Type: Expression(Integer)
(4) -> k1 := kernels(r1).1
(4) Y (a,b)
,2,1
Type: Kernel(Expression(Integer))
(5) -> a1 := argument(k1)
(5) [Y (%%01,b),%%01,a]
,2
Type: List(Expression(Integer))
(6) -> k2 := kernels(a1.1).1
(6) Y (%%01,b)
,2
Type: Kernel(Expression(Integer))
(7) -> op2 := operator(k2)
(7) %diff
Type: BasicOperator
(8) -> a2 := argument(k2)
(8) [Y(%%01,%%02),%%02,b]
Type: List(Expression(Integer))
(9) -> op2(a2)
(9) Y (b,%%01)
,1
Type: Expression(Integer)
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
