#macaulay2 — Public Fediverse posts

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 · p...

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...

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 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@G...

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/...

Release passagemath-10.6.36 · ...

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

RE: https://bsky.app/profile/did:plc:htd5nd5zj62hey7e7lm3a6ky/post/3m2mrawxhkc22

Readings shared September 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/09/18-readings_shared_09-17-25 #AI #Autoformalization #CAS #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Macaulay2 #Math #Mathlib #Physics #Rocq #SMT

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

@[email protected]
Different target audiences.
I use Gentoo so I like to build Sagemath from source.
But some people love to use pip for everything and Passagemath is literally "pip for everything"

That post was just a #RemindMe for me to manually update #Macaulay2 #kissat and #normaliz

A full pros and cons are known only to https://bsky.app/profile/mkoeppe.bsky.social

#Macaulay2 #MPSolve #gcc-15

cannot use keyword «false» as enumeration constant
   10 | { false = 0, true = 1 } mps_boolean;
      |   ^~~~~

и заодно обновил #Macaulay2
было version 1.24.05-136-g60f6dda58
стало version 1.24.11-798-g0471e743c

MadPy's next meetup is just 2 days away! Thursday we'll learn about the latest in #FOSS tooling in Computer #Algebra Systems. Learn about #mathematics research with tools like #SageMath, #Macaulay2, and others

Newcomers welcome and no experience with these tools is required. Our event is free and open to the public, hosted at #Madison's Central Library. We'll have free pizza & beverages too! 🍕 🥤

Looking forward to seeing everybody!

https://www.meetup.com/madison-python/events/297098767/

#MadisonWI #UWMadison #Math #Python

It's just 10 days till our next meetup! 🎉

Join us as we learn about #python tooling for #math research. There will be discussion of #SageMath and #Macaulay2, among others. Should be really interesting.

Also there will be free pizza 🍕 + :python:

The event is free and open to the public, hosted at #Madison's Central Library. All are welcome, including experts and newcomers alike.

See you there!

https://www.meetup.com/madison-python/events/297098767/

#MadisonWI #UWMadison #Mathematics

Just announced, our December meetup is going to be a little #math-y 🤓

Shashank Bangalore is going to give a talk on using #python tools, like #SageMath and #Macaulay2 for calculating invariants of elliptic curves. Please join us!

https://www.meetup.com/madison-python/events/297098767/

#Madison #MadisonWI #UWMadison #Wisconsin

#Macaulay2 is a #ComputerAlgebra System devoted to supporting research in #AlgebraicGeometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992.

Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more.

https://macaulay2.com/

Anyone has a good way to parse #Macaulay2 output?
The exponents on a separate line are a real pain:
2 2
16z4 z23