On 12/16/2011 03:18 PM, Akshay Srinivasan wrote:
> 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.
>
> There are some nice features of the sort - abstraction of Manifolds -
> implemented in scmutils, but I'm not sure how useful that feature is.
Hi,
some references would be helpful. Are you thinking of the sort of things
that Sussman and Wisdom
do in their book "Structure and Interpretation of Classical Mechanics"?
or is there a better reference that I can look at to understand what you
are talking about?
Cheers,
Jaime