Oh, I see it now. It is this addition:
# Ensuring a is a symbolic expression
if not isinstance(a, Expression):
a = SR(a)
The problem is that infinities are not elements of "Expression Integer" in
FriCAS. I would say that this is really a bug in the SageMath - FriCAS
interface. More precisely,
sage: SR(oo)._fricas_()
should work.
Martin
On Tuesday, 13 May 2025 at 22:21:54 UTC+2 [email protected] wrote:
> could you check whether this worked in 10.7.beta0?
>
> There was a change to calculus.py,
> https://github.com/sagemath/sage/pull/39812, but I do not see how this
> could cause the problem. It might also be a change in FriCAS.
>
> Martin
>
> On Tuesday, 13 May 2025 at 17:52:55 UTC+2 [email protected] wrote:
>
>> On Debian testing running on Ryzen 9 + 64 GB RAM, upgrading 10.7.beta0 to
>> 10.7.beta4 and running ptestlong gives three permanen(t failures already
>> reported :
>> sage -t --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/libs/gap/element.pyx # Killed due to segmentation fault sage -t
>> --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/coding/linear_code.py # 4 doctests failed sage -t --long
>> --warn-long 30.0 --random-seed=115690044797514869384261998212648840857
>> src/sage/rings/real_mpfr.pyx # 1 doctest failed
>>
>> and a new one :
>> sage -t --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/calculus/calculus.py # 1 doctest failed
>>
>> Re-running it :
>> charpent@brique:/usr/local/sage-10$ sage -t --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/calculus/calculus.py # 1 doctest failed Running doctests with ID
>> 2025-05-13-17-27-23-7a9621a9. Git branch: develop Git ref:
>> 10.6.beta7-1649-g94baf41dcd6-dirty Running with
>> SAGE_LOCAL='/usr/local/sage-10/local' and
>> SAGE_VENV='/usr/local/sage-10/local/var/lib/sage/venv-python3.13' Using
>> --optional=debian,dot2tex,fricas,gap_packages,giac,libsemigroups,pip,pysingular,sage,sage_spkg,singular_jupyter
>>
>> Features to be detected:
>> 4ti2,SAGE_SRC,benzene,bliss,buckygen,conway_polynomials,coxeter3,csdp,cvxopt,cvxopt,database_cremona_ellcurve,database_cremona_mini_ellcurve,database_cubic_hecke,database_ellcurves,database_graphs,database_jones_numfield,database_knotinfo,dot2tex,dvipng,ecm,fpylll,fricas,gap_package_atlasrep,gap_package_design,gap_package_grape,gap_package_guava,gap_package_hap,gap_package_polenta,gap_package_polycyclic,gap_package_qpa,gap_package_quagroup,gfan,giac,glucose,graphviz,imagemagick,info,ipython,jmol,jupymake,jupyter_sphinx,kenzo,kissat,latte_int,lrcalc_python,lrslib,mathics,matroid_database,mcqd,meataxe,meson_editable,mpmath,msolve,nauty,networkx,numpy,palp,pandoc,pdf2svg,pdftocairo,pexpect,phitigra,pillow,plantri,polytopes_db,polytopes_db_4d,pplpy,primecountpy,ptyprocess,pycosat,pycryptosat,pynormaliz,pyparsing,python_igraph,requests,rpy2,rubiks,sage.combinat,sage.geometry.polyhedron,sage.graphs,sage.groups,sage.libs.braiding,sage.libs.ecl,sage.libs.flint,sage.libs.gap,sage.libs.giac,sage.libs.homfly,sage.libs.linbox,sage.libs.m4ri,sage.libs.ntl,sage.libs.pari,sage.libs.singular,sage.misc.cython,sage.modular,sage.modules,sage.numerical.mip,sage.plot,sage.rings.complex_double,sage.rings.finite_rings,sage.rings.function_field,sage.rings.number_field,sage.rings.padics,sage.rings.polynomial.pbori,sage.rings.real_double,sage.rings.real_mpfr,sage.sat,sage.schemes,sage.symbolic,sage_numerical_backends_coin,sagemath_doc_html,scipy,singular,sirocco,sloane_database,sphinx,symengine_py,sympy,tdlib,threejs,topcom
>>
>> Doctesting 1 file. sage -t --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/calculus/calculus.py
>> ********************************************************************** File
>> "src/sage/calculus/calculus.py", line 1395, in sage.calculus.calculus.limit
>> Failed example: (x / (x+2^x+cos(x))).limit(x=-infinity, algorithm='fricas')
>> # optional - fricas Exception raised: Traceback (most recent call last):
>> File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/expect.py",
>>
>> line 1518, in __init__ self._name = parent._create(value, name=name)
>> ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^ File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/interface.py",
>>
>> line 520, in _create self.set(name, value) ~~~~~~~~^^^^^^^^^^^^^ File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/fricas.py",
>>
>> line 681, in set self._check_errors(value, output)
>> ~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^ File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/fricas.py",
>>
>> line 574, in _check_errors raise RuntimeError("An error occurred when
>> FriCAS evaluated '%s':\n%s" % (line, output)) RuntimeError: An error
>> occurred when FriCAS evaluated '((%minusInfinity)::EXPR INT)': Cannot
>> convert the value from type OrderedCompletion(Integer) to
>> Expression(Integer) . During handling of the above exception, another
>> exception occurred: Traceback (most recent call last): File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/doctest/forker.py",
>>
>> line 730, in _run self.compile_and_execute(example, compiler, test.globs)
>> ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/doctest/forker.py",
>>
>> line 1154, in compile_and_execute exec(compiled, globs)
>> ~~~~^^^^^^^^^^^^^^^^^ File "<doctest sage.calculus.calculus.limit[56]>",
>> line 1, in <module> (x / (x+Integer(2)**x+cos(x))).limit(x=-infinity,
>> algorithm='fricas') # optional - fricas
>> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ File
>> "sage/symbolic/expression.pyx", line 13301, in
>> sage.symbolic.expression.Expression.limit
>> (build/cythonized/sage/symbolic/expression.cpp:120492) return limit(self,
>> *args, **kwds) File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/calculus/calculus.py",
>>
>> line 1614, in limit eq = fricas.equation(v._fricas_(), a._fricas_())
>> ~~~~~~~~~~^^ File "sage/structure/sage_object.pyx", line 793, in
>> sage.structure.sage_object.SageObject._fricas_
>> (build/cythonized/sage/structure/sage_object.c:10438) return
>> self._interface_(G) File "sage/symbolic/expression.pyx", line 1194, in
>> sage.symbolic.expression.Expression._interface_
>> (build/cythonized/sage/symbolic/expression.cpp:46826) return
>> super()._interface_(I) File "sage/structure/sage_object.pyx", line 723, in
>> sage.structure.sage_object.SageObject._interface_
>> (build/cythonized/sage/structure/sage_object.c:8223) X = I(s) File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/interface.py",
>>
>> line 299, in __call__ return cls(self, x, name=name) File
>> "/usr/local/sage-10/local/var/lib/sage/venv-python3.13/lib/python3.13/site-packages/sage/interfaces/expect.py",
>>
>> line 1523, in __init__ raise TypeError(*x.args) TypeError: An error
>> occurred when FriCAS evaluated '((%minusInfinity)::EXPR INT)': Cannot
>> convert the value from type OrderedCompletion(Integer) to
>> Expression(Integer) .
>> ********************************************************************** 1
>> item had failures: 1 of 103 in sage.calculus.calculus.limit [501 tests, 1
>> failure, 5.15s wall]
>> ---------------------------------------------------------------------- sage
>> -t --long --warn-long 30.0
>> --random-seed=115690044797514869384261998212648840857
>> src/sage/calculus/calculus.py # 1 doctest failed
>> ----------------------------------------------------------------------
>> Total time for all tests: 10.2 seconds cpu time: 6.3 seconds cumulative
>> wall time: 5.2 seconds Features detected for doctesting: sage.plot
>>
>> HTH,
>>
>> Le dimanche 11 mai 2025 à 22:04:56 UTC+2, Volker Braun a écrit :
>>
>>> As always, you can get the latest beta version from the "develop" git
>>> branch. Alternatively, the self-contained source tarball is at
>>> http://www.sagemath.org/download-latest.html
>>>
>>>
>>> 94baf41dcd6 (tag: 10.7.beta3, github/develop, github/HEAD) Updated
>>> SageMath version to 10.7.beta3
>>> 19e94c2106f gh-40065: patching gfan
>>> 6c97889ee9d gh-40063: avoid using bytes_to_str in combinat
>>> 8c35ad825bb gh-40061: avoid using bytes_to_str in gperftools
>>> 1a26a8cd1c3 gh-40060: use pathlib and decode in Kohel database
>>> 97993c4d281 gh-40059: add extra time tolerance to a doctest in
>>> `src/sage/doctest/util.py`
>>> 01b90717a78 gh-40049: Replace dead HTTP links in docs
>>> 7f9b102ff55 gh-40048: Fix primes_of_bounded_norm for noninteger entries
>>> bbf4ff78b04 gh-40046: Precision issue in the normalization of a Tate
>>> series
>>> 4e1881bb44e gh-40044: Remove Pipfiles
>>> 01c3b56a5f9 gh-40043: Clean mut type
>>> 44c37fdec05 gh-40038: Meson: build on recent Fedora
>>> d42a0a95ded gh-40036: Fix Generalized Petersen graph name and update
>>> others to f-string syntax
>>> c46e0a2ea15 gh-40033: Singular 4.4.1 + Flint 3.3.2
>>> 1339b2f4c85 gh-40032: various small fixes, some after ruff
>>> d49fe120903 gh-40031: fix E228 in pyx in matrix
>>> c5c7d0b4646 gh-40027: fix pep E228 in all cython files in rings
>>> 15a83e15e37 gh-40026: just a few pep8 details
>>> 65116a56245 gh-40025: Follow the PR #39990, revert
>>> "src/doc/zh/**/conf.py: Fix handling of tags"
>>> aa550b17fd8 gh-40024: implement naive default inverse methods for finite
>>> monoids
>>> 1f08fbd9605 gh-40022: clean error messages in algebras
>>> c9696b1c86c gh-40014: set correct default algorithm for the diameter of
>>> (un)weighted graphs
>>> d3f7beb6f6c gh-40010: using doi when possible
>>> 5ec4fd5950f gh-40009: change some links to https
>>> aca08c051be gh-40007: Fixed issue in CRT_vectors where moduli are not
>>> allowed to be coprime.
>>> b0ff52c0f78 gh-40006: some typos
>>> 50bb6e66b7c gh-40002: fix some typos in various places
>>> 31fd52a6493 gh-40001: Remove giac as dependency, and add sagemath_giac
>>> as optional dependency
>>> 75811ada1d2 gh-39999: handle permutations in S_n with n > 2^16
>>> d8d41569fc3 gh-39997: Run python3 directly instead of `sage -python` in
>>> sage/tests/startup.py
>>> 671ebbaed44 gh-39996: Always use python to run the pexpect interface
>>> 97844f4bde1 gh-39990: Remove ability to conditionalize parts of the
>>> documentation
>>> 1e5ca09da01 gh-39988: Adding an implementation of the Abreu-Nigro
>>> symmetric functions
>>> ee466f0b088 gh-39986: fix: log as method gives symbolic output for non
>>> positive base
>>> 725c4ed37a5 gh-39985: linbox patches for gcc-15 and Apple clang-17
>>> 4719fe004f9 gh-39978: Added a bandwidth feature
>>> fa4855ffe3a gh-39977: allow gcc-15 from the system
>>> e11866d48a6 gh-39948: fix enumeration of implicitly finite sets of
>>> partitions
>>> 4676554b040 gh-39943: remove patch spkg
>>> d5eef25bb4f gh-39929: Add and update some conda.txt files
>>> c4160560117 gh-39924: add parameter immutable to methods in
>>> `src/sage/graphs/graph_list.py`
>>> 10f04739395 gh-39923: add parameter immutable to GraphQuery
>>> `src/sage/graphs/graph_database.py`
>>> 86a0d446b19 gh-39837: Richcmp for pseudomorphisms
>>> 4dfd788a8ba gh-39812: Adds limit(expr, v, a) syntax
>>> 3ebe0a6c548 gh-39805: Changed calculate_voronoi_cell to use the
>>> orthogonal complement as it's artificial points.
>>> ada990b41ee gh-39633: added as_tuples as an optional argument to
>>> Combinations to facilitate hashing in Combination objects
>>> c05f305a452 gh-39520: move is_field from Ring to Rings
>>> 345329e8a6d gh-39478: use decomposition into biconnected components in
>>> Gomory-Hu tree
>>> e9d837adfbd gh-39355: p-typical Witt vectors
>>> d16eb00fad1 gh-38848: Adding a tikz method to FinitePoset class
>>> b39765903dc gh-38493: compute endomorphism orders for elliptic curves
>>> over finite fields (rank-2 case)
>>> 7888c42db95 (tag: 10.7.beta2) Updated SageMath version to 10.7.beta2
>>>
>>
--
You received this message because you are subscribed to the Google Groups
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/sage-release/f2143dc0-b852-4013-834a-5af6406a52den%40googlegroups.com.
