Rocksolid Light

News from da outaworlds

mail  files  register  groups  login

Message-ID:  

You will always get the greatest recognition for the job you least like.


sci / sci.math.symbolic / FYI, Summer 2024 edition of independent CAS integration tests is completed

SubjectAuthor
* FYI, Summer 2024 edition of independent CAS integration tests is completedNasser M. Abbasi
`- Re: FYI, Summer 2024 edition of independent CAS integration tests iscompletedclicliclic@freenet.de

1
Subject: FYI, Summer 2024 edition of independent CAS integration tests is completed
From: Nasser M. Abbasi
Newsgroups: sci.math.symbolic
Organization: A noiseless patient Spider
Date: Sat, 20 Apr 2024 02:12 UTC
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: nma@12000.org (Nasser M. Abbasi)
Newsgroups: sci.math.symbolic
Subject: FYI, Summer 2024 edition of independent CAS integration tests is
completed
Date: Fri, 19 Apr 2024 21:12:22 -0500
Organization: A noiseless patient Spider
Lines: 81
Message-ID: <uvv8a8$3e630$1@dont-email.me>
Reply-To: nma@12000.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 20 Apr 2024 04:12:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c2bec1b5fa31194088720538d131db75";
logging-data="3610720"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/HSRTBBHyr5GBVsmnnpi9z"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.15.1
Cancel-Lock: sha1:7oR9JmcrTNvdqWUEg7/eDDoBf+g=
Content-Language: en-US
View all headers

Release notes for Independent CAS integration tests, summer 2024 edition
-------------------------------------------------------------------------

This post is also in plain text file at

<https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/release_notes.txt>

The web page is at

<https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/index.htm>

There are a total of 106,812 integrals. These include all the new
integration problems found on Albert Rich CD.

In this edition Reduce CAS was added and run on Linux. So there is a
total of 9 CAS systems.

These tests took about 4 months to complete.

Systems tested
===============
1. Mathematica 14 (January 9, 2024) on windows 10 pro.
2. Rubi 4.17.3 (Sept 25, 2023) on Mathematica 14 on windows 10m pro.
3. Maple 2024 (March 1, 2024) on windows 10 pro.
4. Maxima 5.47 (June 1, 2023) using Lisp SBCL 2.4.0 on
Linux Manjaro 23.1.2 KDE via sagemath 10.3.
5. FriCAS 1.3.10 built with sbcl 2.3.11 (January 10, 2024) on Linux
Manjaro 23.1.2 KDE via sagemath 10.3.
6. Giac/Xcas 1.9.0-97 on Linux via sagemath 10.3.
7. Sympy 1.12 using Python 3.11.6 (Nov 14 2023, 09:36:21)
[GCC 13.2.1 20230801] on Linux Manjaro 23.1.2 KDE.
8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7.
9. Reduce CSL rev 6687 (January 9, 2024) on Linux Manjaro 23.1.2 KDE.

Percentage solved table
========================
1. Mathematica 97.367 %
2. Rubi 93.135 %
3. Maple 83.761 %
4. Fricas 77.211 %
5. Giac/Xcas 57.448 %
6. Reduce 54.34 %
6. Mupad 52.841 %
7. Maxima 52.537 %
8. Sympy 42.164 %

Additional stats and graphs are given at the above page.

This test used the new Rubi 4.17.3 version. Some problems found to cause
TerminatedEvaluation["RecursionLimit"] in Mathematica. The following are
two examples. First install Rubi 4.17.3 and then run these commands

In[10]:= Int[(x^3+(-24+3*x)*Log[Log[2]])/x^3,x]
Out[10]= TerminatedEvaluation[RecursionLimit]

In[12]:= Int[(E^x*(40+30*x-10*x^2)+(20-5*x+E^x*(80*x+20*x^2-10*x^3))*Log[Log[2]]+(-10*E^x*x+(-5*x-10*E^x*x^2)*Log[Log[2]])*Log[(2*E^x*x+(x+2*E^x*x^2)*Log[Log[2]])/Log[Log[2]]])/(2*E^x*x+(x+2*E^x*x^2)*Log[Log[2]]),x]
Out[12]= TerminatedEvaluation[RecursionLimit]

There are 367 different test files. Each has its own separate report that
can be accessed from the link that says "links to individual test reports"
at main table of content.

In each separate report there is appendix with links to plain text files
that contain all interation problems in CAS own syntax for that specific
file.

Also the SQL database

<https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/DATA_BASE/index.htm>

Contains all output of all tests and all the integration problems that
can be used for finding more informations about the tests. Example of
how to use the database are given above. It uses standard SQL commands.

There is also a separate chapter at main table of content that gives
exceptions generated by CAS when running the tests.

Any problems please let me know.

--Nasser

Subject: Re: FYI, Summer 2024 edition of independent CAS integration tests iscompleted
From: clicliclic@freenet.d
Newsgroups: sci.math.symbolic
Organization: Killfiles, Unlimited
Date: Sun, 21 Apr 2024 18:41 UTC
References: 1
Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!news.killfile.org!.POSTED.port-92-200-28-188.dynamic.as20676.net!not-for-mail
From: nobody@nowhere.invalid (clicliclic@freenet.de)
Newsgroups: sci.math.symbolic
Subject: Re: FYI, Summer 2024 edition of independent CAS integration tests
iscompleted
Date: Sun, 21 Apr 2024 20:41:39 +0200
Organization: Killfiles, Unlimited
Message-ID: <66255DE3.DE82B26D@nowhere.invalid>
References: <uvv8a8$3e630$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Info: flea.killfile.org; posting-host="port-92-200-28-188.dynamic.as20676.net:92.200.28.188";
logging-data="567894"; mail-complaints-to="news@news.killfile.org"
X-Mailer: Mozilla 4.75 [de] (Win98; U)
X-Accept-Language: de
View all headers

"Nasser M. Abbasi" schrieb:
>
> Release notes for Independent CAS integration tests, summer 2024
> edition
>

Oh, it's summer! ... really?

Martin.

>
> [...]
>

1

rocksolid light 0.9.8
clearnet tor