Skip to main content
SpringerLink
Log in

Implementation of Geometric Algebra in Computer Algebra Systems

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

For describing specialized mathematical structures, it is preferable to use a special formalism rather than a general one. However, tradition often prevails in this case. For example, to describe rotations in the three-dimensional space or to describe motion in the Galilean or Minkowski spaces, vector (or tensor) formalism, rather than more specialized formalisms of Clifford algebra representations, is often used. This approach is historically justified. The application of specialized formalisms, such as spinors or quaternions, has not become a mainstream in science, but it has taken its place in solving practical and engineering problems. It should also be noted that all operations in theoretical problems are carried out precisely with symbolic data, and manipulations with multidimensional geometric objects require a large number of operations with the same objects. And it is in such problems that computer algebra is most powerful. In this paper, we want to draw attention to one of these specialized formalisms—the formalism of geometric algebra. Namely, it is proposed to consider options for the implementation of geometric algebra in the framework of the symbolic computation paradigm.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Notes

  1. Actually, we used Wick’s rotation [31] here.

REFERENCES

  1. Grassmann, H.G., Die mechanik nach den principien der ausdehnungslehre, Math. Ann., 1877, vol. 12, pp. 222–240.

    Article  MathSciNet  MATH  Google Scholar 

  2. Kuipers, J.B., Quaternions and Rotation sequences, Princeton Univ. Press, 1999.

    Book  MATH  Google Scholar 

  3. Clifford, W.K., Applications of Grassmann’s extensive algebra, Am. J. Math., 1878, vol. 1, no. 4, pp. 350–358.

    Article  MathSciNet  MATH  Google Scholar 

  4. Casanova, G., L’Algèbre Vectorielle, Presse Iniversitaires de France, 1976.

    Google Scholar 

  5. Hestenes, D. and Sobczyk, G., Clifford Algebra to Geometric Calculus: A Unified Language for Mathematics and Physics. Fundamental Theories of Physics, Netherlands: Springer, 1987.

    MATH  Google Scholar 

  6. Delanghe, R., Sommen, F., and Soucek, V., Clifford Algebra and Spinor-Valued Functions. Mathematics and Its Applications, Kluwer, 1992.

    MATH  Google Scholar 

  7. Doran, C. and Lasenby, A., Geometric Algebra for Physicists, Morgan Kaufmann, 2003.

    Book  MATH  Google Scholar 

  8. Dorst, L., Fontijne, D., and Mann, S., Geometric Algebra for Computer Science. The Morgan Kaufmann Series in Computer Graphics, Morgan Kaufmann, 2007.

    Google Scholar 

  9. Vince, J., Geometric Algebra for Computer Graphics, Springer, 2008.

    Book  MATH  Google Scholar 

  10. Lengyel, E., Mathematics, Lincoln, Calif.: Terathon Software LLC, 2016, vol. 1.

    Google Scholar 

  11. Kanatani, K., Understanding Geometric Algebra, Taylor and Francis Group/CRC, 2015.

    Book  MATH  Google Scholar 

  12. ten Bosch, M., Let’s remove quaternions from every 3D engine. https://marctenbosch.com/quaternions/.

  13. Perwa, C.B.U., Geometric Algebra with Applications in Engineering. Geometry and Computing, Berkin: Springer, 2009.

  14. Joot, P., Geometric Algebra for Electrical Engineers: Multivector Electromagnetism, CreateSpace Independent Publishing Platform, 2019.

    Google Scholar 

  15. Winitzki, S., Linear Algebra via Exterior Products, 2020. https://github.com/winitzki/linear-algebra-book.

  16. Chappell, J.M., Drake, S.P., Seidel, C.L., et al. Geometric algebra for electrical and electronic engineers, Proc. IEEE, 2014, vol. 102, no. 9, pp. 1340–1363.

    Article  Google Scholar 

  17. Galgebra – symbolic geometric algebra/calculus package for sympy. 2022. https://galgebra.readthedocs.io/en/latest/index.html.

  18. Gevorkyan, M.N., Demidova, A.V., Velieva, T.R., Korol’kova, A.V., and Kulyabov, D.S., Analytical-numerical implementation of polyvector algebra in Julia, Program. Comput. Software, 2022, vol. 48, pp. 49–58.

    Article  MathSciNet  MATH  Google Scholar 

  19. Sympy, 2022. http://www.sympy.org/ru/index.html.

  20. Kostrikin, A.I., Linear Algebra, Moscow: Mosk. Tsentr Nepreryvnogo Matematicheskogo Obrazovaniya, 2009), vol. 2 [in Russain].

    Google Scholar 

  21. Bivector.net: Geometric algebra resources, 2022. https://bivector.net/index.html.

  22. Hadfield, H., E. Wieser, A. Arsenovic, et al., 2022. pygae/clifford.

  23. De Keninck, S., 2020. ganja.js.

  24. Grassmann.jl, 2022. https://github.com/chakravala/Grassmann.jl.

  25. Breuils, S., Nozick, V., and Fuchs, L., Garamon: A geometric algebra library generator, Adv. Appl. Clifford Algebras, 2019, vol. 29, no. 4, p. 69.

    Article  MathSciNet  MATH  Google Scholar 

  26. Gunn, C.G. and Keninck, S.D., Geometric algebra and computer graphics, ACM SIGGRAPH 2019 Courses, ACM, 2019, no. 7.

  27. Colapinto, P., Versor: Spatial computing with conformal geometric algebra, 2011. http://versor.mat.ucsb.edu.

  28. Kulyabov, D.S. and Korol’kova, A.V., Computer algebra in JULIA, Program. Comput. Software, 2021, vol. 47, no. 2, pp. 133–138.

    Article  MathSciNet  MATH  Google Scholar 

  29. Gevorkyan, M.N., Kulyabov, D.S., Korolkova, A.V., et al., Symbolic implementation of multivector algebra in Julia language, Computer algebra: 4th International Conference Materials, LCC MAKS, 2021, no. 5. pp. 57–60.

  30. Kulyabov, D.S., Korolkova, A.V., and Sevastianov, L.A., Complex numbers for relativistic operations, MDPI AG, 2021. no. 12.

  31. A. Zee, Quantum Field Theory in a Nutshell (Princeton Univ. Press, 2010).

    MATH  Google Scholar 

  32. Kulyabov, D.S., Korolkova, A.V., and Gevorkyan, M.N., Hyperbolic numbers as Einstein numbers, J. Phys., Conf. Ser., 2020, vol. 1557, no. 5, p. 012027.

Download references

Funding

This work was supported by the program of strategic academic leadership of the Peoples’ Friendship University of Russia (RUDN University).

Author information

Authors and Affiliations

  1. Peoples’ Friendship University of Russia (RUDN University), 117198, Moscow, Russia

    M. N. Gevorkyan, A. V. Korol’kova, D. S. Kulyabov, A. V. Demidova & T. R. Velieva

  2. Joint Institute for Nuclear Research, 141980, Dubna, Moscow oblast, Russia

    D. S. Kulyabov

Authors
  1. M. N. Gevorkyan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. V. Korol’kova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. S. Kulyabov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. V. Demidova
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. T. R. Velieva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to M. N. Gevorkyan, A. V. Korol’kova, D. S. Kulyabov, A. V. Demidova or T. R. Velieva.

Ethics declarations

The authors declare that they have no conflicts of interest.

Additional information

Translated by A. Klimontovich

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gevorkyan, M.N., Korol’kova, A.V., Kulyabov, D.S. et al. Implementation of Geometric Algebra in Computer Algebra Systems. Program Comput Soft 49, 42–48 (2023). https://doi.org/10.1134/S0361768823010048

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768823010048

Search

Navigation