#macaulay2 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #macaulay2, aggregated by home.social.
-
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... -
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... -
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... -
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... -
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 -
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 -
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 -
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 -
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 -
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
-
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
-
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
-
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
-
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 -
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
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!
-
#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.
-
#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.
-
#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.
-
#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.
-
#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.
-
Anyone has a good way to parse #Macaulay2 output?
The exponents on a separate line are a real pain:
2 2
16z4 z23 -
Anyone has a good way to parse #Macaulay2 output?
The exponents on a separate line are a real pain:
2 2
16z4 z23 -
Anyone has a good way to parse #Macaulay2 output?
The exponents on a separate line are a real pain:
2 2
16z4 z23