Sign in

passagemath

@passagemath.org
103 followers 41 following 297 posts

General-purpose #OpenSource #Mathematics software system in #Python. The pip-installable modularized portable compatible fork of #SageMath. passagemath.org · github.com/passagemath · posts by @mkoeppe.bsky.social

PostsRepliesMedia
passagemath @passagemath.org · 25/09/2026
Just released version 10.8.12 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. New packages: passagemath-tides for ODEs, #CAS mathilda, #MCP sagemath-mcp github.com/passagemath/...
github.com
Release passagemath-10.8.12 · passagemath/passagemath
passagemath-bliss updates A WebAssembly build of passagemath-bliss is now available on emscripten-forge. Thanks go to @wangyenshu for packaging the bliss library. passagemath-conf updates passagema...
043
Reposted by passagemath
Project Jupyter @jupyter.org · 24/09/2026
There's still time to register for Jupyter Day 2026! 🪐 Join the Jupyter community on October 19 in San Jose for a day of learning and conversation around AI-assisted workflows, data visualization, open science, and more. 🎟️ Register now: events.linuxfoundation.org/jupyter-day/...
012
passagemath @passagemath.org · 22/09/2026
Final release candidate 10.8.12.rc2 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/... #CAS
github.com
Release passagemath-10.8.12.rc2 · passagemath/passagemath
New package: Computer algebra system mathilda This computer algebra system by @stblake can now be installed in passagemath's version of the Sage distribution as mathilda and used from the command l...
032
passagemath @passagemath.org · 21/09/2026
Release candidate 10.8.12.rc1 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.12.rc1 · passagemath/passagemath
passagemath-tides This new pip-installable package provides the interface to the high-precision ODE solver TIDES. passagemath-tides is provided as a source distribution only; on installation, TIDES...
022
passagemath @passagemath.org · 17/09/2026
Release candidate 10.8.12.rc0 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Now supports using any of the @networkx.bsky.social #graph layouts. github.com/passagemath/... #MCP
github.com
Release passagemath-10.8.12.rc0 · passagemath/passagemath
passagemath-graphs updates Graph plotting (methods plot() and layout()) now supports all layouts implemented in NetworkX. New package: Model Context Protocol server sagemath-mcp This new stateful M...
033
Reposted by passagemath
Julien Jerphanion @jjerphan.xyz · 16/09/2026
🚀 NumPy in the browser just got faster. Emscripten-forge NumPy now uses OpenBLAS, bringing significant speedups to linear algebra, including matrix multiplication. Upcoming WASM SIMD kernels will improve performance further. 🔗 notebook.link/blog/the-las... cc @conda-forge.org @pyodide.org
notebook.link
The last mile of a long road: faster NumPy in the browser | Notebook.link Documentation
NumPy on Emscripten-forge now links OpenBLAS in WebAssembly, with large speedups for matmul and linear algebra in the browser.
0188
passagemath @passagemath.org · 08/09/2026
sagemath-mcp, the Model Context Protocol server that provides stateful #SageMath computations, now has (experimental) support for using a pip-installed passagemath instead of running Sage in a Docker container. pypi.org/project/sage... #Python #OpenSource #Mathematics #MCP
pypi.org
sagemath-mcp
Model Context Protocol server that provides stateful SageMath computations.
173
passagemath @passagemath.org · 07/09/2026
The package for experiments with Runge–Kutta methods for ordinary differential equations by Th. Dumont @cnrs.fr now supports using the pip-installable modularized passagemath distributions in #Python instead of the monolithic #SageMath. pypi.org/project/RKkit/ #OpenSource #Mathematics
pypi.org
RKkit
Playing with Runge-Kutta methods
032
passagemath @passagemath.org · 06/09/2026
Just released version 10.8.11 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.11 · passagemath/passagemath
User interface improvements, package upgrades, backports of bugfixes from upstream SageMath 10.10.beta9. 3D graphics with Python Jupyter kernels (Google Colab, JupyterLite) Previously this required...
032
passagemath @passagemath.org · 05/09/2026
Final release candidate 10.8.11.rc3 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.11.rc3 · passagemath/passagemath
What's Changed sage.ext.stdsage: pass an empty tuple to tp_new by @sacchen in #2786 build/pkgs/boost_cropped: Update to 1.92.0 by @mkoeppe in #2788 Doctest fixes, # needs by @mkoeppe in #2790 Supp...
022
passagemath @passagemath.org · 02/09/2026
Release candidate 10.8.11.rc2 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Now with typeset symbolic expressions in Google Colab notebooks. github.com/passagemath/...
Screenshot of a Google Colab notebook with commands "%pip install passagemath-symbolics[standard]==10.8.11rc2", "from passagemath_symbolics import *", and "integral(x**2*sin(x), x, hold=True)", the last one showing a typeset formula as the output.
033
passagemath @passagemath.org · 31/08/2026
Release candidate 10.8.11.rc1 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.11.rc1 · passagemath/passagemath
More backports of bugfixes from upstream. passagemath-libbraiding updates libbraiding was upgraded from version 1.3.1 to 1.3.2. What's Changed New RankWidth feature by @orlitzky, backported by @mk...
022
passagemath @passagemath.org · 30/08/2026
Release candidate 10.8.11.rc0 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. New 3D graphics support w/ plain Python @jupyter.org kernels, e.g. Google Colab. github.com/passagemath/...
045
passagemath @passagemath.org · 28/08/2026
Just released version 10.8.10 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Improved compatibility with @googlecolab.bsky.social, new packages, upgrades. github.com/passagemath/...
github.com
Release passagemath-10.8.10 · passagemath/passagemath
Dedicated to the memory of Pietro Belotti. Improved compatibility with Google Colab Version requirements on IPython and NumPy were relaxed so that the versions preinstalled on Google Colab are acce...
032
Reposted by passagemath
Matthias Köppe @mkoeppe.bsky.social · 28/08/2026
By the way, some parts of passagemath (including combinat and graphs from the #SageMath library) run natively on Windows, too, no WSL or Docker needed. "pip install passagemath-combinat passagemath-graphs passagemath-modules passagemath-repl"
031
Reposted by passagemath
ꭓle Ormsby 𓆙 @e-infinity.space · 27/08/2026
Wow. This looks like the Swiss Army Knife of computer algebra systems. 🧮
0151
passagemath @passagemath.org · 25/08/2026
Release candidate 10.8.10.rc4 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Various package upgrades, including #GAPsystem 4.16.1. github.com/passagemath/...
github.com
Release passagemath-10.8.10.rc4 · passagemath/passagemath
passagemath-gap updates GAP was upgraded from version 4.16.0 to 4.16.1; release notes. Package upgrades barvinok was upgraded to version 0.41.9 and promoted to optional. isl was upgraded to version...
022
passagemath @passagemath.org · 25/08/2026
The #Python client package for looking up a given number in B. Matschke's NumberDB now supports using the pip-installable modularized passagemath distributions instead of the monolithic #SageMath. 💯 pypi.org/project/numb... #OpenSource #Mathematics
Screenshot of https://pypi.org/project/numberdb/ showing Sage examples and passagemath information
022
passagemath @passagemath.org · 23/08/2026
Release candidate 10.8.10.rc3 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.10.rc3 · passagemath/passagemath
passagemath-lie The wheels of this new pip-installable package ship the binaries of LiE. The LiE package was promoted from experimental to optional. What's Changed src/sage/interfaces/gap3.py: Rem...
022
passagemath @passagemath.org · 21/08/2026
Release candidate 10.8.10.rc2 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.10.rc2 · passagemath/passagemath
passagemath-graphviz The wheels of this new pip-installable package ship the binaries of graphviz. SAGE_ROOT/venv/ is now a fully functional virtual environment In a traditional installation of pas...
022
passagemath @passagemath.org · 16/08/2026
Release candidate 10.8.10.rc1 of 🐙passagemath, a comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. New: "make _sagemath" builds upstream Sage lib with passagemath's updated distro. github.com/passagemath/...
github.com
Release passagemath-10.8.10.rc1 · passagemath/passagemath
passagemath-gap3 This new pip-installable package provides GAP3 and the functionality for reflection groups that depends on it. For developers: make configure && ./configure && make _sagemath This ...
032
passagemath @passagemath.org · 12/08/2026
Release candidate 10.8.10.rc0 of 🐙passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Various portability fixes. github.com/passagemath/...
github.com
Release passagemath-10.8.10.rc0 · passagemath/passagemath
What's Changed pkgs/sagemath-combinat: Add sage.databases.cubic_hecke_db by @mkoeppe in #2583 build/pkgs/{ncurses,readline,xz}: Update by @cxzhong, cherry-picked by @mkoeppe in #2454 ci-wheels.yml...
022
passagemath @passagemath.org · 10/08/2026
Just released version 10.8.9 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. github.com/passagemath/...
github.com
Release passagemath-10.8.9 · passagemath/passagemath
This release fixes a regression introduced in passagemath-10.8.8 that affected downstream packages with Cython extensions using FLINT. passagemath-frobby updates Frobby was upgraded to version 0.9....
022
passagemath @passagemath.org · 07/08/2026
Release candidate 10.8.9.rc0 of 🐙passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. This is the 222nd GitHub release of passagemath. 🎉 Various package upgrades. github.com/passagemath/...
github.com
Release passagemath-10.8.9.rc0 · passagemath/passagemath
passagemath-frobby updates Frobby was upgraded to version 0.9.9. passagemath-lcalc updates lcalc was upgraded to version 2.2.1. passagemath-linbox updates givaro was upgraded to version 4.2.2. pass...
032
passagemath @passagemath.org · 05/08/2026
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/...
github.com
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...
032
passagemath @passagemath.org · 02/08/2026
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
github.com
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...
032
passagemath @passagemath.org · 02/08/2026
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/...
github.com
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...
032
passagemath @passagemath.org · 01/08/2026
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
github.com
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
132
passagemath @passagemath.org · 30/07/2026
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
github.com
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...
032
passagemath @passagemath.org · 30/07/2026
Started porting passagemath to #Python 3.15. github.com/passagemath/... #SageMath #OpenSource #Mathematics
github.com
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
034
passagemath @passagemath.org · 29/07/2026
#Python #Lisp #OpenSource
010
passagemath @passagemath.org · 25/07/2026
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/...
github.com
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...
033
passagemath @passagemath.org · 21/07/2026
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/...
github.com
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...
052
passagemath @passagemath.org · 16/07/2026
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/...
github.com
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...
032
passagemath @passagemath.org · 14/07/2026
Release candidate 10.8.6.rc2 of passagemath, the comprehensive #OpenSource #Mathematics system in #Python, the pip-installable modularized portable compatible full-featured fork of #SageMath. Includes upgrades to HiGHS 1.15.1, ecm 7.0.7, primesieve 12.14. github.com/passagemath/...
github.com
Release passagemath-10.8.6.rc2 · passagemath/passagemath
What's Changed tox.ini, .devcontainer: Add ubuntu-stonking by @mkoeppe in #2466 build/pkgs/msolve/distros: add mingw.txt by @striezel in #2467 build/pkgs/{highs,highspy}: Update to 1.15.1 by @mkoe...
021
passagemath @passagemath.org · 13/07/2026
🐙🪧 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-conference.org
ICMS 2026
042
passagemath @passagemath.org · 13/07/2026
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/...
github.com
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....
042
passagemath @passagemath.org · 11/07/2026
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/...
github.com
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...
032
passagemath @passagemath.org · 11/07/2026
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
054
Reposted by passagemath
Jeremy Tuloup @jtp.io · 10/07/2026
JupyterLite 0.8 is released! 🎉 This release updates to the latest JupyterLab 4.6 and Notebook 7.6, and brings new improvements across related projects. ➡️ Try it online: jupyter.org/try-jupyter ➡️ Blog post: blog.jupyter.org/jupyterlite-...
blog.jupyter.org
JupyterLite 0.8 is released! 🎉
JupyterLite is a Jupyter distribution that runs entirely in the web browser without any server components. Deployment and hosting are easy…
1115
passagemath @passagemath.org · 10/07/2026
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
022
passagemath @passagemath.org · 08/07/2026
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/...
github.com
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...
011
passagemath @passagemath.org · 17/06/2026
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/...
github.com
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 ...
031
passagemath @passagemath.org · 16/06/2026
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/...
github.com
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...
031
passagemath @passagemath.org · 13/06/2026
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/...
github.com
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...
041
Reposted by passagemath
AntoinePrv @antoineprv.bsky.social · 10/06/2026
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
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.
053
Reposted by passagemath
Matthias Köppe @mkoeppe.bsky.social · 18/05/2026
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/...
github.com
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...
051
passagemath @passagemath.org · 17/05/2026
passagemath is in Atlanta this week for the Building the Future of #Macaulay2 workshop. d-torrance.github.io/m2gt26/ #OpenSource #Mathematics
d-torrance.github.io
The Future of Macaulay2 | M2@GT 2026
Macaulay2 Workshop at Georgia Tech
042
passagemath @passagemath.org · 07/05/2026
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/...
github.com
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...
021
Reposted by passagemath
Kiran @kirancodes.me · 06/05/2026
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...
import SymPyTactic

example : (1 : Int) * 1 = 2 := by sympy
example : (3 : Int) * 4 = 12 := by sympy
example : (5 : Int) * 6 = 30 := by sympy/-- 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
45619