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.

  • New package ipython pyodide/pyodide#4452
    • IPython.utils._process_posix: import pexpect only when needed ipython/ipython#14312, IPython/utils/_process_emscripten.py: New ipython/ipython#14316

• GH Actions: Build platform-independent wheels of sagemath-environment, sage-setup, sage-sws2rst for PyPI #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: build/pkgs/*/distros/pyodide.txt: New, corresponding to pyodide 0.25.0 #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

  • Update libgmp to 6.3.0, libmpfr to 4.2.1, libmpc to 1.3.1 pyodide/pyodide#4406
  • New packages ppl, pplpy (Parma polyhedra library), cysignals pyodide/pyodide#4407
    • Initial patch for emscripten / pyodide support cysignals#197
  • New packages flint, python-flint pyodide/pyodide#4410
    • Declare build deps in pyproject.toml flintlib/python-flint#108
  • Add package pari pyodide/pyodide#4430
  • New packages e_antic, normaliz, pynormaliz pyodide/pyodide#4439

• Platform wheels already available in Pyodide:

  • gmpy2 available since pyodide 0.21.0

• Platform wheels can be added to Pyodide

  • e.g. Add package memory_allocator 0.1.3 pyodide/pyodide#4393
  • Integration PR: New packages passagemath-* pyodide/pyodide#4438

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

  • pyodide-build, Emscripten SDK #37121
  • pyodide_build.out_of_tree.venv: Monkey-patch platform.system for pip pyodide/pyodide#4400
  • Needed for sagemath-objects, sagemath-categories: Have gmpy2, need cysignals; are gmp headers available in out of tree builds?

• sagelib fixes for pyodide / emscripten #37180

• Candidate for the first useful package: sagemath-polyhedra (Modularization of sagelib: Break out a separate 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: