All pull requests

Pull requests

• feat: max-flow/min-cut between vertex sets

  #20293·roed-math opened Oct 23, 2026Contributor·

  ·

• Deploy Git-only review coordination and matching merge policy

  #20292·kim-em opened Oct 23, 2026Contributor·

  ·

• feat: exterior derivative of test forms

  #20291·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• feat: add the Markov path-law kernel and time-n marginals

  #20290·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• feat: the self-extension of a module attached to a derivation

  awaiting-CI
  #20289·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• refactor(Lie/Orthogonal/SpinCarrier): transport the scheme-level pinning equation through eqToHom explicitly

  awaiting-CI
  #20288·CBirkbeck opened Oct 23, 2026Contributor·

  ·

• feat: multiplicativity of Reidemeister torsion in short exact sequences

  awaiting-CI
  #20287·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• feat: pull back KMS states along equivariant homomorphisms

  awaiting-CIroadmap/OperatorAlgebraDynamics
  #20286·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• feat: the cube-slice convex body and lattice bases of bounded sup norm from the minima

  awaiting-CIroadmap/HeightsAndUnits
  #20285·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·

• feat: direct sums of partial linear maps on L^p products

  awaiting-CIroadmap/OperatorTheory
  #20284·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·
  2

• feat: in characteristic p, perfectoid Tate rings are the perfect ones

  awaiting-CIroadmap/PerfectoidSpaces
  #20283·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·
  1

• refactor(RingTheory/CyclicCohomology/Relative): build the relative Hochschild coboundary with LinearMap.restrict

  awaiting-reviewroadmap/NoncommutativeGeometry
  #20282·CBirkbeck opened Oct 23, 2026Contributor·

  ·
  1

• feat: add the multivariate t distribution and its linear marginals

  review-in-progressroadmap/StandardDistributions
  #20281·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·
  3

• feat: prove product and Jacobi laws for discriminant characters

  ci-failedroadmap/ClassicalArithmeticCompletion
  #20280·ldct opened Oct 23, 2026Member·

  ·

• feat: construct the normalized Hochschild mixed complex

  awaiting-authorroadmap/NoncommutativeGeometry
  #20279·ldct opened Oct 23, 2026Member·

  ·
  3

• feat: compute matrix normal directional transforms

  awaiting-authorroadmap/StandardDistributions
  #20278·ldct opened Oct 23, 2026Member·

  ·
  2

• feat: compute manifold squared-distance Levi forms

  awaiting-CIroadmap/AffineMorseLefschetz
  #20277·ldct opened Oct 23, 2026Member·

  ·

• feat: identify open subgroups of Demushkin groups up to isomorphism

  ready-to-mergeroadmap/ProfiniteProPGroups
  #20276·tauceti-ai-for-science opened Oct 23, 2026Contributor·

  ·
  1

• feat: compute the coproduct under quantum parameter inversion

  awaiting-authorroadmap/QuantumGroups
  #20275·ldct opened Oct 23, 2026Member·

  ·
  3

• feat: identify Gauss norms with Newton supporting values

  awaiting-CIroadmap/NewtonPolygons
  #20274·ldct opened Oct 23, 2026Member·

  ·

• refactor(AlgebraicGeometry/EllipticCurve/Scheme): tag the field EllipticCurveGeom.zero_comp, drop its restatement

  ready-to-mergeroadmap/ModularCurves
  #20273·CBirkbeck opened Oct 23, 2026Contributor·

  ·
  1

• feat: glue locally constant distributions

  awaiting-authorroadmap/GeometricCurrents
  #20272·ldct opened Oct 23, 2026Member·

  ·
  6

• feat: identify unit-group measures with the psi kernel

  awaiting-authorroadmap/PadicMeasuresIwasawaAlgebras
  #20271·ldct opened Oct 23, 2026Member·

  ·
  3

• refactor(KnotTheory/Grid/Commutation/Homotopy/Decomposition): shorten two injectivity proofs

  ready-to-mergeroadmap/CombinatorialHeegaardFloer
  #20270·CBirkbeck opened Oct 23, 2026Contributor·

  ·
  1

• feat: connect countable Markov kernels with probability mass functions

  awaiting-authorroadmap/MarkovChainsAndRenewal
  #20269·ldct opened Oct 23, 2026Member·

  ·
  2