On 12/16/2011 10:43 PM, Jaime Villate wrote:
> 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?
Hi,
Yes, I am infact talking about the kind of things that Sussman and
Wisdom do in SICM. They don't really use the more abstract
datastructures present in scmutils, in their book however. They ignore
- with explicit mention of this fact - the singularities that arise in
Euler angles when doing Rigid body dynamics. I haven't read the book
completely, so I don't really know if they do something fancier in any
of the other examples.
The differential geometric structures are documented here:
http://groups.csail.mit.edu/mac/users/wisdom/AIM-2005-003.pdf
Akshay