Module libbgs::markoff

source ·
Expand description

Markoff numbers and structures for manipulating, organizing, and investigating them.

Structs

  • A Bloom Filter, a probabilistic set. Elements may be added to the filter, and then the filter may be tested for membership, with false positives. The false positivity rate is determined by the size of the Bloom filter and the number of hashes.
  • A coordinate for a Markoff triple. May represent any of $a$, $b$, or $c$ in a Markoff triple $(a, b, c)$. This is a single field struct containing only an FpNum<P> for prime P.
  • A set of disjoint sets of instances of K.
  • Configures tests to be run on orbits of the Markoff graph modulo P.
  • The results of a successfully run OrbitTester.
  • A Markoff triple modulo P.

Enums

  • The three coordinates of a Markoff triple.
  • The order of a rotation map, along with which type of conic it is.

Traits

  • Common trait for the from_chi and from_chi_conj methods to be defined on both FpNum and QuadNum.