Meta-ticket: Web assembly (wasm) and Pyodide

[mkoeppe]

The modularization effort (#29705) makes it easy to port and deploy portions of Sage to new platforms. Here we target Web Asssembly (wasm). This enables integration with Javascript in the browser, interactive online documentation, etc.

• https://jupyterlite-sphinx.readthedocs.io/en/latest/directives/replite.html
• https://live.sympy.org/ (https://github.com/sympy/live, based on https://github.com/jupyterlite/demo)
• https://github.com/jupyterlite/pyodide-kernel/tree/main

Porting to Pyodide

• Nothing needs to be done for platform-independent wheels available on PyPI. When needed as deps for other packages on pyodide, package metadata can be added easily using pyodide skeleton pypi.

  • https://github.com/pyodide/pyodide/pull/4452
  • https://github.com/ipython/ipython/pull/14312, https://github.com/ipython/ipython/pull/14316

• 37099: Platform-independent wheels for pure Python distribution packages sagemath-environment, sage-setup, sage-docbuild. (Currently we only publish sdists, but micropip needs wheels.)

• Cross references for non-Python packages that are already available in Pyodide: #37120

• Non-Python packages that are not available yet need to be added, as documented at https://pyodide.org/en/stable/development/new-packages.html#c-library-dependencies

  • https://github.com/pyodide/pyodide/pull/4406
  • https://github.com/pyodide/pyodide/pull/4407
  • https://github.com/sagemath/cysignals/pull/197
  • https://github.com/pyodide/pyodide/pull/4410
  • https://github.com/flintlib/python-flint/pull/108
  • https://github.com/pyodide/pyodide/pull/4430
  • https://github.com/pyodide/pyodide/pull/4439

• Platform wheels already available in Pyodide:

  • gmpy2 available since pyodide 0.21.0

• Platform wheels can be added to Pyodide

  • e.g. https://github.com/pyodide/pyodide/pull/4393
  • Integration PR: https://github.com/pyodide/pyodide/pull/4438

• Alternatively, platform wheels can be built "out of (the Pyodide) tree"

  • 37121

  • https://github.com/pyodide/pyodide/pull/4400
  • Needed for sagemath-objects, sagemath-categories: Have gmpy2, need cysignals; are gmp headers available in out of tree builds?

• 37180

• Candidate for the first useful package: sagemath-polyhedra (#32432)

Other technologies

• https://github.com/emscripten-forge/recipes
• https://jupyterlite.readthedocs.io/en/latest/howto/configure/kernels.html#jupyterlite-xeus-python

CC: @williamstein

Component: porting

Issue created by migration from https://trac.sagemath.org/ticket/34539

[mkoeppe]

comment:1

Actually also need cysignals, this will need technical work.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,9 @@
-https://pyodide.org/en/stable/project/changelog.html#version-0-21-0 added `gmpy2`, so there is a good chance that we can make the modularized distributions sagemath-objects, sagemath-categories available.
+Needed for sagemath-objects, sagemath-categories:
+
+- `gmpy2` [available since pyodide 0.21.0](https://pyodide.org/en/stable/project/changelog.html#version-0-21-0)
+- `cysignals`
+
+
+Reference:
+- https://pyodide.org/en/stable/development/new-packages.html#building-python-wheels-out-of-tree
+

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,7 +1,11 @@
-Needed for sagemath-objects, sagemath-categories:
+1. Platform-independent wheels for pure Python distribution packages sagemath-environment, sagemath-repl, sage-docbuild. (Currently we only publish sdists, but micropip needs wheels.)
+
+2. Needed for sagemath-objects, sagemath-categories:

 - `gmpy2` [available since pyodide 0.21.0](https://pyodide.org/en/stable/project/changelog.html#version-0-21-0)
 - `cysignals`
+
+3. Candidate for the first useful package: sagemath-polyhedra (#32432)

 Reference: