Discrete differential geometry

Check out page 40 of the source PDF (calcula ex geometrica) — they talk about geometrical computation. Instead of

1. approximating analog with digital
2. doing digital arithmetic
3. smoothing the result to fake an analog again

why not OOP-define computer operations that deal directly with the curves via their defining properties?

Sort of like how MATLAB, Mathematica, Wolfram Alpha, YACAS, SAGE, Maxima, Axiom, Maude, PARI, lie, Singular, GAP — the symbolic calculators — do integrals and derivatives by the same rules that you would on paper rather than numerically approximating a function and then delivering only floating-point answers. The “computer as zillions of arithmetic operations” idea is totally incapable of giving a general answer like `∫cos=sin`, or recognise some Green’s-Theorem-type reduction so that a few quintillion computational steps don’t even need to be performed.

The exterior calculus — invention of Élie Cartán — appears to be the right set of principles to object-orientedly program to do the analog-of-symbolic-computation for curves and surfaces.

It makes sense to me. If you have a plane curve with essentially two parameters, why does it need to be represented as an arbitrarily long array of `points=pairs`? You should be able to get arbitrary precision (just like a symbolic calculator does) with just the two parameters, if the reasoning system you programmed reasons the right way.

Overload dem operators with `curve+curve=⊔` and `surface×curve=∮`, the wedge operator’s leading the way.

40 notes

1. idlnmclean reblogged this from isomorphismes
2. infinitedeltas reblogged this from isomorphismes
3. chuchuoo reblogged this from bparramosqueda
4. bparramosqueda reblogged this from isomorphismes and added:
Good mathematics!
5. ireallyhatedirac reblogged this from isomorphismes
6. cyclopentadiene reblogged this from isomorphismes
7. nihaobeianenglishtea reblogged this from isomorphismes
8. sleepisoverated reblogged this from isomorphismes
9. moodus-yeah reblogged this from isomorphismes and added:
Calc it up bitches
10. clickclicktapclick reblogged this from isomorphismes
11. cheappoet reblogged this from isomorphismes
12. alfredodistefano reblogged this from isomorphismes
13. isomorphismes posted this