both inner (dot) and outer (wedge) projects.two of the main elements (bivectors?) consists ofcomputations. The multiplication operator betweenbefore. Area and volume come directly from doing theI've been reading more about GA, which I've tackledGreeting Andrius --
--
You received this message because you are subscribed to the Google Groups "MathFuture" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mathfuture+...@googlegroups.com.
To post to this group, send email to mathf...@googlegroups.com.
Visit this group at https://groups.google.com/group/mathfuture.
For more options, visit https://groups.google.com/d/optout.
Kirby, Andrius,This question underscores the notion that units of measure are as significant as numerical quantity.In physics, the conserved quantity is often the product, often of two or more measurements using different units of measure,e.g. work measured in newtons x meters.Through habit of use, we are accustomed to the interpretation of "area" as "square length",but perhaps it is not so intuitive what a "square second" or "kilogram meter" are.
I think it is simply a matter of convention (or convenience) that we measure areas and volumes in "square" or "cubic" units, such that the product of the linear units of measure of the components equals the numerical unit of measure of the product.
But since length, area, and volume are different units of measure, I agree there is no mathematical constraint on using tetrahedral or triangular units in place of cubic or square units.
As for application to physics, David Hestenes has applied GA across the spectrum of classical and quantum Physics,and written a couple books on the subject. If you are not already familiar with it, I commend to your attention his 2002 Oersted Lecture on the subject. One of his examples includes the tetrahedral symmetry of the Methane molecule.Joe
On Jun 13, 2016, at 5:53 PM, kirby urner <kirby...@gmail.com> wrote:My question for Andrius, and yourself, is along the lines of whether non-cubist
interpretations might apply in some versions, or is GA the sole property ofthe "must live in Rome" orthodox?
I'm somewhat out of my depth, knowing not much more about GA than I do about Quadrays,
On Jun 13, 2016, at 5:53 PM, kirby urner <kirby...@gmail.com> wrote:My question for Andrius, and yourself, is along the lines of whether non-cubist
interpretations might apply in some versions, or is GA the sole property ofthe "must live in Rome" orthodox?I'm somewhat out of my depth, knowing not much more about GA than I do about Quadrays,but it would be worth exploring whether you can axiomatize a "vector algebra and calculus" of Quadrays.In Physics, vectors represent quantities that have a "magnitude" and a "direction".Standard vector analysis represents planes by their normal vector, e.g. angular momentum.(Of course, no one believe that the "motion" of a spinning thing is in the direction of its axis--it's just a mathematical trick.)GA gives a representation more like a circumferential "round" vector.They also use the "vector cross product" to represent interactions between two vector fields, say the Electric and Magnetic fields.When relativity came along, it turned out that the cross product was not an invariant. GA supposedly remedies this.The usual reasoning for three dimensions is that is the minimum number needed to be linearly independent.
In [178]: z = Vector((randint(-10, 10), randint(-10,10), randint(-10, 10)))
Then I check to see what XYZ point I've got:
In [179]: z
Out[179]: xyz_vector(x=2.0, y=5.0, z=0.0)
Then I ask to see the same point as reached
using three of my linearly independent basis vectors,
none of them made from the others, with only
positive numbers used:
In [180]: z.quadray()
Out[180]: ivm_vector(a=9.899494936611664, b=0.0, c=7.071067811865475, d=2.82842712474619)
There is also a symmetry argument for using three, based on the symmetries of animals and the natural world.Bilateral symmetry establishes a left-right direction.The preferred direction of motion of most animals establishes the forward-backward direction.The "pull" of gravity establishes an up-down direction.(These are the object-centric directions, along with their corresponding rotations, that we use in ALICE--which may be familiar to artists.)Is there a corresponding "natural" basis for tetrahedral directions?I suppose you could make a case based on the bonds of carbon, which is the fundamental scaffolding of organic material.
In three-dimensional geometry, skew lines are two lines that do not intersect and are not parallel. A simple example of a pair of skew lines is the pair of lines through opposite edges of a regular tetrahedron.
But, do tetrahedral directions provide insight into description or classification of organic compounds, or crystal lattices?The C6-H12-O6 system certainly leaves out a lot of structural information!My question would be: can I express "the Laws of Physics" in tetrahedral coordinates and use tetrahedral geometry and calculus to do useful calculations? Physics is no stranger to transforming coordinate systems: we readily transform to Spherical or Cylindrical or Elliptical or Lorentzian or even do Fourier transforms and introduce multi-dimensional spaces. One might say Physics will choose the coordinates most natural to the system being studied.As long as the transformations can be defined and computed, and the formulas in the alternative coordinates can be expressed and solved (hopefully, more easily than in cartesian coordinates) we have no problem using alternative coordinates.
But a physicist will want to see equations, or a mathematician, axioms; not just philosophical or aesthetic arguments.Joe
On Mon, Jun 13, 2016 at 6:29 PM, Joseph Austin <drtec...@gmail.com> wrote:On Jun 13, 2016, at 5:53 PM, kirby urner <kirby...@gmail.com> wrote:My question for Andrius, and yourself, is along the lines of whether non-cubist
interpretations might apply in some versions, or is GA the sole property ofthe "must live in Rome" orthodox?I'm somewhat out of my depth, knowing not much more about GA than I do about Quadrays,but it would be worth exploring whether you can axiomatize a "vector algebra and calculus" of Quadrays.In Physics, vectors represent quantities that have a "magnitude" and a "direction".Standard vector analysis represents planes by their normal vector, e.g. angular momentum.(Of course, no one believe that the "motion" of a spinning thing is in the direction of its axis--it's just a mathematical trick.)GA gives a representation more like a circumferential "round" vector.They also use the "vector cross product" to represent interactions between two vector fields, say the Electric and Magnetic fields.When relativity came along, it turned out that the cross product was not an invariant. GA supposedly remedies this.The usual reasoning for three dimensions is that is the minimum number needed to be linearly independent.I'm thinking of a different language game this evening.Take four XYZ vectors from the center to the four corners
of a regular tetrahedron, expressed in ordinary XYZ
coordinates. We could express them like this:
a = xyz_vector(x= 0.35355339059327373, y= 0.35355339059327373, z= 0.35355339059327373)
b = xyz_vector(x=-0.35355339059327373, y=-0.35355339059327373, z= 0.35355339059327373)c = xyz_vector(x=-0.35355339059327373, y= 0.35355339059327373, z=-0.35355339059327373)
d = xyz_vector(x= 0.35355339059327373, y=-0.35355339059327373, z=-0.35355339059327373)
First I ask for any old point, no need to bethis restrictive in keeping each coordinatebetween -10 and 10.
In [178]: z = Vector((randint(-10, 10), randint(-10,10), randint(-10, 10)))
Then I check to see what XYZ point I've got:
In [179]: z
Out[179]: xyz_vector(x=2.0, y=5.0, z=0.0)
Then I ask to see the same point as reached
using three of my linearly independent basis vectors,
none of them made from the others, with only
positive numbers used:
In [180]: z.quadray()
Out[180]: ivm_vector(a=9.899494936611664, b=0.0, c=7.071067811865475, d=2.82842712474619)
In [182]: p = 9.899494936611664 * a + 7.071067811865475 * c + 2.82842712474619 * d
In [183]: p.xyz()
Out[183]: xyz_vector(x=1.9999999999999993, y=4.999999999999999, z=-3.14018491736755e-16)
I'm scaling a, c, and d basis vectors as given above, the ones from the center to
the corners of a tetrahedron, and getting back (2, 5, 0), with the expected floating
point fuzziness.
If we want to say space is 4D because (+, +, +, +) gets us to every point, no negatives needed, 0 a placeholder, that's OK too. That will help with understanding Synergetics. It's not a matter of deciding what the one true answer really is. Given we're dealing with different definitions and axioms, there's no need to worry about any logical contradiction.
Kirby
Rather, we may use software routines to synchronize thequadrays with this alternative way of doing business. Someof the results will prove interesting. Any tetrahedron, regularor irregular, with CCP balls for vertexes, will have a wholenumber volume. Dr. Robert Gray proved that one.
In [206]: the_twelve = set(itertools.permutations((2, 0, 1, 1)))
In [207]: the_twelve
Out[207]:
{(0, 1, 1, 2),
(0, 1, 2, 1),
(0, 2, 1, 1),
(1, 0, 1, 2),
(1, 0, 2, 1),
(1, 1, 0, 2),
(1, 1, 2, 0),
(1, 2, 0, 1),
(1, 2, 1, 0),
(2, 0, 1, 1),
(2, 1, 0, 1),
(2, 1, 1, 0)}
In [208]: the_qrays = [Qvector(p) for p in the_twelve]
In [209]: the_qrays
Out[209]:
[ivm_vector(a=0, b=1, c=1, d=2),
ivm_vector(a=0, b=2, c=1, d=1),
ivm_vector(a=2, b=1, c=0, d=1),
ivm_vector(a=0, b=1, c=2, d=1),
ivm_vector(a=1, b=2, c=1, d=0),
ivm_vector(a=1, b=0, c=2, d=1),
ivm_vector(a=2, b=1, c=1, d=0),
ivm_vector(a=1, b=1, c=2, d=0),
ivm_vector(a=1, b=2, c=0, d=1),
ivm_vector(a=2, b=0, c=1, d=1),
ivm_vector(a=1, b=0, c=1, d=2),
ivm_vector(a=1, b=1, c=0, d=2)]
In [210]: from random import choice
In [211]: def rand_vertex():
...: v = Qvector((0,0,0,0))
...: for i in range(5):
...: v = v + randint(1, 40) * choice(the_qrays)
...: return v
...:
Here are the three resulting vectors, all fanning from the origin:
In [214]: A, B, C = rand_vertex(), rand_vertex(), rand_vertex()
In [215]: A
Out[215]: ivm_vector(a=16, b=0, c=17, d=35)
In [216]: B
Out[216]: ivm_vector(a=128, b=0, c=104, d=28)
In [217]: C
Out[217]: ivm_vector(a=9, b=0, c=40, d=47)
They're all in the same quadrant, but not coplanar, so by "closing the lid" we'll get a tetrahedron from them.
Now lets compute that tetrahedron's volume, using an algorithm that accepts the six edge lengths as input:
In [220]: tet = Tetrahedron(A.length(), B.length(), C.length(), (A-B).length(), (B-C).length(), (A-C).length())
In [221]: tet.ivm_volume()
Out[221]: 27185.0
In [224]: A.xyz()
Out[224]: xyz_vector(x=12.020815280171307, y=-0.7071067811865475, z=-12.727922061357855)
In [225]: B.xyz()
Out[225]: xyz_vector(x=18.384776310850235, y=72.12489168102785, z=-1.414213562373095)
In [226]: C.xyz()
Out[226]: xyz_vector(x=5.65685424949238, y=0.7071067811865475, z=-27.577164466275352)
In [227]: tet.xyz_volume()
Out[227]: 25630.2638
In [228]: 27185.0/25630.2638
Out[228]: 1.0606601715898063
In [229]: sqrt(9/8)
Out[229]: 1.0606601717798212
On Jun 14, 2016, at 3:07 AM, kirby urner <kirby...@gmail.com> wrote:Only three lengths are needed per any given point,
because in each quadrant, the ray not defining it, not
a border edge, i.e. pointing away from said quadrant,
is not needed to reach the points within.
We don't give away it's seat at the table though. We
keep slots for all four. That's what the number 0 is for,
after all. A placeholder.
But if you DID record the projection of your point on the fourth axis (extended negatively as in xyz),On Jun 14, 2016, at 3:07 AM, kirby urner <kirby...@gmail.com> wrote:Only three lengths are needed per any given point,
because in each quadrant, the ray not defining it, not
a border edge, i.e. pointing away from said quadrant,
is not needed to reach the points within.
We don't give away it's seat at the table though. We
keep slots for all four. That's what the number 0 is for,
after all. A placeholder.then the fourth coordinate would not be "zero" but some lineaar combination of the other three.So your "zero" is not magnitude zero but more like "n/a".
At some point, a computer would need to do some "exception processing" to ignore your artificial zeroes,which could introduce an addtional complexity that might cancel whatever advantage you claim for IVM.Joe
On Jun 14, 2016, at 2:32 PM, kirby urner <kirby...@gmail.com> wrote:I'm not sure you're seeing it yet, maybe.