passagemath-repl 10.4.62__py3-none-any.whl

sage/repl/ipython_kernel/kernel.py

@@ -0,0 +1,217 @@
+# sage_setup: distribution = sagemath-repl
+"""
+The Sage ZMQ Kernel
+
+Version of the Jupyter kernel when running Sage inside the Jupyter
+notebook or remote Jupyter sessions.
+"""
+
+# ***************************************************************************
+#       Copyright (C) 2015 Volker Braun <vbraun.name@gmail.com>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#  as published by the Free Software Foundation; either version 2 of
+#  the License, or (at your option) any later version.
+#                  https://www.gnu.org/licenses/
+# ***************************************************************************
+
+import sys
+import warnings
+with warnings.catch_warnings():
+    # When upstream pydevd (as opposed to the bundled version) is used
+    # with debugpy, a PEP 420 warning is emitted. Debugpy and/or
+    # pydevd will eventually work around this, but as of September
+    # 2023, hiding the warning gives us more flexibility in the
+    # versions of those packages that we can accept.
+    warnings.filterwarnings("ignore",
+                            message=r".*pkg_resources\.declare_namespace",
+                            category=DeprecationWarning)
+    from ipykernel.ipkernel import IPythonKernel
+
+from ipykernel.zmqshell import ZMQInteractiveShell
+from traitlets import Type
+
+from sage.env import SAGE_VERSION
+from sage.repl.interpreter import SageNotebookInteractiveShell
+from sage.repl.ipython_extension import SageJupyterCustomizations
+
+
+class SageZMQInteractiveShell(SageNotebookInteractiveShell, ZMQInteractiveShell):
+    pass
+
+
+class SageKernel(IPythonKernel):
+    implementation = 'sage'
+    implementation_version = SAGE_VERSION
+
+    shell_class = Type(SageZMQInteractiveShell)
+
+    def __init__(self, **kwds):
+        """
+        The Sage Jupyter Kernel.
+
+        INPUT:
+
+        See the Jupyter documentation.
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.kernel import SageKernel
+            sage: SageKernel.__new__(SageKernel)
+            <sage.repl.ipython_kernel.kernel.SageKernel object at 0x...>
+        """
+        super().__init__(**kwds)
+        SageJupyterCustomizations(self.shell)
+
+    @property
+    def banner(self):
+        r"""
+        The Sage Banner.
+
+        The value of this property is displayed in the Jupyter
+        notebook.
+
+        OUTPUT: string
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.kernel import SageKernel
+            sage: sk = SageKernel.__new__(SageKernel)
+            sage: print(sk.banner)
+            ┌... version...
+        """
+        from sage.misc.banner import banner_text
+        return banner_text()
+
+    @property
+    def help_links(self):
+        r"""
+        Help in the Jupyter Notebook.
+
+        OUTPUT: see the Jupyter documentation
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.kernel import SageKernel
+            sage: sk = SageKernel.__new__(SageKernel)
+            sage: sk.help_links
+            [{'text': 'Sage Documentation',
+              'url': '.../html/en/index.html'},
+             ...]
+        """
+        # A Sage doc server starts when Jupyter notebook launches if the Sage
+        # documentation is available locally.  See the corresponding code in
+        # src/bin/sage-notebook.
+
+        from sage.env import SAGE_DOC_SERVER_URL
+        from sage.env import SAGE_DOC_LOCAL_PORT as port
+        from sage.features.sagemath import sagemath_doc_html
+
+        if SAGE_DOC_SERVER_URL:
+            def doc_url(path):
+                return f'{SAGE_DOC_SERVER_URL}/{path}'
+        elif sagemath_doc_html().is_present() and int(port):
+            def doc_url(path):
+                return f'http://127.0.0.1:{port}/{path}'
+        else:
+            def doc_url(path):
+                return f'https://doc.sagemath.org/{path}'
+
+        return [
+            {
+                'text': 'Sage Documentation',
+                'url': doc_url('html/en/index.html'),
+            },
+            {
+                'text': 'A Tour of Sage',
+                'url': doc_url('html/en/a_tour_of_sage/index.html'),
+            },
+            {
+                'text': 'Tutorial',
+                'url': doc_url('html/en/tutorial/index.html'),
+            },
+            {
+                'text': 'Thematic Tutorials',
+                'url': doc_url('html/en/thematic_tutorials/index.html'),
+            },
+            {
+                'text': 'PREP Tutorials',
+                'url': doc_url('html/en/prep/index.html'),
+            },
+            {
+                'text': 'Constructions',
+                'url': doc_url('html/en/constructions/index.html'),
+            },
+            {
+                'text': 'FAQ',
+                'url': doc_url('html/en/faq/index.html'),
+            },
+            {
+                'text': 'Reference Manual',
+                'url': doc_url('html/en/reference/index.html'),
+            },
+            {
+                'text': "Installation Guide",
+                'url': doc_url('html/en/installation/index.html'),
+            },
+            {
+                'text': "Developer Guide",
+                'url': doc_url('html/en/developer/index.html'),
+            },
+            {
+                'text': "Python",
+                'url': "http://docs.python.org/%i.%i" % sys.version_info[:2],
+            },
+            {
+                'text': "IPython",
+                'url': "http://ipython.org/documentation.html",
+            },
+            {
+                'text': 'Singular',
+                'url': 'http://www.singular.uni-kl.de/Manual/latest/index.htm',
+            },
+            {
+                'text': 'GAP',
+                'url': 'http://gap-system.org/Manuals/doc/ref/chap0.html',
+            },
+            {
+                'text': "NumPy",
+                'url': "http://docs.scipy.org/doc/numpy/reference/",
+            },
+            {
+                'text': "SciPy",
+                'url': "http://docs.scipy.org/doc/scipy/reference/",
+            },
+            {
+                'text': "SymPy",
+                'url': 'http://docs.sympy.org/latest/index.html',
+            },
+            {
+                'text': "Matplotlib",
+                'url': "https://matplotlib.org/contents.html",
+            },
+            {
+                'text': "Markdown",
+                'url': "http://help.github.com/articles/github-flavored-markdown",
+            },
+        ]
+
+    def pre_handler_hook(self):
+        """
+        Restore the signal handlers to their default values at Sage
+        startup, saving the old handler at the ``saved_sigint_handler``
+        attribute. This is needed because Jupyter needs to change the
+        ``SIGINT`` handler.
+
+        See :issue:`19135`.
+
+        TESTS::
+
+            sage: from sage.repl.ipython_kernel.kernel import SageKernel
+            sage: k = SageKernel.__new__(SageKernel)
+            sage: k.pre_handler_hook()
+            sage: k.saved_sigint_handler
+            <cyfunction python_check_interrupt at ...>
+        """
+        from cysignals import init_cysignals
+        self.saved_sigint_handler = init_cysignals()

sage/repl/ipython_kernel/widgets.py

@@ -0,0 +1,466 @@
+# sage_setup: distribution = sagemath-repl
+r"""
+Widgets to be used for the Sage Jupyter notebook
+
+These are all based on widgets from ``ipywidgets``, changing or
+combining existing widgets.
+
+TESTS:
+
+We need to setup a proper test environment for widgets::
+
+    sage: from ipywidgets.widgets.tests.utils import setup_test_comm
+    sage: setup_test_comm()
+"""
+
+# ****************************************************************************
+#       Copyright (C) 2017 Jeroen Demeyer <jdemeyer@cage.ugent.be>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  http://www.gnu.org/licenses/
+# ****************************************************************************
+
+
+from ipywidgets.widgets import (IntSlider, IntRangeSlider,
+                                FloatSlider, FloatRangeSlider, Text,
+                                Textarea, ColorPicker, HTMLMath, Label,
+                                HBox, VBox, ValueWidget)
+from traitlets import List, Unicode, link
+
+from sage.misc.sage_eval import sage_eval
+from sage.repl.user_globals import get_globals
+from sage.misc.lazy_import import lazy_import
+lazy_import("sage.plot.colors", "Color")
+
+
+class HTMLText(HTMLMath):
+    """
+    An HTML widget whose ``description`` is always empty.
+
+    This is used to display arbitrary HTML text in interacts without
+    a label. The :func:`text_control` function from SageNB is an alias
+    of :class:`HTMLText`.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import HTMLText
+        sage: w = HTMLText("Hello")
+        sage: w.description
+        ''
+        sage: w.description = "text"
+        sage: w.description
+        ''
+    """
+    @property
+    def description(self):
+        """
+        Always return empty string.
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.widgets import HTMLText
+            sage: w = HTMLText("Hello")
+            sage: w.description
+            ''
+        """
+        return ''
+
+    @description.setter
+    def description(self, value):
+        """
+        Do not set anything.
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.widgets import HTMLText
+            sage: w = HTMLText("Hello")
+            sage: w.description = "text"
+            sage: w.description
+            ''
+        """
+        pass
+
+
+class TransformWidget:
+    """
+    A mixin class for a widget to transform the bare widget value for
+    use in interactive functions.
+
+    INPUT:
+
+    - ``transform`` -- a one-argument function which transforms the
+      value of the widget for use by an interactive function
+
+    - other arguments are passed to the base class
+
+    EXAMPLES::
+
+        sage: from ipywidgets import ToggleButtons
+        sage: from sage.repl.ipython_kernel.widgets import TransformWidget
+        sage: class TransformToggleButtons(TransformWidget, ToggleButtons): pass
+        sage: w = TransformToggleButtons(options=["pi", "e"], transform=lambda x: x + x)
+        sage: w
+        TransformToggleButtons(options=('pi', 'e'), value='pi')
+        sage: w.get_interact_value()
+        'pipi'
+    """
+    def __init__(self, *args, **kwds):
+        """
+        Construct a :class:`TransformWidget`.
+
+        TESTS::
+
+            sage: from sage.repl.ipython_kernel.widgets import TransformWidget
+            sage: w = TransformWidget(transform=dict)
+            sage: w._TransformWidget__transform
+            <... 'dict'>
+        """
+        self.__transform = kwds.pop("transform", None)
+        return super().__init__(*args, **kwds)
+
+    def get_value(self):
+        """
+        Return ``self.value``.
+
+        This is meant to be overridden by sub-classes to change the
+        input of the transform function.
+
+        EXAMPLES::
+
+            sage: from ipywidgets import ColorPicker
+            sage: from sage.repl.ipython_kernel.widgets import TransformWidget
+            sage: class TransformColorPicker(TransformWidget, ColorPicker): pass
+            sage: TransformColorPicker(value='red').get_value()
+            'red'
+        """
+        return self.value
+
+    def get_interact_value(self):
+        """
+        Return the transformed value of this widget, by calling
+        the ``transform`` function.
+
+        EXAMPLES::
+
+            sage: from ipywidgets import Checkbox
+            sage: from sage.repl.ipython_kernel.widgets import TransformWidget
+            sage: class TransformCheckbox(TransformWidget, Checkbox): pass
+            sage: w = TransformCheckbox(value=True, transform=int); w
+            TransformCheckbox(value=True)
+            sage: w.get_interact_value()
+            1
+        """
+        v = self.get_value()
+        f = self.__transform
+        if f is None:
+            return v
+        else:
+            return f(v)
+
+
+class EvalWidget(TransformWidget):
+    """
+    A mixin class for a widget to evaluate (using :func:`sage_eval`) the
+    widget value and possibly transform it like :class:`TransformWidget`.
+
+    EXAMPLES::
+
+        sage: from ipywidgets import ToggleButtons
+        sage: from sage.repl.ipython_kernel.widgets import EvalWidget
+        sage: class EvalToggleButtons(EvalWidget, ToggleButtons): pass
+        sage: w = EvalToggleButtons(options=["pi", "e"], transform=lambda x: x+x)
+        sage: w
+        EvalToggleButtons(options=('pi', 'e'), value='pi')
+        sage: w.get_interact_value()                                                    # needs sage.symbolic
+        2*pi
+    """
+    def get_value(self):
+        """
+        Evaluate the bare widget value using :func:`sage_eval`.
+
+        EXAMPLES::
+
+            sage: from ipywidgets import Dropdown
+            sage: from sage.repl.ipython_kernel.widgets import EvalWidget
+            sage: class EvalDropdown(EvalWidget, Dropdown): pass
+            sage: w = EvalDropdown(options=["the_answer"], transform=RR)
+            sage: w
+            EvalDropdown(options=('the_answer',), value='the_answer')
+            sage: the_answer = 42
+            sage: w.get_value()
+            42
+            sage: w.get_interact_value()
+            42.0000000000000
+        """
+        return sage_eval(self.value, get_globals())
+
+
+class TransformIntSlider(TransformWidget, IntSlider):
+    """
+    An :class:`ipywidgets.IntSlider` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformIntSlider
+        sage: w = TransformIntSlider(min=0, max=100, value=7, transform=lambda x: x^2)
+        sage: w
+        TransformIntSlider(value=7)
+        sage: w.get_interact_value()
+        49
+    """
+    pass
+
+
+class TransformFloatSlider(TransformWidget, FloatSlider):
+    """
+    A :class:`ipywidgets.FloatSlider` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformFloatSlider
+        sage: w = TransformFloatSlider(min=0, max=100, value=7, transform=lambda x: sqrt(x))
+        sage: w
+        TransformFloatSlider(value=7.0)
+        sage: w.get_interact_value()                                                    # needs sage.symbolic
+        2.6457513110645907
+    """
+    pass
+
+
+class TransformIntRangeSlider(TransformWidget, IntRangeSlider):
+    """
+    An :class:`ipywidgets.IntRangeSlider` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformIntRangeSlider
+        sage: w = TransformIntRangeSlider(min=0, max=100, value=(7, 9),
+        ....:                             transform=lambda x: x[1] - x[0])
+        sage: w
+        TransformIntRangeSlider(value=(7, 9))
+        sage: w.get_interact_value()
+        2
+    """
+    pass
+
+
+class TransformFloatRangeSlider(TransformWidget, FloatRangeSlider):
+    """
+    An :class:`ipywidgets.FloatRangeSlider` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformFloatRangeSlider
+        sage: w = TransformFloatRangeSlider(min=0, max=100, value=(7, 9),
+        ....:                               transform=lambda x: x[1] - x[0])
+        sage: w
+        TransformFloatRangeSlider(value=(7.0, 9.0))
+        sage: w.get_interact_value()
+        2.0
+    """
+    pass
+
+
+class TransformText(TransformWidget, Text):
+    """
+    A :class:`ipywidgets.Text` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformText
+        sage: w = TransformText(value='hello', transform=lambda x: x + x)
+        sage: w
+        TransformText(value='hello')
+        sage: w.get_interact_value()
+        'hellohello'
+    """
+    pass
+
+
+class TransformTextarea(TransformWidget, Textarea):
+    """
+    A :class:`ipywidgets.Textarea` widget with an optional
+    transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import TransformTextarea
+        sage: w = TransformTextarea(value='hello', transform=lambda x: x + x)
+        sage: w
+        TransformTextarea(value='hello')
+        sage: w.get_interact_value()
+        'hellohello'
+    """
+    pass
+
+
+class EvalText(EvalWidget, Text):
+    """
+    A :class:`ipywidgets.Text` widget which evaluates (using
+    :func:`sage_eval`) its contents and applies an optional transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import EvalText
+        sage: w = EvalText(value='pi', transform=lambda x: x^2)
+        sage: w
+        EvalText(value='pi')
+        sage: w.get_interact_value()                                                    # needs sage.symbolic
+        pi^2
+    """
+    pass
+
+
+class EvalTextarea(EvalWidget, Textarea):
+    """
+    A :class:`ipywidgets.Textarea` widget which evaluates (using
+    :func:`sage_eval`) its contents and applies an optional transformation.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import EvalTextarea
+        sage: w = EvalTextarea(value='pi', transform=lambda x: x^2)
+        sage: w
+        EvalTextarea(value='pi')
+        sage: w.get_interact_value()                                                    # needs sage.symbolic
+        pi^2
+    """
+    pass
+
+
+class SageColorPicker(ColorPicker):
+    """
+    A color picker widget returning a Sage :class:`Color`.
+
+    EXAMPLES::
+
+        sage: from sage.repl.ipython_kernel.widgets import SageColorPicker
+        sage: SageColorPicker()
+        SageColorPicker(value='black')
+    """
+    def get_interact_value(self):
+        """
+        Return a Sage :class:`Color` corresponding to the value of this
+        widget.
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.widgets import SageColorPicker
+            sage: SageColorPicker().get_interact_value()                                # needs sage.plot
+            RGB color (0.0, 0.0, 0.0)
+        """
+        return Color(self.value)
+
+
+class Grid(TransformWidget, HBox, ValueWidget):
+    """
+    A square grid of widgets whose value is a list of lists of the
+    values of the individual widgets.
+
+    This is usually created using the :func:`input_grid` function.
+
+    EXAMPLES::
+
+        sage: from ipywidgets import Text
+        sage: from sage.repl.ipython_kernel.widgets import Grid
+        sage: w = Grid(2, 2, lambda i,j: Text(value="%s,%s"%(i,j)))
+        sage: w
+        Grid(value=[['0,0', '0,1'], ['1,0', '1,1']],
+             children=(Label(value=''),
+                       VBox(children=(Text(value='0,0'), Text(value='1,0'))),
+                       VBox(children=(Text(value='0,1'), Text(value='1,1')))))
+        sage: w.get_interact_value()
+        [['0,0', '0,1'], ['1,0', '1,1']]
+    """
+    value = List()
+    description = Unicode()
+
+    def __init__(self, nrows, ncols, make_widget, description="", transform=None):
+        """
+        Create a :class:`Grid` widget.
+
+        INPUT:
+
+        - ``nrows``, ``ncols`` -- number of rows and columns in the grid
+
+        - ``make_widget`` -- a function of two arguments ``(i,j)``
+          returning the widget to be placed at position ``(i,j)``
+
+        - ``description`` -- an optional label
+
+        - ``transform`` -- an optional transformation, see :class:`TransformWidget`
+
+        EXAMPLES::
+
+            sage: from sage.repl.ipython_kernel.widgets import Grid, EvalText
+            sage: w = Grid(2, 2, lambda i,j: EvalText(str(j+4*i)),                                  # needs sage.modules
+            ....:         description="2x2 matrix", transform=matrix); w
+            Grid(value=[[0, 1], [4, 5]],
+                        children=(Label(value='2x2 matrix'),
+                                  VBox(children=(EvalText(value='0'), EvalText(value='4'))),
+                                  VBox(children=(EvalText(value='1'), EvalText(value='5')))))
+            sage: w.get_interact_value()                                                            # needs sage.modules
+            [0 1]
+            [4 5]
+
+        TESTS::
+
+            sage: w = Grid(0, 1, lambda i,j: EvalText())
+            Traceback (most recent call last):
+            ...
+            ValueError: Grid requires a positive number of rows and columns
+        """
+        if nrows < 1 or ncols < 1:
+            raise ValueError("Grid requires a positive number of rows and columns")
+        super().__init__(transform=transform)
+
+        label = Label(description)
+        link((label, "value"), (self, "description"))
+
+        self.cols = []
+        for j in range(ncols):
+            col = VBox()
+            widgets = []
+            for i in range(nrows):
+                w = make_widget(i, j)
+                w.observe(self._update, names='value')
+                widgets.append(w)
+            col.children = widgets
+            self.cols.append(col)
+        self.children = [label] + self.cols
+        self._update()
+
+    def _update(self, *args):
+        """
+        Compute the ``value`` of the grid.
+
+        Thanks to traitlets magic, this is automatically called
+        whenever one of the child widgets changes.
+
+        EXAMPLES::
+
+            sage: from ipywidgets import Text
+            sage: from sage.repl.ipython_kernel.widgets import Grid
+            sage: w = Grid(2, 2, lambda i,j: Text(value="%s,%s"%(i,j)))
+            sage: w._update()
+            sage: w.value
+            [['0,0', '0,1'], ['1,0', '1,1']]
+            sage: w.cols[0].children[0].value = "abc"
+            sage: w.value
+            [['abc', '0,1'], ['1,0', '1,1']]
+        """
+        v = [[]]
+        for col in self.cols:
+            for i in range(len(col.children)):
+                if i >= len(v):
+                    v.append([])
+                v[i].append(col.children[i].get_interact_value())
+        self.value = v