On Sat, Jun 24, 2023 at 08:46:25PM -0700, 'Nasser M. Abbasi' via FriCAS -
computer algebra system wrote:
> 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
Thanks for info.
This time changes to integrator are modest. Main change is that
FriCAS no longer uses 'real'. Compare 1.3.8:
(1) -> integrate(sqrt(1-x^3),x)
+--------+
| 3
2 x\|- x + 1
(1) --------------
5
Type: Union(Expression(Integer),...)
to 1.3.9:
+--------+
+---+ | 3
6 weierstrassPInverse(0,4,x) + 2 x\|- 1 \|- x + 1
(1) ---------------------------------------------------
+---+
5 \|- 1
Type: Union(Expression(Integer),...)
In particular spurious zere results should be gone.
Concerning speed: 'real' caused excessive execution time on some
examples, but they were probably rare enough and did not significantly
influence average time.
--
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/ZJg0%2BqYGNOA8Sxh7%40fricas.math.uni.wroc.pl.
