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

Creative Commons License


Applicable Algebra in Engineering, Communications and Computing, 2020 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume:
  • Publication Date: 2020
  • Doi Number: 10.1007/s00200-020-00460-w
  • Title of Journal : Applicable Algebra in Engineering, Communications and Computing
  • Keywords: Modular group, Binary quadratic forms, Hyperbolic elements, Geodesics, Visualization


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.