"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
/home/me/TMP/sage-10.3/src/sage/interfaces
wget
https://patch-diff.githubusercontent.com/raw/sagemath/sage/pull/37836.diff
patch fricas.py 37836.diff
patching file fricas.py
Hunk #1 succeeded at 802 (offset -1 lines).
Hunk #2 succeeded at 1715 (offset -1 lines).
Hunk #3 succeeded at 1993 (offset -1 lines).
Hunk #4 succeeded at 2018 (offset -1 lines).
Hunk #5 succeeded at 2049 (offset -1 lines).
Hunk #6 succeeded at 2066 (offset -1 lines).
---------------------------------------
Re-run 2 test files., One had 700 integrals and one had 3,000 integrals.
The one with 3,000 integrals had improved mean time from 0.09 seconds per
integral
to 0.07 seconds per integral. The one with 700 integrals improved the time
from 0.23 seconds to
0.21 seconds.
Will wait for official sage 10.4 to be out and may be next version of
Fricas and Maxima
to do a full rebuild as it takes me 2-3 months to redo everything. But it
seems the patch
did speed things from this limited test.
--Nasser
On Saturday, April 20, 2024 at 1:45:52 PM UTC-5 Dima Pasechnik wrote:
> On Sat, Apr 20, 2024 at 7:31 PM 'Nasser M. Abbasi' via FriCAS - computer
> algebra system <fricas...@googlegroups.com> 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 just know how to
>> login to github and enter bug reports on the CAS systems I use at the
>> issues page. That is all.
>>
>> When I build sagemath, I download the sagemath latest zip file from
>> https://mirrors.mit.edu/sage/devel/index.html
>>
>> I have no idea how to do what you said "try the branch at" . I do not
>> know what this means.
>>
>> I see on the link you gave no zip file for sagemath to download.
>>
>> If you could give me a link to sagemath zip file with your fixes in it,
>> will be happy to download it, build it like I did for 10.3 and try it.
>>
>
> 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
>
>
>
>
>>
>> One day I want to take course at school how to use github if I can find
>> one.
>>
>
> It doesn't have much to do with GitHub, it's git that you need to know a
> bit about.
> GitHub is just a hosting platform for git repositories.
>
> HTH
> Dima
>
>>
>> --Nasser
>>
>> On Saturday, April 20, 2024 at 8:12:00 AM UTC-5 axio...@yahoo.de wrote:
>>
>>> 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 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 fastest), and the
>>>> interface
>>>> > shouldn't insist on an ECL installation.
>>>> >
>>>> > Do you know how to do it?
>>>>
>>>> There is https://github.com/quil-lang/sbcl-librarian
>>>> which relies on a recent
>>>> https://www.sbcl.org/manual/#Calling-Lisp-From-C
>>>>
>>>> If SBCL is the preferred Lisp then this route can be pursued -
>>>> I don't however know enough about FriCAS to see how to use
>>>> sbcl-librarian to call FriCAS functions from Python.
>>>> (There doesn't even seem to be an example on calling FriCAS from its
>>>> underlyng Lisp available anywhere - from that it should be doable)
>>>>
>>>> I don't think it can be totally Lisp-agnostic:
>>>> SBCL does not allow embedding in the way ECL does (It's Embeddable
>>>> Common Lisp for a reason...)
>>>>
>>>> Dima
>>>>
>>>>
>>>> >
>>>> > Martin
>>>> >
>>>> > On Thursday 18 April 2024 at 23:53:10 UTC+2 Dima Pasechnik wrote:
>>>> >
>>>> >
>>>> >
>>>> > On 18 April 2024 21:51:34 BST, 'Martin R' via FriCAS - computer
>>>> algebra
>>>> > system <fricas...@googlegroups.com> 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 need for pexpect interface then.
>>>> > Create a FAS module loadable into libecl,
>>>> > and, well, you have a huge increase in speed of the interface.
>>>> >
>>>> >
>>>> > >
>>>> > >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 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 customized printer
>>>> > >> * I parse the result
>>>> > >>
>>>> > >> Oh dear, what did I do!
>>>> > >>
>>>> > >> I guess that I was scared of creating a very long history in the
>>>> FriCAS
>>>> > >> process if I transmit the InputForm atom by atom. I guess I should
>>>> cook
>>>> > up
>>>> > >> a simple protocol to transmit an ordered tree, maybe as a Stream.
>>>> > >>
>>>> > >> Martin
>>>> > >> On Thursday 18 April 2024 at 21:03:34 UTC+2 Nasser M. Abbasi
>>>> wrote:
>>>> > >>
>>>> > >>> 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 (lisp-implementation-version)
>>>> > >>> Value = "2.3.11"
>>>> > >>> (1) -> )lisp (sb-ext:dynamic-space-size)
>>>> > >>>
>>>> > >>> Value = 4294967296
>>>> > >>>
>>>> > >>> I am also running Fricas and sagemath on VBox under windows 10.
>>>> The OS
>>>> > is
>>>> > >>> Linux Manjaro
>>>> > >>>
>>>> > >>> >fricas --version
>>>> > >>> FriCAS 1.3.10
>>>> > >>> based on sbcl 2.3.11
>>>> > >>> >sage --version
>>>> > >>> SageMath version 10.3, Release Date: 2024-03-19
>>>> > >>> >
>>>> > >>> On Thursday, April 18, 2024 at 12:01:19 PM UTC-5 axio...@yahoo.de
>>>> > wrote:
>>>> > >>>
>>>> > >>>> 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 problem (
>>>> > >>>> https://github.com/sagemath/sage/pull/37041) most sage users
>>>> won't use
>>>> > >>>> the newest FriCAS. So I'll first check whether that makes a
>>>> > difference.
>>>> > >>>>
>>>> > >>>> Martin
>>>> > >>>>
>>>> > >>>> On Thursday 18 April 2024 at 18:11:21 UTC+2 Waldek Hebisch
>>>> wrote:
>>>> > >>>>
>>>> > >>>>> 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 converting to InputForm (which I use to do
>>>> the
>>>> > >>>>> > translation to sage) fails. Is there a good reason for that -
>>>> i.e.,
>>>> > >>>>> is
>>>> > >>>>> > this a bug, or just a problem with memory?
>>>> > >>>>> >
>>>> > >>>>> > Best wishes,
>>>> > >>>>> >
>>>> > >>>>> > Martin
>>>> > >>>>> >
>>>> > >>>>> > (2) -> inform := res :: INFORM
>>>> > >>>>> >
>>>> > >>>>> > Heap exhausted during garbage collection: 0 bytes available,
>>>> 16
>>>> > >>>>> requested.
>>>> > >>>>> <snip>
>>>> > >>>>> > Total bytes allocated = 1072734880
>>>> > >>>>> > Dynamic-space-size bytes = 1073741824
>>>> > >>>>>
>>>> > >>>>> For me it works. The result is big for humans, but should be no
>>>> > >>>>> problem for modern computers. I am using FriCAS trunk build
>>>> > >>>>> using sbcl-1.2.4 (currently with 3Gb limit). Tried also version
>>>> > >>>>> with 2Gb limit and sbcl-2.2.9 with 1Gb limit. Note
>>>> > >>>>> I did:
>>>> > >>>>>
>>>> > >>>>> res := integrate((x^2+1)^(1/2)/(x^2+(x+(x^2+1)^(1/2))^(1/2)),
>>>> x);
>>>> > >>>>> ii := res::InputForm;
>>>> > >>>>>
>>>> > >>>>> that is I am _not_ printing resulting InputForm. But I also
>>>> > >>>>> separately printed the InputForm, it works, just is slow when
>>>> > >>>>> printing to terminal and useless because the result is much
>>>> > >>>>> bigger than terminal scrollback buffer.
>>>> > >>>>>
>>>> > >>>>> --
>>>> > >>>>> Waldek Hebisch
>>>> > >>>>>
>>>> > >>>>
>>>> > >
>>>> >
>>>> > --
>>>> > You received this message because you are subscribed to the Google
>>>> Groups "FriCAS - computer algebra system" group.
>>>> > To unsubscribe from this group and stop receiving emails from it,
>>>> send an email to fricas-devel...@googlegroups.com.
>>>> > To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/fricas-devel/49a360d1-f38a-4477-bd90-43be950ecd16n%40googlegroups.com.
>>>>
>>>>
>>>>
>>>> --
>> You received this message because you are subscribed to the Google Groups
>> "FriCAS - computer algebra system" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to fricas-devel...@googlegroups.com.
>>
> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/fricas-devel/d27c981d-32e7-4743-b1af-00dabdb6384en%40googlegroups.com
>>
>> <https://groups.google.com/d/msgid/fricas-devel/d27c981d-32e7-4743-b1af-00dabdb6384en%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/570099a5-958b-4ba0-9fc1-e65f5720c714n%40googlegroups.com.
