Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Sat, Apr 20, 2024 at 7:45 PM Dima Pasechnik wrote: > > > On Sat, Apr 20, 2024 at 7:31 PM 'Nasser M. Abbasi' via FriCAS - computer > algebra system wrote: > >> Hello Matrin, >> >> Sure, will try your version on a large integration test file and see if >> it is faster than the what I had with

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

Thank you so much for trying! I admit that I'm slightly disappointed by this improvement, because it really was a very silly mistake. Anyway, for things like integrate((1-x)^1300*x, x, algorithm="fricas") with large output, on my computer, it takes * 3.5 seconds to transfer the string produced

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

"Do you know how to apply patches? If so, you just need to apply the patch corresponding to the PR Martin mentioned. It's here: https://patch-diff.githubusercontent.com/raw/sagemath/sage/pull/37836.diff; I did the following -- pwd

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Sat, Apr 20, 2024 at 7:31 PM 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > Hello Matrin, > > Sure, will try your version on a large integration test file and see if it > is faster than the what I had with 10.3 sage. > > The problem is that I know nothing about github. I

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

Hello Matrin, Sure, will try your version on a large integration test file and see if it is faster than the what I had with 10.3 sage. The problem is that I know nothing about github. I just know how to login to github and enter bug reports on the CAS systems I use at the issues page. That

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

Hi Nasser, could you try the branch at https://github.com/sagemath/sage/pull/37836? It should give significant performance gains for your testsuite. Best wishes, Martin On Friday 19 April 2024 at 11:49:49 UTC+2 Dima Pasechnik wrote: > On Fri, Apr 19, 2024 at 01:26:27AM -0700, 'Martin R' via

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Fri, Apr 19, 2024 at 01:26:27AM -0700, 'Martin R' via FriCAS - computer algebra system wrote: > I don't know how to do it. Note that this should really work with any lisp > implementation to make sense, because some people (eg., me) will have > fricas installed with sbcl (because this is

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

I don't know how to do it. Note that this should really work with any lisp implementation to make sense, because some people (eg., me) will have fricas installed with sbcl (because this is fastest), and the interface shouldn't insist on an ECL installation. Do you know how to do it? Martin

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Thu, Apr 18, 2024 at 01:51:34PM -0700, 'Martin R' via FriCAS - computer algebra system wrote: > OK, I think I have to give up. The InputForm consists of 23 964 324 > atoms. I guess that there is no sensible way to transmit this, right? Some more data. Using ECL on fast machine with plenty

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Thu, Apr 18, 2024 at 01:51:34PM -0700, 'Martin R' via FriCAS - computer algebra system wrote: > OK, I think I have to give up. The InputForm consists of 23 964 324 > atoms. I guess that there is no sensible way to transmit this, right? Well, compress it. FriCAS internal representation is

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On 18 April 2024 21:51:34 BST, 'Martin R' via FriCAS - computer algebra system wrote: >OK, I think I have to give up. The InputForm consists of 23 964 324 >atoms. I guess that there is no sensible way to transmit this, right? In-memory - just how Maxima library interface is operating. No

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

OK, I think I have to give up. The InputForm consists of 23 964 324 atoms. I guess that there is no sensible way to transmit this, right? Martin On Thursday 18 April 2024 at 21:50:57 UTC+2 Martin R wrote: > I have now FriCAS with ECL, but I now realize that I am doing very silly > things in

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

I have now FriCAS with ECL, but I now realize that I am doing very silly things in the interface between FriCAS to sage: * I do an unnecessary unparse of the InputForm (this runs forever on ECL, and crashes sbcl) * I throw the result away * I convert the InputForm into a string using a

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

These are useful lisp commands, I did not know about them. This is what I get for my Fricas installation FriCAS Computer Algebra System Version: FriCAS 1.3.10 built with sbcl 2.3.11 Timestamp: Wed Jan 10 09:37:52 PM CST 2024 (1) -> )lisp

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

Hi Waldek! Thanks for the rapid answer! I have: )lisp (lisp-implementation-version) 2.1.11.debian )lisp (sb-ext:dynamic-space-size) 1073741824 )version FriCAS 2022-07-16 compiled at Fr 12 Aug 2022 15:17:27 CEST I'm currently compiling the ECL version. Unfortunately, because of the MacOS

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Thu, Apr 18, 2024 at 08:45:53AM -0700, 'Martin R' via FriCAS - computer algebra system wrote: > I started to look into one of the problems > (https://github.com/sagemath/sage/issues/37813): > > res := integrate((x^2+1)^(1/2)/(x^2+(x+(x^2+1)^(1/2))^(1/2)), x); > > works nicely, but

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

I started to look into one of the problems (https://github.com/sagemath/sage/issues/37813): res := integrate((x^2+1)^(1/2)/(x^2+(x+(x^2+1)^(1/2))^(1/2)), x); works nicely, but converting to InputForm (which I use to do the translation to sage) fails. Is there a good reason for that - i.e., is

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

FYI; I entered few issues at sagemath related to these exception. Here is summary and links to sagemath tracking sqlite3 cas_integration_tests.db SQLite version 3.45.0 2024-01-15 17:01:13 sqlite> select count(*) from main where fricas_anti LIKE '%maximum recursion depth exceeded%'; 3

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

" riCAS does not allows floating point numbers in integrands. This causes errors like: Exception raised: TypeError >> An error occurred when FriCAS evaluated (x)*(exp((x)*(((-0.10001)::EXPR INT: Cannot convert the value from type Float to Expression(Integer) ." I found there is

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

On Tue, Apr 16, 2024 at 03:17:18AM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI, > > This page > > > > > Has now updated list of all exceptions generated by FriCAS