Release passagemath-10.6.36 · passagemath/passagemath passagemath-graphs updates Graphs and hypergraphs now have a method is_unimodular(), using Seymour's decomposition from passagemath-cmr. sage: W6 = graphs.WheelGraph(7); W6 Wheel graph: Graph on 7 ...

Just released: Version 10.6.36 of passagemath, the pip-installable modularized #SageMath fork, an #OpenSource general-purpose #Mathematics system in #Python.
This release updates #Macaulay2 to version 1.25.11.
github.com/passagemath/...

Added in post: Binary wheels for passagemath-macaulay2 are now also available for Linux on ARM.
#SageMath #Macaulay2 #Python #FOSS #Mathematics

Readings shared September 17, 2025 The readings shared in Bluesky on 17 September 2025 are: Formalizing dimensional analysis using the Lean theorem prover. ~ Maxwell P. Bobbin, Colin Jones, John Velkey, Tyler R. Josephson. #ITP #LeanP

Readings shared September 17, 2025. jaalonso.github.io/vestigium/po... #AI #Autoformalization #CAS #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Macaulay2 #Math #Mathlib #Physics #Rocq #SMT

Bridging Proof and Computation: A Verified Lean–Macaulay2 Interface — Renaissance Philanthropy – A brighter future for all through science, technology, and innovation

Bridging proof and computation (For a verified Lean–Macaulay2 interface). ~ Matthew Ballard, Anton Leykin, Damiano Testa, Michael Stillman. www.renaissancephilanthropy.org/bridging-pro... #AI #Math #ITP #LeanProver #CAS #Macaulay2

In agglomerative math software systems such as #Macaulay2, #polymake, #SageMath, development of interfaces to an upstream project only benefits those who (can) "buy in" to the large system – and that often even excludes the communities of the upstream project. 2/

passagemath-macaulay2 passagemath: Computing in commutative algebra, algebraic geometry and related fields with Macaulay2

passagemath-macaulay2 now ships binary wheels that include a prebuilt copy of #Macaulay2.
pypi.org/project/pass...
#Python #SageMath #FOSS #MathSky

tox.ini: Add distro factors macaulay2, macaulay2_daily by mkoeppe · Pull Request #822 · passagemath/passagemath $ tox -e docker-ubuntu-jammy-macaulay2-standard builds Sage with the Macaulay2 ppa added $ tox -e docker-ubuntu-jammy-macaulay2_daily-standard same with the daily Macaulay2 build (Macaulay2/M2#38...

Just added: Testing on Ubuntu Linux with the PPAs provided by the #Macaulay2 project.
github.com/passagemath/...
#FOSS #SageMath #MathSky