The Magic Encyclopedia ™

The Magic Object
(by Aale de Winkel)

The Magic Object is defined by this author as a general framework to put all possible magic objects, the loosely defined notational framework allows for most precise definition of an object in actual cases

Generalized Magic Object
General framework wherein all discussed item can be put

mG-Magic Object {f(xi)|g()}
m: The order of the object
with: G = IC, IR, IQ, IZ, IN
Object: Square, Cube, Tesseract ....
f(): number generating function
g(): 'magic condition'

The term "G-Magic Object" can in fact take any form, as well s the funvtions f() and g()
Magic Vector Space mIR-Magic Hypercube {"no restrictions"|"magic condition"}
The magic condition posed on a square of real numbers
viewed as vectors in a vector space
p-MultiMagic Hypercube pnHm mIN-Magic Hypercube {H[ji] ε {1..mn}| 'i=0m (H[ji])k' = ktn}
Magic Vector Space 3IR-Magic_Square
Viewing the order 3 magic squares as a vector space is quite interesting
using matrices as a vector space was new to me, so the reader more familiar with this
is invited to suggest other things
Base Like any vector space the space has a base the base below is normalised to 1.0 as the magic sum
B0
1.0 0.0 0.0
-2/3 1/3 4/3
2/3 2/3 -1/3
B1
0.0 1.0 0.0
1/3 1/3 1/3
2/3 -1/3 2/3
B2
0.0 0.0 1.0
4/3 1/3 -2/3
-1/3 2/3 2/3
Note the transposed matrices of this base fall in the space
B0t = (1.0,-2/3,2/3) B1t = (0.0,1/3,2/3) B2t = (0.0,4/3,-1/3)
inner product
V . W
A vector space define an innerproduct which is a number
note: that the below is defined on the matrices
V . W = Vi,jWi,j = i,j=02 Vi,jWi,j
outer product
Cross product
V * W
The cross-product defines a third vector based on two others
note: that the below is defined on the matrices
(V * W)i,j = ((V(i+1)%3,(j+1)%3W(i+2)%3,(j+2)%3-V(i+2)%3,(j+1)%3W(i+1)%3,(j+2)%3) +
(W(i+1)%3,(j+1)%3V(i+2)%3,(j+2)%3-W(i+2)%3,(j+1)%3V(i+1)%3,(j+2)%3)) / 2
This cross-product opposed to it's IR3 counterpart is symmetric V * W = W * V
Antisymmetric trials failed to remain within 3IR-Magic-Squares since the seperate parts aren't.
Magic Module 3IZ-Magic_Square
The Vector Space is defined on a Field, The Module has a simular definition on a Ring
so whereas the above numbers are on Fields like IR the below uses the field IZ
Base The following base is appropriate for 3IZ-magic_Square
IZB0
0 1 -1
-1 0 1
1 -1 0
IZB1
-1 1 0
1 0 -1
0 -1 1
IZB2
1 1 1
1 1 1
1 1 1
The following base would be appropriate for 3IN-magic_Square
INB0
1 2 0
0 1 2
2 0 1
INB1
0 2 1
2 1 0
1 0 2
INB2
1 1 1
1 1 1
1 1 1
Note; of course these bases can be expressed in the basis for 3IR-Magic_Square
inner product
V . W
A vector space define an innerproduct which is a number
note: that the below is defined on the matrices
V . W = Vi,jWi,j = i,j=02 Vi,jWi,j
outer product
Cross product
V * W
The cross-product defines a third vector based on two others
note: that the below is defined on the matrices
(V * W)i,j = 3 * ((V(i+1)%3,(j+1)%3W(i+2)%3,(j+2)%3-V(i+2)%3,(j+1)%3W(i+1)%3,(j+2)%3) +
(W(i+1)%3,(j+1)%3V(i+2)%3,(j+2)%3-W(i+2)%3,(j+1)%3V(i+1)%3,(j+2)%3))
Note this cross product is 6 times the one in 3IR-Magic_Square to avoid fractional
numbers in the resulting matrix, since the expresions doesn't stay in IN this defines only a
crossproduct in 3IZ-Magic_Square


Note: The above defines a weird situation, a few years back someone emailed me a question on how to use matrices as a Magic Vector Space, so I defined the above. The Cross-product I but recently defined and I sought for something anti-symmetric as it's counterpart in IR3 is defined I couldn't find expressions which remained in the vector space / module. The abve symmetric expression remained in the spaces. It remains to be seen what this all means. In IR3 the inner and cross product can be expressed in sin resp cos of the angle in between, thus one can define angles between vectors, the symmetric nature of the crossproduct might have interesting consequences.



I implemented this vector space in the 3IR-Magic-Square.zip spreadsheet. For the expert mathematician the academic question whether one can call the above defined "crossproduct" a "crossproduct", I know that in IR3 the crossproduct is anti symmetric, allowing one to define right-handed and left-handed coordinate system. Also the above relation to angles are taken from IR3, future investigation might reveal what this all meaans in 3IR-Magic_Square