Question: odetest dependence on ordering of constants

Maple 2026 and 2025.2

How to explain this?  if sol is 

               y(x) = _C2*sin(x) + _C1*cos(x); 

odetest verifies it. But if it is 

              y(x) = _C1*sin(x) + _C2*cos(x);

It does not.

How could this be possible?  What difference does it make if one uses _C1 or _C2 first?

Web site does not let me upload worlsheet now.

ode:=diff(y(x),x$2)+y(x)=0;
IC:=y(0) = y(2*Pi), D(y)(0)=D(y)(2*Pi);
sol_1:=y(x) = _C1*sin(x) + _C2*cos(x);
odetest(sol_1,[ode,IC]); #why this fails to verify?

 

ode:=diff(y(x),x$2)+y(x)=0;
IC:=y(0) = y(2*Pi), D(y)(0)=D(y)(2*Pi);
sol_2:=y(x) = _C2*sin(x) + _C1*cos(x);
odetest(sol_2,[ode,IC]);

Update:  Reported to Maplesoft as bug.

Please Wait...