passagemath-categories 10.6.32__cp314-cp314t-musllinux_1_2_aarch64.whl

sage/symbolic/symbols.py

@@ -0,0 +1,56 @@
+# sage_setup: distribution = sagemath-categories
+r"""
+Symbol table
+"""
+# ****************************************************************************
+#       Copyright (C) 2009 Mike Hansen
+#
+# 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.
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+symbol_table = {'functions': {}}
+
+
+def register_symbol(obj, conversions, nargs=None):
+    """
+    Add an object to the symbol table, along with how to convert it to
+    other systems such as Maxima, Mathematica, etc.  This table is used
+    to convert *from* other systems back to Sage.
+
+    INPUT:
+
+    - ``obj`` -- a symbolic object or function
+
+    - ``conversions`` -- dictionary of conversions, where the keys
+      are the names of interfaces (e.g., ``'maxima'``), and the values
+      are the string representation of ``obj`` in that system
+
+    - ``nargs`` -- (optional) number of arguments; for most functions,
+      this can be deduced automatically
+
+    EXAMPLES::
+
+        sage: from sage.symbolic.symbols import register_symbol as rs
+        sage: rs(SR(5), {'maxima': 'five'})                                             # needs sage.symbolic
+        sage: SR(maxima_calculus('five'))                                               # needs sage.symbolic
+        5
+    """
+    conversions = dict(conversions)
+    try:
+        conversions['sage'] = obj.name()
+    except AttributeError:
+        pass
+    if nargs is None:
+        try:
+            nargs = obj.number_of_arguments()
+        except AttributeError:
+            nargs = -1  # meaning unknown number of arguments
+    for system, name in conversions.items():
+        system_table = symbol_table.get(system, None)
+        if system_table is None:
+            symbol_table[system] = system_table = {}
+        system_table[(name, nargs)] = obj

sage/tests/all__sagemath_categories.py

@@ -0,0 +1 @@
+# sage_setup: distribution = sagemath-categories

sage/tests/cython.pyx

@@ -0,0 +1,37 @@
+# sage_setup: distribution = sagemath-categories
+"""
+This file collects tests requiring Cython.
+"""
+# ***************************************************************************
+#       Copyright (C) 2012 Jeroen Demeyer <jdemeyer@cage.ugent.be>
+#       Copyright (C) 2012 Simon King <simon.king@uni-jena.de>
+#
+#  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/
+# ***************************************************************************
+
+from sage.misc.fast_methods cimport FastHashable_class
+
+
+cdef class ClassWithLargeHash(FastHashable_class):
+    """
+    This class tests against a bug with :class:`FastHashable_class`
+    (in an earlier version of the patch at :issue:`11900`) that occurred
+    on systems where ``sys.maxsize`` does not fit into a C int.
+
+    TESTS::
+
+        sage: import sage.tests.cython
+        sage: C = sage.tests.cython.ClassWithLargeHash(); C
+        A successfully created object with a very large hash
+        sage: hash(C) == sys.maxsize
+        True
+    """
+    def __init__(self):
+        import sys
+        self._hash = sys.maxsize
+
+    def __repr__(self):
+        return 'A successfully created object with a very large hash'

sage/tests/stl_vector.pyx

@@ -0,0 +1,171 @@
+# sage_setup: distribution = sagemath-categories
+# distutils: language = c++
+"""
+Example of a class wrapping an STL vector
+
+EXAMPLES::
+
+    sage: from sage.tests.stl_vector import stl_int_vector
+    sage: v = stl_int_vector()
+    sage: v
+    A vector of integers
+    vector<int>:
+     data[0] = 123
+     data[1] = 456
+
+AUTHORS:
+
+- Volker Braun (2012-01-18): initial version
+"""
+# ****************************************************************************
+#       Copyright (C) 2012 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/
+# ****************************************************************************
+
+from cysignals.signals cimport sig_on, sig_off
+
+from sage.structure.sage_object cimport SageObject
+from sage.rings.integer cimport Integer
+from sage.libs.gmp.mpz cimport mpz_add_ui
+from libcpp.vector cimport vector
+from libcpp.string cimport string
+from sage.structure.richcmp cimport richcmp_not_equal, rich_to_bool
+from sage.cpython.string cimport char_to_str
+
+
+cdef class stl_int_vector(SageObject):
+    """
+    Example class wrapping an STL vector.
+
+    EXAMPLES::
+
+        sage: from sage.tests.stl_vector import stl_int_vector
+        sage: v = stl_int_vector()
+    """
+
+    cdef vector[int] *data
+    cdef string *name
+
+    def __cinit__(self):
+        """
+        The Cython constructor.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: v = stl_int_vector()   # indirect doctest
+            sage: TestSuite(v)
+            Test suite for A vector of integers
+            vector<int>:
+             data[0] = 123
+             data[1] = 456
+        """
+        self.data = new vector[int]()
+        self.name = new string(<char*>"A vector of integers\n")
+        self.data.push_back(123)
+        self.data.push_back(456)
+
+    def __dealloc__(self):
+        """
+        The Cython destructor.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: v = stl_int_vector()   # indirect doctest
+        """
+        del self.data
+        del self.name
+
+    def __getitem__(self, int i):
+        """
+        Return the ``i``-th element.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: v = stl_int_vector()
+            sage: v[1]
+            456
+        """
+        assert 0 <= i < self.data.size()
+        return self.data.at(i)
+
+    def __repr__(self):
+        """
+        Return a string representation.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: v = stl_int_vector()
+            sage: v
+            A vector of integers
+            vector<int>:
+             data[0] = 123
+             data[1] = 456
+        """
+        s = char_to_str(self.name.c_str())
+        s += 'vector<int>:\n'
+        for i in range(self.data.size()):
+            s += ' data[' + str(i) + '] = ' + str(self.data.at(i)) + '\n'
+        return s.strip()
+
+    cpdef sum(self):
+        """
+        Add the elements.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: v = stl_int_vector()
+            sage: v.sum()
+            579
+        """
+        cdef Integer accumulator = Integer(0)
+        cdef vector[int].iterator i = self.data.begin()
+        sig_on()
+        while i != self.data.end():
+            mpz_add_ui(accumulator.value, accumulator.value, <int>(i[0]))
+            i += 1
+        sig_off()
+        return accumulator
+
+    def __richcmp__(left, stl_int_vector right, int op):
+        """
+        Compare with ``other``.
+
+        EXAMPLES::
+
+            sage: from sage.tests.stl_vector import stl_int_vector
+            sage: u = stl_int_vector()
+            sage: v = stl_int_vector()
+            sage: u == v
+            True
+        """
+        cdef stl_int_vector lhs = left
+        cdef stl_int_vector rhs = right
+
+        lx = lhs.data.size()
+        rx = rhs.data.size()
+        if lx != rx:
+            return richcmp_not_equal(lx, rx, op)
+
+        cdef vector[int].iterator lhs_iter = lhs.data.begin()
+        cdef vector[int].iterator rhs_iter = rhs.data.begin()
+        sig_on()
+        try:
+            while lhs_iter != lhs.data.end():
+                left_i = <int>(lhs_iter[0])
+                right_i = <int>(rhs_iter[0])
+                if left_i != right_i:
+                    return richcmp_not_equal(left_i, right_i, op)
+                lhs_iter += 1
+                rhs_iter += 1
+        finally:
+            sig_off()
+        return rich_to_bool(op, 0)

sage/typeset/all.py

@@ -0,0 +1,6 @@
+# sage_setup: distribution = sagemath-categories
+from sage.misc.lazy_import import lazy_import
+
+lazy_import('sage.typeset.ascii_art', 'ascii_art')
+lazy_import('sage.typeset.unicode_art', 'unicode_art')
+del lazy_import

sage/typeset/ascii_art.py

@@ -0,0 +1,295 @@
+# sage_setup: distribution = sagemath-categories
+r"""
+ASCII Art
+
+This file contains:
+
+- :class:`AsciiArt` a simple implementation of an ASCII art object,
+- :func:`ascii_art` a function to get the ASCII art representation of any
+  object in Sage,
+
+
+AUTHOR:
+
+- Jean-Baptiste Priez (2013-04): initial version
+
+EXAMPLES::
+
+    sage: # needs sage.symbolic
+    sage: n = var('n')
+    sage: integrate(n^2/x, x)
+    n^2*log(x)
+    sage: ascii_art(integrate(n^2/x, x))
+     2
+    n *log(x)
+    sage: ascii_art(integrate(n^2/(pi*x), x))
+     2
+    n *log(x)
+    ---------
+        pi
+
+    sage: ascii_art(list(Partitions(6)))                                                # needs sage.combinat sage.libs.flint
+    [                                                       * ]
+    [                                                   **  * ]
+    [                                      ***      **  *   * ]
+    [                      ****       ***  *    **  **  *   * ]
+    [         *****  ****  *     ***  **   *    **  *   *   * ]
+    [ ******, *    , **  , *   , ***, *  , *  , **, * , * , * ]
+
+This method :meth:`ascii_art` could be automatically use by the display hook
+manager activated by the magic function: ``%display ascii_art``::
+
+    sage: from sage.repl.interpreter import get_test_shell
+    sage: shell = get_test_shell()
+    sage: shell.run_cell('%display ascii_art')
+    sage: shell.run_cell("i = var('i')")                                                # needs sage.symbolic
+    sage: shell.run_cell('sum(factorial(i)*x^i, i, 0, 10)')                             # needs sage.symbolic
+             10           9          8         7        6        5       4      3...
+    3628800*x   + 362880*x  + 40320*x  + 5040*x  + 720*x  + 120*x  + 24*x  + 6*x...
+    <BLANKLINE>
+    ...2
+    ...+ 2*x  + x + 1
+
+    sage: shell.run_cell('3/(7*x)')                                                     # needs sage.symbolic
+     3
+    ---
+    7*x
+    sage: shell.run_cell('list(Compositions(5))')                                       # needs sage.combinat
+    [ *
+    [ *  **   *        *                   *
+    [ *  *   **  ***   *   **    *         *   **    *          *
+    [ *  *   *   *    **  **   ***  ****   *   *    **   ***    *    **     *
+    [ *, * , * , *  , * , *  , *  , *   , **, ** , ** , **  , ***, *** , ****,
+    <BLANKLINE>
+          ]
+          ]
+          ]
+          ]
+    ***** ]
+    sage: shell.run_cell('%display simple')
+    sage: shell.quit()
+
+::
+
+                                .      ,    ,              ...
+                                .?  .~?$NNO.II7.        ..GOGG
+                                 ., ~7NNI7NDG$       ...~~~MGG
+                  ..:IG..       ...G7:DDGNNDO..   ...7:~~~~GNN
+                  .~~GGGGG...   .O .=$+OD7GI$ ...GG:~+~~~~MG?M.7?
+                  .~~~D~~GGGGDGOM$..~+IN=NDG.G::D~~~?~~~7?NDI:???G
+                  .~~~~G:~~G~D:~NONGMMOGD$ND~~::I77~~$?++MN7G GI?D.
+                   7+I~~DG~~~N:GNGGOD$7OIOOMII::~:I7?G+OGN7G $III?.
+                    .7==I~~~++IN?+++?$7ND$==$G:G??????N$OG$  ~III?7
+                     .$$+++?GG=+G?GDM?GOG:NGMGN7??????D$D~GODIII???.
+                       D++++NG+DD$+=GGONGI$DNGDN??????,IN=DOGODN???.
+                     , +~+++N??D$I+I=GNMDGDGNIINN??D+:::O~$GGGDIG?7
+                    :DD.:::OG?G=I~~G7GNM7777NIGODDNNG:::I$GGGGG7??O.
+                   ~GDDM:::GGMG+?+~$NNN$7IG7NMNMMMN, =::I7GGGGGO???~
+                  :GDND7?::OOM.D+O~GGDI77777DMGNM$.  ~:,$IGGGGGO???DO.
+                 OGDDNN.D77OO. $?7==GG777$7GNGMGO.     NOIGGGGGO???G$.
+               .OODNNN,DIGDM$GGGGG==GGGGIGNDMDMG,      IGIGGGDON???GG:
+              .GODNDM.G$I$IOIOMG$G$?GGGIO,7OD7GG.     ,GDIGGG??????GGG.
+             .DGDNI7I7MDI+OOODN$$O,$7DMIN,,IOO77O.   G?$DIGGG?ID???OGG
+             GGDNNMMO7GD+OOOGIMOG7::NN====:?MMNGIDD,..IINIGGG?I??DIOGG?
+           .7ODMMMN.G7IOGOOODIMG,,:::$=~==::7OGG~IGOMDGMNIGGG????.OG$G.
+           ?ODDMNNNO,II$OGODMGDMM?:DMG==~MDINNM$.7$IONDGI?GGG????:$GGG.
+        .$MDMNNNNN..:?7GDDDGG,GGM?~:GGGDNND.GIM7D+GI$ON.:?GGG????$$OGG.
+      .7DNDDDNMDOGG.=IGGND=7II+N??::$GIIO,IIGMG?7I7G$ON?,IGGG????7GIGG.
+      ~GGGDNMMOOGGG$MGMMGDGMDGM?,G:GNG,:IIIGDG7IGGGGG$+NMIGGO?????IGGG.
+     .GGGDDMM7OGNGMODMNDDDOO.MII?GI$7IIIIING7GGDMM.IGDG.G7GGGG??$?7GGG
+    .IGDDDDOINNGMGMDMNDDGDO...$OI+??7OIIIDDGN+$==I=GD ?,NGGGGN7????GGG
+     7GGNDM$GONDGDD$MMGNDN. G.:$$G$?$7II$GOO,O=+7O7O~N?OM?GGGGGD+??$GG
+     OOGDOI7DGMG..=~DG$DD.  $,,$$$D??7ODOOOODG$777$G OGMM:GGGGGG??GGG.
+    .$GDDG?7DMOGDNNMGGDGG ..,=O7$GG$+O$$OG=+O:GI77G$. ...DIGGGGI?$GGG.
+    .OGGGGO7OGDGGNGGGDGG.  O:,77$O$$$D     $GN:7777GD   ..$GGGG??GGG$.
+    .GGGGDI GD.~NOGDGGG    MG,777G77D7      +$~D77777=   ..7GGG???GGO.
+      GGD.   .~NODN...   ..D::77O$7G77      .OG:G???G7.    7$NOM??GG=.
+        .     . .      .+~~DD~77$G7OD7      .?GGO?$OM$D     ?????DGG...
+                       7I77DN$II7$M.G$G      . .:G?==$G     .?????D??~
+                     . .:IIIGO7O$GN..O$         7I=~+?I.    =???7? GGIG
+                      $,III7NGGNNNG, .O.         O====7I.  .DG??$?. GG?G
+                      .$7III$77777$$~  .          +====D$GG ~$???:  .$GIG.
+                     :.+IIII$77$G$$O,+            OI==+7I$7=.:???     .GG$.
+                     ,,III$I7?I7$$OG7D            ?+,==+77G?$,???.      GG?
+                     ?IIIII=+$I77777             .:++=+++O77:,??:         GG.
+                     .IIIIG+III77777.             7,=,++?II7$,?G          .GO .
+                      $OII7?OIIIIIO              .I:++??IIIII???.           I$ .
+                      .DNGDMOIG777.                +~++?I$IIMN?,             .G,
+                       .G.I?IIDGII~                .OG??$$MIMGI.               G,
+                        N+?II7OGI7.                  DD?$GGDGID.                 :
+                         =?IIOOI$.                    ?~~GGG$II                  .+.
+                        ,7=IINGI                       ?=IGGGI?.
+                        G,+IGOII                        ?+II7??+
+                       .,:?IGOII                         ?+GIOII
+                     .:N+=?IMGI7=.                       .~:$I?IO.
+                   .$:IGO?$IIIII7+.                       O::I7I?.
+                  .:::=IIGIIIIIII.                        .~,$IG?IO
+                 .+:$IIIIMIII7G$?.                         I::I7IIG7
+                 .$I$+7IIIMMMG7I7                          ?G,DGGNII.
+                 .$~:$IIGMNGND77I:                          +I$GOD=?=
+                ?=?IIIIGIIIINI7777?                        .7~=~===?.
+              ONGNDG??IG?III$N7I777                          D~====I
+            .:$??7IIIIIII.....,....                          O::==~$D.
+            .,........ ..                                  ..M:I.==$7G.
+                                                            I?::IIIII7.
+                                                           .~:G:IIIIIG.
+                                                           .$:,O7III$$O
+                                                             ::~DOGGNNO
+                                                             .::,IOODI,
+                                                               .7????$.
+                                                                 ... .
+"""
+# ******************************************************************************
+#       Copyright (C) 2013 Jean-Baptiste Priez <jbp@kerios.fr>,
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#
+#    This code is distributed in the hope that it will be useful,
+#    but WITHOUT ANY WARRANTY; without even the implied warranty of
+#    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#    General Public License for more details.
+#
+#  The full text of the GPL is available at:
+#
+#                  https://www.gnu.org/licenses/
+# ******************************************************************************
+
+from sage.typeset.character_art import CharacterArt
+from sage.typeset.character_art_factory import CharacterArtFactory
+import sage.typeset.symbols as symbol
+
+
+class AsciiArt(CharacterArt):
+    r"""
+    An Ascii art object is an object with some specific representation for
+    *printing*.
+
+    INPUT:
+
+    - ``lines`` -- the list of lines of the representation of the ascii art
+      object
+
+    - ``breakpoints`` -- the list of points where the representation can be
+      split
+
+    - ``baseline`` -- the reference line (from the bottom)
+
+    EXAMPLES::
+
+        sage: i = var('i')                                                              # needs sage.symbolic
+        sage: ascii_art(sum(pi^i/factorial(i)*x^i, i, 0, oo))                           # needs sage.symbolic
+         pi*x
+        e
+    """
+    _string_type = str
+
+
+_ascii_art_factory = CharacterArtFactory(
+    AsciiArt, str, '_ascii_art_',
+    (symbol.ascii_left_parenthesis, symbol.ascii_right_parenthesis),
+    (symbol.ascii_left_square_bracket, symbol.ascii_right_square_bracket),
+    (symbol.ascii_left_curly_brace, symbol.ascii_right_curly_brace),
+)
+
+
+empty_ascii_art = _ascii_art_factory.build_empty()
+
+
+def ascii_art(*obj, **kwds):
+    r"""
+    Return an ASCII art representation.
+
+    INPUT:
+
+    - ``*obj`` -- any number of positional arguments, of arbitrary
+      type. The objects whose ascii art representation we want.
+
+    - ``sep`` -- (optional) ``'sep=...'`` keyword argument (or ``'separator'``).
+      Anything that can be converted to ascii art (default: empty ascii
+      art). The separator in-between a list of objects. Only used if
+      more than one object given.
+
+    - ``baseline`` -- (default: 0) the baseline for the object
+
+    - ``sep_baseline`` -- (default: 0) the baseline for the separator
+
+    OUTPUT: :class:`AsciiArt` instance
+
+    EXAMPLES::
+
+        sage: result = ascii_art(integral(exp(x+x^2)/(x+1), x))                         # needs sage.symbolic
+        ...
+        sage: result                                                                    # needs sage.symbolic
+            /
+           |
+           |   2
+           |  x  + x
+           | e
+           | ------- dx
+           |  x + 1
+           |
+          /
+
+    We can specify a separator object::
+
+        sage: ident = lambda n: identity_matrix(ZZ, n)
+        sage: ascii_art(ident(1), ident(2), ident(3), sep=' : ')                        # needs sage.modules
+                      [1 0 0]
+              [1 0]   [0 1 0]
+        [1] : [0 1] : [0 0 1]
+
+    We can specify the baseline::
+
+        sage: ascii_art(ident(2), baseline=-1) + ascii_art(ident(3))                    # needs sage.modules
+        [1 0][1 0 0]
+        [0 1][0 1 0]
+             [0 0 1]
+
+    We can determine the baseline of the separator::
+
+        sage: ascii_art(ident(1), ident(2), ident(3), sep=' -- ', sep_baseline=-1)      # needs sage.modules
+                        [1 0 0]
+            -- [1 0] -- [0 1 0]
+        [1]    [0 1]    [0 0 1]
+
+    If specified, the ``sep_baseline`` overrides the baseline of
+    an ascii art separator::
+
+        sage: sep_line = ascii_art('\n'.join(' | ' for _ in range(6)), baseline=6)
+        sage: ascii_art(*Partitions(6), separator=sep_line, sep_baseline=0)             # needs sage.combinat sage.libs.flint
+               |       |      |      |     |     |     |    |    |    | *
+               |       |      |      |     |     |     |    |    | ** | *
+               |       |      |      |     |     | *** |    | ** | *  | *
+               |       |      | **** |     | *** | *   | ** | ** | *  | *
+               | ***** | **** | *    | *** | **  | *   | ** | *  | *  | *
+        ****** | *     | **   | *    | *** | *   | *   | ** | *  | *  | *
+
+    TESTS::
+
+        sage: n = var('n')                                                              # needs sage.symbolic
+        sage: ascii_art(sum(binomial(2 * n, n + 1) * x^n, n, 0, oo))                    # needs sage.symbolic
+         /        _________    \
+        -\2*x + \/ 1 - 4*x  - 1/
+        -------------------------
+                   _________
+             2*x*\/ 1 - 4*x
+        sage: ascii_art(list(DyckWords(3)))                                             # needs sage.combinat
+        [                                   /\   ]
+        [            /\    /\      /\/\    /  \  ]
+        [ /\/\/\, /\/  \, /  \/\, /    \, /    \ ]
+        sage: ascii_art(1)
+        1
+    """
+    separator, baseline, sep_baseline = _ascii_art_factory.parse_keywords(kwds)
+    if kwds:
+        raise ValueError('unknown keyword arguments: {0}'.format(list(kwds)))
+    if len(obj) == 1:
+        return _ascii_art_factory.build(obj[0], baseline=baseline)
+    if not isinstance(separator, AsciiArt):
+        separator = _ascii_art_factory.build(separator, baseline=sep_baseline)
+    elif sep_baseline is not None:
+        from copy import copy
+        separator = copy(separator)
+        separator._baseline = sep_baseline
+    return _ascii_art_factory.concatenate(obj, separator, empty_ascii_art,
+                                          baseline=baseline)