All pull requests

Pull requests

• feat(modular-forms): compare across character embeddings

  #4122·morluto opened Sep 25, 2026Owner·

  ·
  15

• feat(delta-matroids): add complete distance profiles

  #4120·morluto opened Sep 25, 2026Owner·

  ·
  25

• feat(petri-nets): enumerate all shortest firing sequences

  #4118·morluto opened Sep 25, 2026Owner·

  ·
  11

• feat(transducers): expose coaccessible state witnesses

  #4117·morluto opened Sep 25, 2026Owner·

  ·
  18

• feat(ore): compute proper hypergeometric shift quotients

  #4114·morluto opened Sep 25, 2026Owner·

  ·
  27

• feat(graphs): profile graph deck card components

  #4110·morluto opened Sep 25, 2026Owner·

  ·
  25

• feat(quantum): represent stabilizer error cosets

  #4109·morluto opened Sep 25, 2026Owner·

  ·
  13

• feat(geometry): generalize translation torus quotient chains

  #4097·morluto opened Sep 25, 2026Owner·

  ·
  9

• feat(function-fields): add exact element powers

  #4095·morluto opened Sep 25, 2026Owner·

  ·
  10

• feat(polynomials): profile Puiseux prefix contact

  #4094·morluto opened Sep 25, 2026Owner·

  ·
  13

• feat(root-systems): compute antidominant representatives

  #4093·morluto opened Sep 25, 2026Owner·

  ·
  12

• feat(affine-semigroups): compute minimal generators

  #4089·morluto opened Sep 25, 2026Owner·

  ·
  17

• feat(groups): compute class multiplication constants

  #4088·morluto opened Sep 25, 2026Owner·

  ·
  5

• feat(polynomials): compute finite Gm subrepresentations

  #4087·morluto opened Sep 25, 2026Owner·

  ·
  8

• feat(tropical): add minor assignment profiles

  #4086·morluto opened Sep 25, 2026Owner·

  ·
  19

• feat(elliptic-curves): decide finite-field subgroup membership

  #4083·morluto opened Sep 25, 2026Owner·

  ·
  8

• feat(koszul): add invertible sequence changes

  #4081·morluto opened Sep 25, 2026Owner·

  ·
  8

• fix(graphs): normalize anonymous multiset claims at consumers

  #4080·morluto opened Sep 25, 2026Owner·

  ·
  12

• feat(tree-automata): expose deterministic state algebra

  #4078·morluto opened Sep 25, 2026Owner·

  ·
  9

• feat(free-algebras): compute polynomial commutators

  #4072·morluto opened Sep 25, 2026Owner·

  ·
  13

• feat(root-systems): compute parabolic weight orbits

  #4071·morluto opened Sep 25, 2026Owner·

  ·
  5

• feat(groups): add finite-group Adams operations

  #4070·morluto opened Sep 25, 2026Owner·

  ·
  9

• feat(transducers): restrict rational outputs by DFA

  #4069·morluto opened Sep 25, 2026Owner·

  ·
  26

• feat(topology): compute cellular sheaf morphism cokernels

  #4068·morluto opened Sep 25, 2026Owner·

  ·
  19

• feat(ore): add bounded differential right division

  #4067·morluto opened Sep 25, 2026Owner·

  ·
  13