https://github.com/sagemath/sage/pull/40102
On Tuesday, 13 May 2025 at 22:33:05 UTC+2 [email protected] wrote: > 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/e7c92f5b-e9c1-4a93-9708-a4966e65319cn%40googlegroups.com.
