FYI,

I've done a quick initial Fricas integration test for

>which fricas
/home/me/TMP/usr/local/bin/fricas

>fricas --version
FriCAS 2023-06-17
based on sbcl 1.4.16

Using sagemath 10.0 on Linux on first 12 files 
(1,892 integrals) from CAS integration tests database 
(these integrals are obtained from Rubi's test suite 
maintained by Albert Rich) and compared the result 
with ones obtained using 1.3.8 using ecl 21.2.1 
on same Linux virtual box. Both using same sagemath 10.0.

This is the result. The good news is that there were 
no problems found and no regression. But
also obtained the same %pass on these files that 1.3.8 had.

FriCAS 2023-06-17:
% pass: 95.243

vs. 

FriCAS 1.3.8 :
% pass: 95.243

For specific stats on one file, here are stats for file #10 
(Timofeev integration Problems) which contains 705 problems.

Only difference I see is that it is faster now. This could be 
due to using sbcl lisp instead of ecl lisp I was using before.

FriCAS 2023-06-17: 
passed: 93.62% 
A grade: 67.66%
average time used: 0.59 sec
average leaf size: 267.73

FriCAS 1.3.8: 
passed: 93.62% 
A grade: 67.66%
average time used: 1.55 sec
average leaf size: 267.73

The following is link to the PDF file report for just file #10 above
if you like to see it. This is for the FriCAS 2023-06-17 version.

report.pdf <https://12000.org/tmp/file_10_summer_2023/report.pdf>

Full tests will run when official 1.3.9 is released.

--Nasser

On Saturday, June 24, 2023 at 2:43:42 PM UTC-5 Waldek Hebisch wrote:

> On Sat, Jun 24, 2023 at 11:23:32AM -0700, 'Nasser M. Abbasi' via FriCAS - 
> computer algebra system wrote:
> > Why is this build with sbcl 1.4.6 since there is newer version sbcl 
> 2.3.0?
>
> Binary that we distribute is supposed to run on wide range of systems,
> including older ones. sbcl 1.4.16 makes this easier, as it is less
> likely to depend on new features not present in older systems.
>
> > 
> > ./fricas --version
> > FriCAS 2023-06-17
> > based on sbcl 1.4.16
> > >
> > 
> > >fricas --version
> > FriCAS 1.3.8
> > based on sbcl 2.3.0
> > >
> > 
> > Does it make any difference for performance?
>
> There is some difference, sbcl-2.3.5 gives faster binary. But the
> difference is much smaller than say using ecl.
>
> > I assume the final version of 
> > Fricas 1.3.9 will
> > be in source code and one can build it with more up to date sbcl, like 
> one 
> > can do now with 1.3.8?
>
> Yes, sure.
>
> -- 
> 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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/fe5119ba-d0e8-429f-829c-13960f9ecff2n%40googlegroups.com.

Reply via email to