ModularKind

The trichotomy of an element by $|\mathrm{tr}|$ against 2: Identity, Elliptic, Parabolic or Hyperbolic.

ModularKind(matrix)Identity, Elliptic, Parabolic or Hyperbolic

Typed signatures

Type	Package	Applies
(expression<ModularMatrix> | list | string) -> string	modular	always

Domain: The modular group

Examples

Basic #

Trace $3$, so $|\mathrm{tr}|>2$

live ↗

In$\mathrm{ModularKind}(\mathrm{ModularMatrix}(1, 1, 1, 2))$Out$\text{Hyperbolic}$

Trace $2$

live ↗

In$\mathrm{ModularKind}(\mathrm{ModularMatrix}(1, 1, 0, 1))$Out$\text{Parabolic}$

About

Examples	2

See also: ModularMatrix, ModularTrace