Matthias Köppe
@mkoeppe.bsky.social
Professor, UC Davis #Mathematics. He/him. #DavisCA. Made #SageMath pip-installable @passagemath.org. https://github.com/mkoeppe #Python #OpenSource #cutgeneratingfunctionology #optimization #orms I block accounts to increase reading focus.
Just released version 10.8.8 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.8 · passagemath/passagemath
Releases in the 10.8.x series are now made from the passagemath-10.8.x branch. passagemath-kissat updates kissat has been upgraded to version 4.0.4. passagemath-symbolics updates Various calculus f...
github.com
The passagemath-10.10.x series follows the #SciPy toolchain roadmap in dropping support for GCC 9, requiring GCC 10.3 or newer. github.com/passagemath/... #Python #SageMath #OpenSource #Mathematics
Release passagemath-10.10.1.alpha0 · passagemath/passagemath
This is the beginning of the new passagemath-10.10.x release series. It supports Python 3.12–3.15, GCC 10.3–16.x and will merge the compatible changes from upstream SageMath 10.10 when available. I...
github.com
passagemath@passagemath.org · 4d agoJust tagged version 10.10.1.alpha0 of passagemath, the portable modularized pip-installable compatible fork of #SageMath, with initial support for #Python 3.15. github.com/passagemath/... #OpenSource #Mathematics
Release candidate 10.8.8.rc1 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.8.rc1 · passagemath/passagemath
passagemath-kissat updates kissat has been upgraded to version 4.0.4. Package upgrades IPython has been upgraded to version 9.16.0 (release notes). What's Changed README.md: Add tag for passagema...
github.com
Just tagged version 10.10.1.alpha0 of passagemath, the portable modularized pip-installable compatible fork of #SageMath, with initial support for #Python 3.15. github.com/passagemath/... #OpenSource #Mathematics
Release passagemath-10.10.1.alpha0 · passagemath/passagemath
Initial support for Python 3.15 What's Changed Python 3.15 by @mkoeppe in #1787 Full Changelog: passagemath-10.8.8.rc1...passagemath-10.10.1.alpha0
github.com
passagemath@passagemath.org · 7d agoStarted porting passagemath to #Python 3.15. github.com/passagemath/... #SageMath #OpenSource #Mathematics
Release candidate 10.8.8.rc0 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/... #Mathics3 #Mathematica
Release passagemath-10.8.8.rc0 · passagemath/passagemath
passagemath-symbolics updates Various calculus functions now support using the Mathics3 CAS; use the parameter algorithm='mathics3'. sage: symbolic_sum(1/(1+k^2), k, -oo, oo, algorithm='mat...
github.com
Started porting passagemath to #Python 3.15. github.com/passagemath/... #SageMath #OpenSource #Mathematics
Python 3.15 by mkoeppe · Pull Request #1787 · passagemath/passagemath
https://docs.python.org/3.15/whatsnew/3.15.html To test: ./configure --without-system-python3 --disable-notebook && make build V=0
github.com
Embeddable #CommonLisp running in #Python via passagemath-ecl, compiled to #WebAssembly using @emscripten.org, packaged in the @prefix.dev emscripten-forge-4x channel, running serverless in the browser in a @jupyter.org JupyterLite session via Notebook.link. notebook.link/github/passa...
Just released version 10.8.7 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.7 · passagemath/passagemath
WebAssembly / JupyterLite improvements Package upgrades What's Changed README.md: Add tags by @mkoeppe in #2478 build/pkgs/{primecount,primesieve}: add mingw.txt by @striezel in #2480 Fix Graphic...
github.com
Release candidate 10.8.7.rc0 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.7.rc0 · passagemath/passagemath
What's Changed README.md: Add tags by @mkoeppe in #2478 build/pkgs/{primecount,primesieve}: add mingw.txt by @striezel in #2480 Fix Graphics.show() in Jupyter kernels not based on ipykernel by @s...
github.com
Just released version 10.8.6 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Many upgrades: ECM, FLINT, GAP, HiGHS, msolve, NumPy, PARI/GP, Planarity, SCIP. github.com/passagemath/...
Release passagemath-10.8.6 · passagemath/passagemath
Release on the occasion of the International Congress on Mathematical Software 2026. Expanded support for WebAssembly (emscripten) Packages now available in the prefix.dev emscripten-forge-4x chann...
github.com
🐙🪧 Next week, passagemath will be at @wilfridlaurieruni.bsky.social / @uwaterloo.ca in Waterloo, Ontario for #ICMS2026 with a poster. icms-conference.org/2026/index.h... #Python #OpenSource #Mathematics
ICMS 2026
icms-conference.org
Release candidate 10.8.6.rc1 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Includes an update of msolve to version 0.10.1. github.com/passagemath/...
Release passagemath-10.8.6.rc1 · passagemath/passagemath
What's Changed build/pkgs/mongo_c_driver: Update to 1.30.8 by @mkoeppe in #2459 build/pkgs/cmake: Update to 4.3.4 by @mkoeppe in #2460 build/pkgs/msolve: Update to 0.10.1 by @mkoeppe in #2461 tox....
github.com
Release candidate 10.8.6.rc0 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Includes upgrades to FLINT 3.5.0, PARI/GP 2.17.4, #GAPsystem 4.16.0, Planarity 5. github.com/passagemath/...
Release passagemath-10.8.6.rc0 · passagemath/passagemath
What's Changed Fix test failures with matplotlib 3.11 by @antonio-rojas, backported by @mkoeppe in #2438 Fix tests with flint 3.5 by @antonio-rojas, backported by @mkoeppe in #2440 allow flint 3.5...
github.com
I also made a tool! tinyurl.com/MF-omb It's built in a choose-your-own-adventure engine and provides prompts to help you get your thoughts together.
MOTHERFUNCTOR's OMB Comment Helper
tinyurl.com
Updated the passagemath-jupyterlite demo site. Now using JupyterLite 0.8 and providing several more passagemath distributions now available on emscripten-forge. passagemath.org/passagemath-... #Python #SageMath #OpenSource #Mathematics
The next release series, passagemath-10.10.x, will merge the compatible changes from upstream #SageMath 10.10, expected by end of summer 2026, and support #Python 3.12–3.15. The current series, passagemath-10.8.x, will be supported until October 2027, the EOL of Python 3.11. #OpenSource #Mathematics
Just released version 10.8.5 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Included: Updates of the computer algebra systems #Macaulay2 and #Mathics3. github.com/passagemath/...
Release passagemath-10.8.5 · passagemath/passagemath
Dedicated to the memory of Winfried Bruns. passagemath-ecl updates ECL has been upgraded to version 26.5.5. passagemath-macaulay2 updates Macaulay2 has been upgraded from version 1.25.11 to 1.26.06...
github.com
Release candidate 10.8.5.rc5 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. passagemath-macaulay2 now also ships #Macaulay2 docs and cohomcalg, csdp binaries. github.com/passagemath/...
Release passagemath-10.8.5.rc5 · passagemath/passagemath
What's Changed build/pkgs/libffi: Update to 3.5.2 by @mkoeppe in #2408 dist.yml (wheels): Use macos-26, macos-26-intel runners by @mkoeppe in #2405 pkgs/sagemath-macaulay2-doc: New by @mkoeppe in ...
github.com
Solving MILP in the browser with PySCIPOpt 🚀 No server, no installation, 100% WASM, running on *your* machine. + Some cool ipycanvas visualizations notebook.link/@AntoinePrv/...
Notebook.link - Run & Share Jupyter Notebooks Instantly
A fully interactive, scalable, and language-agnostic computing environment that operates entirely in your browser. Supports Python, R, C++, and GNU Octave. Share a link — anyone can run it instantly.
notebook.link
Release candidate 10.8.5.rc4 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. passagemath-msolve wheels now ship #msolve version 0.9.5 and are more portable. github.com/passagemath/...
Release passagemath-10.8.5.rc4 · passagemath/passagemath
What's Changed tox.ini, .devcontainer: Add fedora-45 by @mkoeppe in #2389 build/pkgs/macaulay2/spkg-check.in: New by @mkoeppe in #2391 build/pkgs/cohomcalg: New by @mkoeppe in #2392 build/pkgs/mac...
github.com
The alpha version of my new book "Optimal Transport for Machine Learners" is out, with in particular an online version with interactive figures www.gpeyre.com/ot4ml/
Release candidate 10.8.5.rc3 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Updates #Macaulay2 to version 1.26.06. github.com/passagemath/...
Release passagemath-10.8.5.rc3 · passagemath/passagemath
What's Changed Add more Mathics3 to Sage Mathematical constants by @rocky in #2380 build/pkgs/python3: Update to 3.14.6 by @mkoeppe in #2386 build/pkgs/ipython: Update to 9.14.1 by @mkoeppe in #23...
github.com
Pyodide 314.0.0 is out! 🎉 This marks a significant milestone for the Python-in-the-browser ecosystem! PEP 783 has been accepted, so Pyodide wheels can now be published directly to PyPI 🐍📦 blog.pyodide.org/posts/314-re... Thanks to @pydantic.dev for their guide: pydantic.dev/articles/ems...
Pyodide 314.0 Release
We are pleased to announce the Pyodide 314.0 release. This release focuses on standardization and packaging, marking a significant milestone in the Python-in-the-browser ecosystem. PEP 783 is Accepted...
blog.pyodide.org
Release candidate 10.8.5.rc2 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable fork of #SageMath. Updates Mathics3, the free impl of the Wolfram language #Mathematica, to 10. Updates #Macaulay2 to 1.26.05. github.com/passagemath/...
Release passagemath-10.8.5.rc2 · passagemath/passagemath
What's Changed Support Mathics3 10.0.0 by @rocky in #2374 build/pkgs/python3: Update to 3.14.5 by @mkoeppe in #2377 pkgs/sagemath-{standard,symbolics}: Declare extra 'mathics3' by @mkoeppe in #23...
github.com
passagemath is in Atlanta this week for the Building the Future of #Macaulay2 workshop. d-torrance.github.io/m2gt26/ #OpenSource #Mathematics
The Future of Macaulay2 | M2@GT 2026
Macaulay2 Workshop at Georgia Tech
d-torrance.github.io
Release candidate 10.8.5.rc1 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.5.rc1 · passagemath/passagemath
What's Changed build/pkgs/ipython: Update to 9.13.0 by @mkoeppe in #2372 build/pkgs/packaging: Update to 26.2 by @mkoeppe in #2371 build/pkgs/ecl: Update to 26.5.5 by @mkoeppe in #2375 Full Chang...
github.com
ML researchers know Python. Proof engineers know Lean. Never the two should meet.. Until now! Announcing Lean.py, effortless Lean to Python and Python to Lean bindings! - Write Lean tactics in Python - Access the Python ecosystem in Lean github.com/kiranandcode...
![/-- Expr-based equality check. Receives `Lean.Expr` trees (via the
`derive_python` Reflect registration) and delegates conversion entirely
to Python's `lean_to_sympy` module. -/
@[python "sympy_expr_eq_accept"]
def sympyExprEqAccept (lhs rhs : Lean.Expr) : IO Bool := do
init ()
let mod ← import_ "lean_to_sympy"
let checkFn ← mod.getAttr "sympy_eq_check"
let convFn ← mod.getAttr "expr_to_sympy"
let lhsSy ← convFn.call #[← Py.ofLeanObj lhs]
let rhsSy ← convFn.call #[← Py.ofLeanObj rhs]
(← checkFn.call #[lhsSy, rhsSy]).toBool](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreidjowsbwstojoc67hyrxgolgekqqduzv5afwd3wfrg4sr4lqvhpgm)
Kiran@kirancodes.me · 3mo agoPython and lean are the same language right? (this is lean code that is manipulating Python numpy objects)
![def runDemo : IO Unit := do
IO.println "demo_run:"
let a <- NDArray.ones .f64 [3, 4]
let b <- NDArray.ones .f64 [4, 2]
let c <- NDArray.matmul a b
let d <- NDArray.reshape c [6]
IO.println s!" {<- d.repr}"
#eval runDemo](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreieycwm352l4xweu5jzffnk54j255nqexcepx3mqnuhs37amap3kra)
passagemath is in Portugal this week for the #GAPSystem Days Spring 2026. www.gapdays.de/gapdays2026-... #OpenSource #Mathematics
Program · GAP Days Spring 2026
gapdays.de
Release candidate 10.8.5.rc0 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable fork of #SageMath. github.com/passagemath/...
Release passagemath-10.8.5.rc0 · passagemath/passagemath
What's Changed plot: fix circular import in plain Python by pre-importing sage.structure.element by @sacchen in #2368 plot: add repr_svg() for plain Python Jupyter kernels by @sacchen in #2366 bui...
github.com
Release 10.8.4 of passagemath, the comprehensive #OpenSource mathematics system in #Python, the pip-installable modularized portable fork of #SageMath, providing the full functionality of Sage and more. Plots are now also available in @googlecolab.bsky.social notebooks. github.com/passagemath/...
Release passagemath-10.8.4 · passagemath/passagemath
Rich output in Jupyter notebooks with standard Python kernels Previously only Jupyter notebooks using the custom SageMath kernel provided rich output. Now plots are also available in Jupyter notebo...
github.com