Issues

• Hecke ring definition

  CBirkbeck/LeanBridge#75 · Filter by author CBirkbeck opened on Jun 29, 2026
  1

• Number fields: certifying class groups and regulators

  level: advancedlong-termnumber-fields
  CBirkbeck/LeanBridge#74 · Filter by author tb65536 opened on Jun 29, 2026
  3

• Abelian varieties over F_q: p-rank, ordinary and supersingular

  abelian-varietieslevel: intermediate
  CBirkbeck/LeanBridge#66 · Filter by author CBirkbeck opened on Jun 18, 2026
  2

• Abelian varieties over F_q: Weil polynomial, L-polynomial, and Honda-Tate

  abelian-varietieslevel: advancedlong-term
  CBirkbeck/LeanBridge#65 · Filter by author CBirkbeck opened on Jun 18, 2026

• Local fields: ramification polygon and higher-ramification (Herbrand) data

  level: advancedlocal-fieldslong-term
  CBirkbeck/LeanBridge#64 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Groups: Gassmann equivalence (and arithmetically equivalent fields)

  groupslevel: intermediatenumber-fieldspriority: low
  CBirkbeck/LeanBridge#62 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Groups: LMFDB finite-group label (small-group identification)

  groupslevel: intermediatepriority: low
  CBirkbeck/LeanBridge#61 · Filter by author CBirkbeck opened on Jun 18, 2026

• Groups: complex and rational character tables of a finite group

  groupslevel: advancedpriority: low
  CBirkbeck/LeanBridge#60 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Lattices: genus and class number of an integral lattice

  latticeslevel: advancedpriority: low
  CBirkbeck/LeanBridge#59 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Lattices: kissing number and Hermite invariant

  good first issuelatticeslevel: beginnerpriority: low
  CBirkbeck/LeanBridge#58 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Lattices: theta series of an integral lattice

  latticeslevel: intermediatepriority: low
  CBirkbeck/LeanBridge#57 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Number fields: totally positive elements (predicate)

  good first issuelevel: beginnernumber-fields
  CBirkbeck/LeanBridge#56 · Filter by author CBirkbeck opened on Jun 18, 2026

• Modular forms: dual and self-dual cusp forms (predicate)

  good first issuelevel: beginnermodular-forms
  CBirkbeck/LeanBridge#55 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Modular forms: bad primes

  good first issuelevel: beginnermodular-forms
  CBirkbeck/LeanBridge#54 · Filter by author CBirkbeck opened on Jun 18, 2026

• Elliptic curves: basic API for torsion subgroups

  elliptic-curvesgood first issuelevel: beginner
  CBirkbeck/LeanBridge#53 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• General: abc quality of a coprime triple (and the radical)

  generalgood first issuelevel: beginnernumber-fields
  CBirkbeck/LeanBridge#50 · Filter by author CBirkbeck opened on Jun 18, 2026
  3

• General: transitive (T-number) Galois group labels

  generalgroupslevel: intermediatenumber-fields
  CBirkbeck/LeanBridge#49 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• General: Lubin–Tate theory

  generallevel: advancedlong-termpriority: low
  CBirkbeck/LeanBridge#47 · Filter by author CBirkbeck opened on Jun 18, 2026
  2

• Number fields: Kronecker–Weber theorem

  level: advancedlong-termnumber-fieldspriority: low
  CBirkbeck/LeanBridge#46 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• General: prime number certificates (Pocklington, ECPP)

  generallevel: intermediatepriority: low
  CBirkbeck/LeanBridge#45 · Filter by author CBirkbeck opened on Jun 18, 2026
  2

• General: local invariants of ℓ-adic Galois representations (Artin conductor, ε-factors, L-factors)

  generallevel: advancedlong-termpriority: low
  CBirkbeck/LeanBridge#44 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• General: Artin representations

  generalgroupslevel: intermediatepriority: low
  CBirkbeck/LeanBridge#43 · Filter by author CBirkbeck opened on Jun 18, 2026
  1

• Modular forms: inner twists (and their count / multiplicity)

  level: intermediatemodular-forms
  CBirkbeck/LeanBridge#42 · Filter by author CBirkbeck opened on Jun 18, 2026

• Modular forms: Stark units

  level: advancedlong-termmodular-forms
  CBirkbeck/LeanBridge#41 · Filter by author CBirkbeck opened on Jun 18, 2026

• Modular forms: Shimura correspondence (half-integral weight)

  level: advancedlong-termmodular-forms
  CBirkbeck/LeanBridge#40 · Filter by author CBirkbeck opened on Jun 18, 2026