Comments on A Neighborhood of Infinity: Practical Synthetic Differential Geometry

If your having trouble displaying math you might w...

2006-10-24T19:05:00.000-07:00

If your having trouble displaying math you might want to look at ASCIMathML at

http://www1.chapman.edu/%7Ejipsen/mathml/asciimath.html

It's a javascript that automatically parses a web page and converts standard LaTeX notation (or it's own simplifed notation) between `` or $$ delimiters into MathML on the fly.

You should be able to use it with Bloggger but I don't know how.

I'd ask how SDG compares to geometric calc...

2006-09-26T09:39:00.000-07:00

I'd ask how SDG compares to geometric calculus...

Geometric calculus is what you get when you combine calculus with geometric algebra. SDG provides an alternative approach to calculus. So the two should happily coexist. In fact, the code here can be combined with this latest code without problem and I guess that some of the language of geometric calculus turns directly into usable code in a nice way.

Michi,

d(x)1 and 1(x)d commute so their com...

2006-09-26T09:32:00.000-07:00
Michi,

d(x)1 and 1(x)d commute so their commutator is zero. In fact, both of the algebraic structures I define are commutative. The Lie bracket comes from the non-commutativity of the vector field functions, not the underlying algebras.

Soooo... your Lie bracket is "just" the commutator...

2006-09-26T08:11:00.000-07:00
Soooo... your Lie bracket is "just" the commutator of d(x)1 and 1(x)d in the tensor product, right?

Is this just me being WAY to used to the algbraic point of view thinking that this is almost tautological?

Michael Shulman has an introductory lecture on synthetic differential geometry that starts out with dual numbers and eventually describes a Lie bracket. I don't know enough about Lie groups to know how his formulation compares to yours.

I'd ask how SDG compares to geometric calculus, but I don't think I'd understand the answer

augustss,

Thanks for the link. That's the o...

2006-09-22T09:21:00.000-07:00
augustss,

Thanks for the link. That's the only paper I've seen that formulates AD the way I do.

Judging by the date of that paper, I think that my approach to Lie algebras must be novel so maybe I should write a paper on it. (It's slightly different to what I wrote here because Kock's 'functional' definition of a vector field is pretty, but less useful for calculation.)

A reference to AD:
http://www.bcl.hamilton.ie/~...

2006-09-22T08:26:00.000-07:00
A reference to AD:
http://www.bcl.hamilton.ie/~bap/papers/popl2007-multi-forward-AD.pdf

Michi, the code's correct, the 'comments' weren't....

2006-09-22T07:16:00.000-07:00
Michi, the code's correct, the 'comments' weren't. Now fixed.

For the second derivtive you need an element such ...

2006-09-22T07:10:00.000-07:00
For the second derivtive you need an element such that d^3=0 but d^2=0. Such an element can be found in R⊗R, as you've discovered. But, as you point out, you get the 1st derivative twice and it gets worse with higher derivatives. You can implement an appropriate algebra directly. One paper that does this is here. (That implements exactly the right thing, but doesn't give an algebraic description.) For arbitrary higher derivatives you're probably need power series code and there are many implementations of that in Haskell, at least for the single variable case.

Ummmm, I seem to be running into problems quite ea...

2006-09-22T07:02:00.000-07:00
Ummmm, I seem to be running into problems quite early on. I defined the duals following your exposition closely (I added a signum and an abs because ghci was complaining about those), and then got
*DiffGeo> let f x = x^3+2*x^2-3*x+1
*DiffGeo> f (1+e)
D 1 4
wgucg seems to contradict your calculation of that very example.

What's the preferred way to do higher derivatives?...

2006-09-21T22:59:00.000-07:00
What's the preferred way to do higher derivatives? I found that e2 = D e 1 works, but it also calculates the first derivative twice.

Comments on A Neighborhood of Infinity: Practical Synthetic Differential Geometry

If your having trouble displaying math you might w...

I'd ask how SDG compares to geometric calc...

Michi,d(x)1 and 1(x)d commute so their com...

Soooo... your Lie bracket is "just" the commutator...

augustss,Thanks for the link. That's the o...

A reference to AD:http://www.bcl.hamilton.ie/~...

Michi, the code's correct, the 'comments' weren't....

For the second derivtive you need an element such ...

Ummmm, I seem to be running into problems quite ea...

What's the preferred way to do higher derivatives?...

Michi,

d(x)1 and 1(x)d commute so their com...

augustss,

Thanks for the link. That's the o...

A reference to AD:
http://www.bcl.hamilton.ie/~...