Search

Affine subgroups having the same Coxeter number with the affine Coxeter groups W(An), W(Dn), and W(En) are constructed by graph folding technique. The affine groups W(Cn) and W(Bn) are obtained from the Coxeter groups W(A2n-1) and W(D2n-1) respectively. The affine groups W(E6), W(D6) and W(E8) lead to the affine groups W(F4), W(H3), and W(H4) respectively by graph folding. The latter two are the non-crystallographic groups where W(H3) plays a special role in the quasicrystallographic structures with icosahedral symmetry. A general construction of the affine dihedral subgroups is introduced, some of which, describe the existing planar quasicrystallography. In the construction of the root systems, sets of orthonormal vectors are used but a special non-orthogonal set of vectors in the formulation of the root system of W(An) is also introduced which has practical applications in the construction of the lattices An and An* and their Delone and Voronoi cells., Comment: 9 pages, 8 figures

Quasicrystals described as the projections of higher dimensional cubic lattices, and the particular affine extensions of the dihedral group $I_2(h)$ of order $2h$, $h=2n$ being the Coxeter number, as a subgroup of affine $B_n$ offers a different perspective to $h$-fold symmetric quasicrystallography. Affine $I_2(h)$ is constructed as the subgroup of the affine $B_n$, the symmetry of the cubic lattice $\mathbb{Z}^n$. The infinite discrete group with local dihedral symmetry of order $2h$ operates on the concentric h-gons obtained by projecting the Voronoi cell of the cubic lattice with $2^n$ vertices onto the Coxeter plane. Voronoi cells tile the space facet to facet, consequently, leading to the tilings of the Coxeter plane with some overlaps of the rhombic tiles. It is noted that the projected Voronoi cell is the overlap of $h$ copy of the $h$-gons tiled with some rhombi and rotated by the angle $2\pi/h$. After a general discussion on the lattice $\mathbb{Z}^n$ with the affine symmetry $\tilde B_n$ and its affine dihedral subgroup $\tilde I_2(h)$ its projection onto the Coxeter plane has been worked out with some examples. The cubic lattices with affine symmetry $\tilde B_n$ $(n=1,2,3,4,5)$ have been presented and shown that the projection of the lattice $B_3$ leads to the hexagonal lattice, the projection of the lattice $B_4$ describes the Ammann-Beenker quasicrystal lattice with 8-fold local symmetry and the projection of the lattice $B_5$ describes a quasicrystal structure with local 10-fold symmetry with thick and thin rhombi. It is then straight forward to show that the projections of the cubic lattices with even higher dimensions onto the Coxeter plane may lead to the quasicrystal structures with 12-fold, 18-fold symmetries and so on., Comment: 21 pages, 16 figures

The projections of the lattices, may be used as models of quasicrystals, and the particular affine extension of the $H_2$ symmetry as a subgroup of $A_4$, discussed in the work, presents a different perspective to 5-fold symmetric quasicrystallography. Affine $H_2$ is obtained as the subgroup of the affine $A_4$. The infinite group with local dihedral symmetry of order 10 operates on the Coxeter plane of the root and weight lattices of $A_4$ whose Voronoi cells tessellate the 4D Euclidean space possessing the affine $A_4$ symmetry. It is shown that the projection of the Voronoi cell of the root lattice tiles the Coxeter plane with thick and thin rhombuses with the action of the affine $H_2$ symmetry. Projection of the Voronoi cell of the weight lattice onto the Coxeter plane tessellates the plane with four different tiles: thick and thin rhombuses with different edge lengths obtained from the projection of the square faces and two types of hexagons obtained from the projection of the hexagonal faces of the Voronoi cell. Structure of the local dihedral symmetry $H_2$ fixing a particular point on the Coxeter plane is determined., Comment: 18 pages, 9 figures

3D-facets of the Delone cells representing the deep and shallow holes of the root lattice D6 which tile the six-dimensional Euclidean space in an alternating order are projected into three-dimensional space. They are classified into six Mosseri-Sadoc tetrahedral tiles of edge lengths 1 and golden ratio (tau) with faces normal to the 5-fold and 3-fold axes. The icosahedron, dodecahedron and icosidodecahedron whose vertices are obtained from the fundamental weights of the icosahedral group are dissected in terms of six tetrahedra. A set of four tiles are composed out of six fundamental tiles, faces of which, are normal to the 5-fold axes of the icosahedral group. It is shown that the 3D-Euclidean space can be tiled face-to-face with maximal face coverage by the composite tiles with an inflation factor tau generated by an inflation matrix. We note that dodecahedra with edge lengths of 1 and tau naturally occur already in the second and third order of the inflations. The 3D patches displaying 5-fold, 3-fold and 2-fold symmetries are obtained in the inflated dodecahedral structures with edge lengths tau to the power n with n equals 3 or greater than 3. The planar tiling of the faces of the composite tiles follow the edge-to-edge matching of the Robinson triangles., Comment: 21 pages, 9 figures, 2 tables. arXiv admin note: text overlap with arXiv:2008.00862 -Omitted reference is included

Icosahedron and dodecahedron can be dissected into tetrahedral tiles projected from 3D-facets of the Delone polytopes representing the deep and shallow holes of the root lattice D_6. The six fundamental tiles of tetrahedra of edge lengths 1 and \tau are assembled into four composite tiles whose faces are normal to the 5-fold axes of the icosahedral group. The 3D Euclidean space is tiled face-to-face by the composite tiles with an inflation factor \tau generated by an inflation matrix. The aperiodic tiling is a generalization of the Tubingen triangular tiling in 2-dimensions for the faces of the tiles are made of Robinson triangles. Certain combinations of the tiles constitute dodecahedra with edge lengths of 1 and the golden ratio \tau=(1+\sqrt(5))/2., Comment: 11 pages, 4 figures

It is well known that the point group of the root lattice D_6 admits the icosahedral group as a maximal subgroup. The generators of the icosahedral group H_3, its roots and weights are determined in terms of those of D_6. Platonic and Archimedean solids possessing icosahedral symmetry have been obtained by projections of the sets of lattice vectors of D_6 determined by a pair of integers (m1, m2) in most cases, either both even or both odd. Vertices of the Danzer's ABCK tetrahedra are determined as the fundamental weights of H3 and it is shown that the inflation of the tiles can be obtained as projections of the lattice vectors characterized by the pair of integers which are linear combinations of the integers (m1, m2) with coefficients from Fibonacci sequence. Tiling procedure both for the ABCK tetrahedral tiling and the octahedral tiling in H_3 and the corresponding D_6 spaces are specified by determining the rotations and translation in 3D and the corresponding group elements in D_6. The tetrahedron K constitutes the fundamental region of the icosahedral group and generates the rhombic triacontahedron upon the group action. Properties of the K-polyhedron, B-polyhedron and the C-polyhedron generated by the icosahedral group have been discussed., Comment: 18 pages, 3 Tables, 12 figures

We exploit the fact that two-dimensional facets of the Voronoi and Delone cells of the root lattice A_n in n-dimensional space are the identical rhombuses and equilateral triangles respectively.The prototiles obtained from orthogonal projections of the Voronoi and Delaunay (Delone) cells of the root lattice of the Coxeter-Weyl group W(a)_n are classified. Orthogonal projections lead to various rhombuses and several triangles respectively some of which have been extensively discussed in the literature in different contexts. For example, rhombuses of the Voronoi cell of the root lattice A_4 projects onto only two prototiles: thick and thin rhombuses of the Penrose tilings. Similarly the Delone cells tiling the same root lattice projects onto two isosceles Robinson triangles which also lead to Penrose tilings with kites and darts. We point out that the Coxeter element of order h=n+1 and the dihedral subgroup of order 2n plays a crucial role for h-fold symmetric aperiodic tilings of the Coxeter plane. After setting the general scheme we give examples leading to tilings with 4-fold, 5-fold, 6-fold,7-fold, 8-fold and 12-fold symmetries with rhombic and triangular tilings of the plane which are useful in modelling the quasicrystallography with 5-fold, 8-fold and 12-fold symmetries. The face centered cubic (f.c.c.) lattice described by the root lattice A_(3)whose Wigner-Seitz cell is the rhombic dodecahedron projects, as expected, onto a square lattice with an h=4 fold symmetry., Comment: 22 pages, 17 figures

Voronoi and Delaunay (Delone) cells of the root and weight lattices of the Coxeter-Weyl groups W(an) and W(dn) are constructed. The face centered cubic (fcc) and body centered cubic (bcc)lattices are obtained in this context. Basic definitions are introduced such as parallelotope, fundamental simplex, contact polytope, root polytope, Voronoi cell, Delone cell, n-simplex, n-octahedron (cross polytope), n-cube and n-hemicube and their volumes are calculated. Voronoi cell of the root lattice is constructed as the dual of the root polytope which turns out to be the union of Delone cells. It is shown that the Delone cells centered at the origin of the root lattice An are the polytopes of the fundamental weights w1, w2, ..., wn and the Delone cells of the root lattice Dn are the polytopes obtained from the weights w1, wn-1, wn. A simple mechanism explains the tessellation of the root lattice by Delone cells. We prove that the (n-1)-facet of the Voronoi cell of the root lattice An is (n-1)-dimensional rhombohedron and similarly the (n-1) -facet of the Voronoi cell of the root lattice Dn is a dipyramid with a base of (n-2)-cube. Volume of the Voronoi cell is calculated via its (n-1) -facet which in turn can be obtained from the fundamental simplex. Tessellations of the root lattice with the Voronoi and Delone cells are explained by giving examples from lower dimensions. Similar considerations are also worked out for the weight lattices An* and Dn*., Comment: 26 pages, 11 figures

We analyze the group structures of two groups of order 1344 which are respectively non-split and split extensions of the elementary Abelian group of order 8 by its automorphism group PSL_2(7).They share the same character table. The group 2^3.PSL_2(7) is a finite subgroup of the Lie Group G_2 preserving the set of octonions \pm e_i , (i=1,2,...,7) representing a 7-dimensional octahedron.Its three maximal subgroups 2^3:7:3, 2^3.S_4 and 4.S_4:2 correspond to the finite subgroups of the Lie groups G_2, SO(4) and SU(3) respectively. The group 2^3:PSL_2(7) representing the split extension possesses five maximal subgroups 2^3:7:3, 2^3:S_4, 4:S_4:2 and two non-conjugate Klein's group PSL_2(7).The character tables of the groups and their maximal subgroups, tensor products and decompositions of the irreducible representations under the relevant maximal subgroups are identified. Possible implications in physics are discussed., Comment: 19 pages, 1 figure

We associate the lepton-quark families with the vertices of the 4D polytopes 5-cell and the rectified 5-cell derived from the SU(5) Coxeter-Dynkin diagram. The off-diagonal gauge bosons are associated with the root poytope (1000)A4 whose facets are tetrahedra and the triangular prisms. The edge-vertex relations are interpreted as the SU(5) charge conservation. The Dynkin diagram symmetry of the SU(5) diagram can be interpreted as a kind of particle-antiparticle symmetry. The Voronoi cell of the root lattice consists of the union of the polytopes (1000)A4 + (0100)A4 + (0010)A4 + (0001)A4 whose facets are 20 rhombohedra. We construct the Delone (Delaunay) cells of the root lattice as the alternating 5-cell and the rectified 5-cell, a kind of dual to the Voronoi cell. The vertices of the Delone cells closest to the origin consists of the root vectors representing the gauge bosons. The faces of the rhombohedra project onto the Coxeter plane as thick and thin rhombs leading to Penrose-like tiling of the plane which can be used for the description of the 5-fold symmetric quasicrystallography. The model can be extended to SO(10) and even to SO(11) by noting the Coxeter-Dynkin diagram embedding in A4 in D5 in B5. Another embedding can be made through the relation A4 in D5 in E6 for more popular GUT's., Comment: 20 pages, 15 figures

We describe extension of the pyritohedral symmetry to 4-dimensional Euclidean space and present the group elements in terms of quaternions. It turns out that it is a maximal subgroup of both the rank-4 Coxeter groups W(F4) and W(H4) implying that it is a group relevant to the crystallography as well as quasicrystallographic structures in 4-dimensions. First we review the pyritohedral symmetry in 3 dimensional Euclidean space which is a maximal subgroup both in the Coxeter-Weyl groups W(B3)=Aut(D3) and W(H3). The related polyhedra in 3-dimensions are the two dual polyhedra pseudoicosahedron- pyritohedron and the pseudo icosidodecahedron. In quaternionic representations it finds a natural extension to the 4-dimensions.The related polytopes turn out to be the pseudo snub 24-cell and its dual polytope expressed in terms of a parameter x leading to snub 24-cell and its dual in the limit where the parameter x takes the golden ratio. It turns out that the relevant lattice is the root lattice of W(D4)., Comment: 33 pages, 12 figures. arXiv admin note: substantial text overlap with arXiv:1506.04600

We construct the fcc (face centered cubic), bcc (body centered cubic) and sc (simple cubic) lattices as the root and the weight lattices of the affine Coxeter groups W(D3) and W(B3)=Aut(D3). The rank-3 Coxeter-Weyl groups describing the point tetrahedral symmetry and the octahedral symmetry of the cubic lattices have been constructed in terms of quaternions. Reflection planes of the Coxeter-Dynkin diagrams are identified with certain planes of the unit cube. It turns out that the pyritohedral symmetry takes a simpler form in terms of quaternionic representation. The D3 diagram is used to construct the vertices of polyhedra relevant to the cubic lattices and, in particular, constructions of the pseudoicosahedron and its dual pyritohedron are explicitly worked out., Comment: 30 pages, 19 figures

A group theoretical discussion on the hypercubic lattice described by the affine Coxeter-Weyl group Wa(Bn) has been presented. When the lattice is projected onto the Coxeter plane it is noted that the maximal dihedral subgroup Dh of W(Bn) with h = 2n representing the Coxeter number describes the h-fold symmetric quasicrystallography. Higher dimensional cubic lattices are explicitly constructed for n = 4, 5, 6. Their rank 3 Coxeter subgroups and maximal dihedral subgroups are identified. It has been explicitly shown that when their Voronoi cells are decomposed under the respective rank 3 subgroups W(A3),W(H2) x W(A1) and W(H3) one obtains the rhombic dodecahedron, rhombic icosahedron and rhombic triacontahedron respectively. Projection of the lattice B4 onto the Coxeter plane represents quasicrystal structures with 8-fold symmetry. The B5 lattice is used to describe the quasicrystals with both 5-fold and 10-fold symmetries. The lattice B6 can describe a 12-fold symmetric quasicrystal as well as a 3D icosahedral quasicrystal depending on the choice of subspace of projections. The novel structures from the projected sets of lattice points are compatible with the available experimental data., Comment: 24 pages, 17 figures

One possible way to obtain the quasicrystallographic structures is the projections of the higher dimensional lattices into 2D or 3D subspaces. In this work we introduce a general technique applicable to any higher dimensional lattice. We point out that the Coxeter number and the Coxeter exponents of a Coxeter-Weyl group play a crucial role in determining the plane onto which the lattice to be projected as well as the dihedral symmetry of the quasicrystal structure. The eigenvectors and eigenvalues of the Cartan matrix are used to determine the set of orthonormal vectors in nD Euclidean space which lead suitable choices for the projection subspaces. The maximal dihedral subgroup of the Coxeter-Weyl group is identified to determine the symmetry of the quasicrystal structure. We give examples for 12-fold symmetric quasicrystal structures obtained by projecting the higher dimensional lattices determined by the affine Coxeter-Weyl groups Wa(F4), Wa(B6) and Wa(E6) . These groups share the same Coxeter number h=12 with different Coxeter exponents. The dihedral subgroup D12 of the Coxeter groups can be obtained by defining two generators R1 and R2 as the products of generators of the Coxeter-Weyl groups. The reflection generators R1 and R2 operate in the Coxeter planes where the Coxeter element R1R2 of the Coxeter group represents the rotation of order 12. The canonical projections (strip projections) of the lattices determine the nature of the quasicrystallographic structures with 12-fold symmetry as well as the crystallographic structures with 4-fold and 6-fold symmetry. We note that the quasicrystal structures obtained from the lattices Wa(F4) and Wa(B6) and are compatible with the experimental results., Comment: 24 pages, 12 Figures, 3 Tables

We introduce a technique of projection onto the Coxeter plane of an arbitrary higher dimensional lattice described by the affine Coxeter group. The Coxeter plane is determined by the simple roots of the Coxeter graph I2 (h) where h is the Coxeter number of the Coxeter group W(G) which embeds the dihedral group Dh of order 2h as a maximal subgroup. As a simple application we demonstrate projections of the root and weight lattices of A4 onto the Coxeter plane using the strip (canonical) projection method. We show that the crystal spaces of the affine Wa(A4) can be decomposed into two orthogonal spaces whose point groups is the dihedral group D5 which acts in both spaces faithfully. The strip projections of the root and weight lattices can be taken as models for the decagonal quasicrystals. The paper also revises the quaternionic descriptions of the root and weight lattices, described by the affine Coxeter group Wa(A3), which correspond to the face centered cubic (fcc) lattice and body centered cubic (bcc) lattice respectively. Extensions of these lattices to higher dimensions lead to the root and weight lattices of the group Wa(An), n>=4 . We also note that the projection of the Voronoi cell of the root lattice of Wa(A4) describes a framework of nested decagram growing with the power of the golden ratio recently discovered in the Islamic arts., Comment: 26 pages, 17 figures

The Zamolodchikov's conjecture implying the exceptional Lie group E8 seems to be validated by an experiment on the quantum phase transitions of the 1D Ising model carried out by the Coldea et. al. The E8 model which follows from the affine Toda field theory predicts 8 bound states with the mass relations in the increasing order m1, m2= tau m1, m3, m4, m5, m6=tau m3, m7= tau m4, m8= tau m5, where tau= (1+\sqrt(5))/2 represents the golden ratio. Above relations follow from the fact that the Coxeter group W(H4) is a maximal subgroup of the Coxeter-Weyl group W(E8). These masses turn out to be proportional to the radii of the Gosset's circles on the Coxeter plane obtained by an orthogonal projection of the root system of E8 . We also note that the masses m1, m3, m4 and m5 correspond to the radii of the circles obtained by projecting the vertices of the 600-cell, a 4D polytope of the non-crystallographic Coxeter group W(H4). A special non-orthogonal projection of the simple roots on the Coxeter plane leads to exactly the numerical values of the masses of the bound states as 0.4745, 0.7678, 0.9438, 1.141, 1.403, 1.527, 1.846, and 2.270. We note the striking equality of the first two numerical values to the first two masses of the bound states determined by the Coldea et. al., Comment: 8 pages, 2 figures

4-dimensional $F_{4} $ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(F_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Branchings of an arbitrary \textbf{$W(F_{4})$} orbit under the Coxeter groups $W(B_{4} $ and $W(B_{3}) \times W(A_{1})$ have been presented. The role of group theoretical technique and the use of quaternions have been emphasized, Comment: 26 pages, 10 figures

Snub 24-cell is the unique uniform chiral polytope in four dimensions consisting of 24 icosahedral and 120 tetrahedral cells. The vertices of the 4-dimensional semi-regular polytope snub 24-cell and its symmetry group ${(W(D_{4})\mathord{/{\vphantom {(W(D_{4}) C_{2}}}. \kern-\nulldelimiterspace} C_{2}}):S_{3} $ of order 576 are obtained from the quaternionic representation of the Coxeter-Weyl group \textbf{$W(D_{4}).$}The symmetry group is an extension of the proper subgroup of the Coxeter-Weyl group \textbf{$W(D_{4})$}by the permutation symmetry of the Coxeter-Dynkin diagram \textbf{$D_{4} .$} The 96 vertices of the snub 24-cell are obtained as the orbit of the group when it acts on the vector \textbf{$\Lambda =(\tau, 1, \tau, \tau)$}or\textbf{}on the vector\textbf{$\Lambda =(\sigma, 1, \sigma, \sigma)$}in the Dynkin basis with\textbf{$\tau =\frac{1+\sqrt{5}}{2} {\rm and}\sigma =\frac{1-\sqrt{5}}{2} {\rm .}$} The two different sets represent the mirror images of the snub 24-cell. When two mirror images are combined it leads to a quasi regular 4D polytope invariant under the Coxeter-Weyl group \textbf{$W(F_{4}).$}Each vertex of the new polytope is shared by one cube and three truncated octahedra. Dual of the snub 24 cell is also constructed. Relevance of these structures to the Coxeter groups \textbf{$W(H_{4}){\rm and}W(E_{8})$}has been pointed out., Comment: 15 pages, 8 figures

4-dimensional H4 polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group W(H4) where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an arbitrary W(H4) orbit into three dimensions is made preserving the icosahedral subgroup W(H3) and the tetrahedral subgroup W(A3), the latter follows a branching under the Coxeter group W(A4) . The dual polytopes of the semi-regular and quasi-regular H4 polytopes have been constructed., Comment: 30 pages, 15 figures

4-dimensional $A_{4}$ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(A_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an arbitrary $W(A_{4})$ orbit into three dimensions is made using the subgroup $W(A_{3})$. A generalization of the Catalan solids for 3D polyhedra has been developed and dual polytopes of the uniform $A_{4}$ polytopes have been constructed., Comment: 23 pages, 11 figures

There are two chiral Archimedean polyhedra, the snub cube and snub dodecahedron together with their duals the Catalan solids, pentagonal icositetrahedron and pentagonal hexacontahedron. In this paper we construct the chiral polyhedra and their dual solids in a systematic way. We use the proper rotational subgroups of the Coxeter groups $W(A_1 \oplus A_1 \oplus A_1)$, $W(A_3)$, $W(B_3)$ and $W(H_3)$ to derive the orbits representing the solids of interest. They lead to the polyhedra tetrahedron, icosahedron, snub cube, and snub dodecahedron respectively. We prove that the tetrahedron and icosahedron can be transformed to their mirror images by the proper rotational octahedral group $\frac{W(B_3)}{C_2}$ so they are not classified in the class of chiral polyhedra. It is noted that the snub cube and the snub dodecahedron can be derived from the vectors, which are non-linear combinations of the simple roots, by the actions of the proper rotation groups $\frac{W(B_3)}{C_2}$ and $\frac{W(H_3)}{C_2}$ respectively. Their duals are constructed as the unions of three orbits of the groups of concern. We also construct the polyhedra, quasiregular in general, by combining chiral polyhedra with their mirror images. As a by product we obtain the pyritohedral group as the subgroup the Coxeter group $W(H_3)$ and discuss the constructions of pyritohedrons. We employ a method which describes the Coxeter groups and their orbits in terms of quaternions., Comment: 22 pages, 19 figures

In this paper we construct the quasi regular polyhedra and their duals which are the generalizations of the Archimedean and Catalan solids respectively. This work is an extension of two previous papers of ours which were based on the Archimedean and Catalan solids obtained as the orbits of the Coxeter groups . When these groups act on an arbitrary vector in 3D Euclidean space they generate the orbits corresponding to the quasi regular polyhedra. Special choices of the vectors lead to the platonic and Archimedean solids. In general, the faces of the quasi regular polyhedra consist of the equilateral triangles, squares, regular pentagons as well as rectangles, isogonal hexagons, isogonal octagons, and isogonal decagons depending on the choice of the Coxeter groups of interest. We follow the quaternionic representation of the group elements of the Coxeter groups which necessarily leads to the quaternionic representation of the vertices. We note the fact that the molecule can best be represented by a truncated icosahedron where the hexagonal faces are not regular, rather, they are isogonal hexagons where single bonds and double bonds of the carbon atoms are represented by the alternating edge lengths of isogonal hexagons., Comment: 23 pages, 16 Figures

Catalan Solids are the duals of the Archimedean solids, vertices of which can be obtained from the Coxeter-Dynkin diagrams A3, B3 and H3 whose simple roots can be represented by quaternions. The respective Weyl groups W(A3), W(B3) and W(H3) acting on the highest weights generate the orbits corresponding to the solids possessing these symmetries. Vertices of the Platonic and Archimedean solids result as the orbits derived from fundamental weights. The Platonic solids are dual to each others however duals of the Archimedean solids are the Catalan solids whose vertices can be written as the union of the orbits, up to some scale factors, obtained by applying the above Weyl groups on the fundamental highest weights (100), (010), (001) for each diagram. The faces are represented by the orbits derived from the weights (010), (110), (101), (011) and (111) which correspond to the vertices of the Archimedean solids. Representations of the Weyl groups W(A3), W(B3) and W(H3) by the quaternions simplify the calculations with no reference to the computer calculations., Comment: 20 pages, 11 Figures