passagemath

Stream: general

[Matthias Köppe]

The package https://pypi.org/project/passagemath-singular/ is likely sufficient to locally run the Gröbner basis computations for which the polyrith tactic in mathlib invokes Sage as SaaS.

[Matthias Köppe]

The package https://pypi.org/project/passagemath-cmr/ may be interesting to those who are working on Seymour's decomposition of regular matroids.

[Matthias Köppe]

And https://pypi.org/project/passagemath-macaulay2/ gives access to Macaulay2.

[Matthias Köppe]

The package https://pypi.org/project/passagemath-gap/ gives access to GAP, including many GAP packages. (As with all the binary wheels of passagemath on PyPI, a prebuilt copy of GAP is included; there is no need for a separate installation.)

[Matthias Köppe]

The package https://pypi.org/project/passagemath-polyhedra/ provides computations with convex polyhedra in arbitrary dimension (in exact rational arithmetic), and linear and mixed integer linear optimization (in floating point arithmetic).

[Notification Bot]

5 messages were moved here from #announce > passagemath 10.5.42 – the pip-installable Sage, modularized by Kim Morrison.

[Matthias Köppe]

The package https://pypi.org/project/passagemath-symbolics/ provides general symbolic calculus, using Ginac and Maxima, and provides bidirectional interfaces to many other symbolics packages, including SymPy, Giac, and FriCAS. It also includes SageManifolds for topological, differentiable, pseudo-Riemannian, and Poisson manifolds.

[Eric Wieser]

Could you clarify a little how the "fork" status with respect to upstream SageMath works? Are changes upstream propagated to passagemath's packaged versions, or have the two projects now diverged?

[Matthias Köppe]

I merge the changes in upstream SageMath into passagemath when it is convenient to do so. The current releases of passagemath are up to date with a SageMath release from February this year, and in https://github.com/passagemath/passagemath/pull/983 I am preparing the merge of the changes since then.

[Matthias Köppe]

The intention is to remain API-compatible indefinitely.

[Matthias Köppe]

In https://github.com/passagemath/passagemath/blob/main/CONTRIBUTING.md, I suggest that PRs be directed to the upstream project unless it's modularization work specific to passagemath (edit: or changes to code that is only present in passagemath).

[tsuki（Hao Shen)]

Matthias Köppe said:

In https://github.com/passagemath/passagemath/blob/main/CONTRIBUTING.md, I suggest that PRs be directed to the upstream project unless it's modularization work specific to passagemath.

I noticed some Lean 3 syntax issues that I'd like to fix and add new content to it. Where would be the best place to submit these changes?

[Matthias Köppe]

The Lean interface is only merged in passagemath, so the changes should be submitted by PR to https://github.com/passagemath/passagemath

[Matthias Köppe]

The new release https://github.com/passagemath/passagemath/releases/tag/passagemath-10.6.1 adds support for native Windows (x86_64) for a subset of its functionality. Hence it now supports (and is pip-installable from binary wheels) on all Tier 1 support platforms of Lean.