Hello,
I haven't seen this done before, and haven't really given this much
thought. I was just thinking about charts on SO(3) and it struck me
how easy it'd have been if there were nice abstractions in some
computer language to have computer datatypes for S^1.
Anyone who has worked on rigid body mechanics knows how annoying
working in covering spaces can be. It'd be nice to hear what the
Maxima community thinks of this (crazy ?) idea. If not anything of
practical value, it'd surely make the study Differential Geometry more
interesting :)
There are some nice features of the sort - abstraction of Manifolds -
implemented in scmutils, but I'm not sure how useful that feature is.
Akshay