InfoMod: a visual and computational approach to Gauss’ binary quadratic forms


Creative Commons License

ZEYTİN A.

Applicable Algebra in Engineering, Communications and Computing, vol.33, no.4, pp.437-455, 2022 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 33 Issue: 4
  • Publication Date: 2022
  • Doi Number: 10.1007/s00200-020-00460-w
  • Journal Name: Applicable Algebra in Engineering, Communications and Computing
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, Applied Science & Technology Source, Compendex, Computer & Applied Sciences, INSPEC, MathSciNet, zbMATH
  • Page Numbers: pp.437-455
  • Keywords: Modular group, Binary quadratic forms, Hyperbolic elements, Geodesics, Visualization
  • Galatasaray University Affiliated: Yes

Abstract

InfoMod is a software devoted to the modular group, PSL2 (Z). It consists of algorithms that deal with the classical correspondences among geodesics on the modular surface, elements of the modular group and binary quadratic forms. In addition, the software implements the recently discovered representation of Gauss' indefinite binary quadratic forms and their classes in terms of certain infinite planar graphs (dessins) called carks. InfoMod illustrates various aspects of these forms, i.e. Gauss' reduction algorithm, the representation problem of forms, ambiguous and reciprocal forms. It can be used for visualization, for high performance computation involving these mathematical structures as well as experimenting.