17 views

Skip to first unread message

Jul 8, 2021, 1:06:04 AM7/8/21

to FriCAS - computer algebra system

I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more than twice as fast in the independent CAS integration test than integrate in 1.3.6 (via sagemath 9.0), all on the same PC. Using Linux on a VBox with same memory.

>fricas

Checking for foreign routines

FRICAS="/usr/local/lib/fricas/target/x86_64-linux-gnu"

spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"

foreign routines found

openServer result 0

FriCAS Computer Algebra System

Version: FriCAS 1.3.7

I do not know if this speed up came from improvement in the sagemath to Fricas interface, or improvement in Fricas 1.3.7 integration code itself or some other parts of Fricas.

Any one noticed this also and could may shed some light on this? And why is it much faster now? I was just wondering what the cause could be. (It is ofcourse, very good that integrate command is much faster now).

I am sure it will be even faster, if I run Fricas directly on Linux, without using sagemath interface, but I do not know how to do this, and it is easier to run it via sagemath so far.

This is the current version information for Fricas I am using

Checking for foreign routines

FRICAS="/usr/local/lib/fricas/target/x86_64-linux-gnu"

spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"

foreign routines found

openServer result 0

FriCAS Computer Algebra System

Version: FriCAS 1.3.7

with 1.3.6, average time to do an integral was 2.84 seconds. With 1.3.7 it is now 1.38 seconds.

Jul 8, 2021, 8:10:06 AM7/8/21

to fricas...@googlegroups.com

On Thu, Jul 8, 2021 at 6:06 AM 'Nasser M. Abbasi' via FriCAS -

computer algebra system <fricas...@googlegroups.com> wrote:

>

> I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more than twice as fast in the independent CAS integration test than integrate in 1.3.6 (via sagemath 9.0), all on the same PC. Using Linux on a VBox with same memory.

>

> I do not know if this speed up came from improvement in the sagemath to Fricas interface, or improvement in Fricas 1.3.7 integration code itself or some other parts of Fricas.

On top of possible Fricas code improvements,
computer algebra system <fricas...@googlegroups.com> wrote:

>

> I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more than twice as fast in the independent CAS integration test than integrate in 1.3.6 (via sagemath 9.0), all on the same PC. Using Linux on a VBox with same memory.

>

> I do not know if this speed up came from improvement in the sagemath to Fricas interface, or improvement in Fricas 1.3.7 integration code itself or some other parts of Fricas.

since Sage 9.0, ECL, the Lisp compiler used to build Fricas got

updated. This might be a reason,

as well as options used to build the software (e.g. in Sage 9.3 more

capabilities of your CPU might be used).

>

> Any one noticed this also and could may shed some light on this? And why is it much faster now? I was just wondering what the cause could be. (It is ofcourse, very good that integrate command is much faster now).

>

> I am sure it will be even faster, if I run Fricas directly on Linux, without using sagemath interface, but I do not know how to do this, and it is easier to run it via sagemath so far.

sage -sh

and then you can start Fricas:

$ ./sage -sh

Starting subshell with Sage environment variables set. Don't forget

to exit when you are done. Beware:

* Do not do anything with other copies of Sage on your system.

* Do not use this for installing Sage packages using "sage -i" or for

running "make" at Sage's root directory. These should be done

outside the Sage shell.

Bypassing shell configuration files...

Note: SAGE_ROOT=/mnt/opt/Sage/sage-dev

(sage-sh) dima@hilbert:sage-dev$ fri

fribidi fricas

(sage-sh) dima@hilbert:sage-dev$ fricas

;;; Loading #P"/usr/lib64/ecl-21.2.1/cmp.fas"

Starting interpsys

spad = "/mnt/opt/Sage/sage-dev/local/lib/fricas/target/x86_64-pc-linux-gnu"

Re-reading compress.daase Re-reading interp.daase

FriCAS initialization: interpreter

FriCAS initialization: database

FriCAS initialization: constructors

FriCAS initialization: history

FriCAS Computer Algebra System

Version: FriCAS 1.3.7

Timestamp: Wed Jul 7 09:55:44 BST 2021
Version: FriCAS 1.3.7

-----------------------------------------------------------------------------

Issue )copyright to view copyright notices.

Issue )summary for a summary of useful system commands.

Issue )quit to leave FriCAS and return to shell.

-----------------------------------------------------------------------------

Re-reading compress.daase Re-reading interp.daase

Re-reading operation.daase

Re-reading browse.daase

Re-reading category.daase

Initial getdatabase

preloading /mnt/opt/Sage/sage-dev/local/lib/fricas/target/x86_64-pc-linux-gnu/algebra/FR.fas..loaded.

...

...

preloading /mnt/opt/Sage/sage-dev/local/lib/fricas/target/x86_64-pc-linux-gnu/algebra/OUTFORM.fas..loaded.

before fricas-restart

openServer result 0

FriCAS Computer Algebra System

Version: FriCAS 1.3.7

Timestamp: Wed Jul 7 09:55:44 BST 2021
FriCAS Computer Algebra System

Version: FriCAS 1.3.7

-----------------------------------------------------------------------------

Issue )copyright to view copyright notices.

Issue )summary for a summary of useful system commands.

Issue )quit to leave FriCAS and return to shell.

-----------------------------------------------------------------------------

(1) ->

>

> This is the current version information for Fricas I am using

>

> >fricas

> Checking for foreign routines

> FRICAS="/usr/local/lib/fricas/target/x86_64-linux-gnu"

> spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"

> foreign routines found

> openServer result 0

> FriCAS Computer Algebra System

> Version: FriCAS 1.3.7

>

> with 1.3.6, average time to do an integral was 2.84 seconds. With 1.3.7 it is now 1.38 seconds.

>

> 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/96af17be-3162-4568-b805-2d241b6dd75cn%40googlegroups.com.

Jul 8, 2021, 12:28:24 PM7/8/21

to 'Nasser M. Abbasi' via FriCAS - computer algebra system

On Wed, Jul 07, 2021 at 10:06:03PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote:

> I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more

> than twice as fast in the independent CAS integration test than integrate

> in 1.3.6 (via sagemath 9.0), all on the same PC. Using Linux on a VBox with

> same memory.

Glad to know this.
> I noticed that Fricas 1.3.7 intergate (called via sagemath 9.3), is more

> than twice as fast in the independent CAS integration test than integrate

> in 1.3.6 (via sagemath 9.0), all on the same PC. Using Linux on a VBox with

> same memory.

> I do not know if this speed up came from improvement in the sagemath to

> Fricas interface, or improvement in Fricas 1.3.7 integration code itself or

> some other parts of Fricas.

>

> Any one noticed this also and could may shed some light on this? And why

> is it much faster now? I was just wondering what the cause could be. (It is

> ofcourse, very good that integrate command is much faster now).

up _some_ long-running integrals quite a lot. I do not know how many

such integrals are in Rubi testsuite. If improvement come from small

number of long running integrals, then it is probably due to FriCAS

fixes. OTOH if it is spread out to all testsuite, then probably is

due to factors outside FriCAS: Lisp compiler, Sage interface, etc.

--

Waldek Hebisch

Aug 21, 2021, 11:02:58 AM8/21/21

to 'Nasser M. Abbasi' via FriCAS - computer algebra system

size of FriCAS output. This indicates that bug fixes affect

significant number of integrals in Rubi testsuite, so probably

also are responsible for speed up.

--

Waldek Hebisch

Reply all

Reply to author

Forward

0 new messages

Search

Clear search

Close search

Google apps

Main menu