GiNaCDE v1.6.0 release
Now, the simplify() function of GiNaCDE is more powerful, and it can verify most of the solutions delivered by GiNaCDE with the help of checkSolu() function.
Now, GiNaCDE (>=v1.6.0) determines the solutions of differential equations without assuming all the constant parameters are strictly real and positive, i.e., all the constant parameters can be real and positive or real and negative numbers.