IsPrimitiveClass

Whether an $LR$ word is primitive: not a proper power of a shorter word, so its conjugacy class is not a repeat of a shorter geodesic.

IsPrimitiveClass(word)not a repeat of a shorter word

Typed signatures

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

Domain: The modular group

Examples

Basic #

The shortest closed geodesic

live ↗

In$\mathrm{IsPrimitiveClass}(\text{LR})$Out$\mathrm{True}$

$LRLR=(LR)^2$

live ↗

In$\mathrm{IsPrimitiveClass}(\text{LRLR})$Out$\mathrm{False}$

About

Examples	2

See also: ModularClasses, ModularWord