Hello all ,
- Carl :
When I was a student (a long time ago) I had lectures on "Logique et théories axiomatiques" (No need to translate I think)
so I know what is a "libre" (free) variable and a "liée" (bound) Variable :)
I also had lectures on Category Theory ..It was mainly the book "Categories for the working mathematician" (Springer-Verlag).Excellent book.
Anyway this was a long time ago and I passed my Ph.D on differential geometry/topology . (Exotic Spheres)
Now what I do with Maple : I mainly use the "packages" DG, GrTensor,Physics.
Si I am not an expert on the other things of Maple even after 30 years...
There are a *lot* of things I don't know in Maple...
Now : Maple *should* return an error when I do stupid things like (x+y=1)' ==> 1=0 .
Now I work on Minimal Surfaces and Cosmology when I have time.
For short thank you Carl!
Any idea to implement 2-spinors in the Physics pckage ?
Best to all.