I do not know a forum for giac/xcas to report problems for them.
They do not have one at stackexchange or google group I could
find.

If someone knows please forward this to who might be interested.

I see some pages for giac but all in Frensh and I do not know Frensh.

https://xcas.univ-grenoble-alpes.fr/forum/viewforum.php?f=19

I tried to register, but the form I need to fill is all in Frensh
even though I asked Chrome to translate it to English.

Using 1.7.0, I am getting many new errors like this on Linux

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

giac

// Using locale /usr/share/locale/
// en_US.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
Added 26 synonyms
Welcome to giac readline interface, version 1.7.0
(c) 2001,2021 B. Parisse & others
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Released under the GPL license 3.0 or above
See http://www.gnu.org for license details
May contain BSD licensed software parts (lapack, atlas, tinymt) -------------------------------------------------

integrate((z*x+d)^3/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(3/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.04

integrate((z*x+d)^6/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(5/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.06


May be someone from Xcas can look and see what is wrong and fix these.

--Nasser

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

"Nasser M. Abbasi" schrieb:

I do not know a forum for giac/xcas to report problems for them.
They do not have one at stackexchange or google group I could
find.

If someone knows please forward this to who might be interested.

I see some pages for giac but all in Frensh and I do not know Frensh.

https://xcas.univ-grenoble-alpes.fr/forum/viewforum.php?f=19

I tried to register, but the form I need to fill is all in Frensh
even though I asked Chrome to translate it to English.

Using 1.7.0, I am getting many new errors like this on Linux

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

giac

// Using locale /usr/share/locale/
// en_US.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
Added 26 synonyms
Welcome to giac readline interface, version 1.7.0
(c) 2001,2021 B. Parisse & others
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Released under the GPL license 3.0 or above
See http://www.gnu.org for license details
May contain BSD licensed software parts (lapack, atlas, tinymt) -------------------------------------------------

integrate((z*x+d)^3/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(3/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.04

integrate((z*x+d)^6/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(5/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.06

May be someone from Xcas can look and see what is wrong and fix these.

According to the Giac website:

<https://www-fourier.ujf-grenoble.fr/~parisse/english.html>

Bernard Parisse may be contacted at:

<bernard.parisse at univ-grenoble-alpes dot fr>

I haven't tried,

Martin.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On 2/15/2022 7:24 AM, clicliclic@freenet.de wrote:

"Nasser M. Abbasi" schrieb:

I do not know a forum for giac/xcas to report problems for them.
They do not have one at stackexchange or google group I could
find.

integrate((z*x+d)^3/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(3/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.04

integrate((z*x+d)^6/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(5/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.06

May be someone from Xcas can look and see what is wrong and fix these.

According to the Giac website:

<https://www-fourier.ujf-grenoble.fr/~parisse/english.html>

Bernard Parisse may be contacted at:

<bernard.parisse at univ-grenoble-alpes dot fr>

I haven't tried,

Martin.

Thanks. But that above email seems to be not working any more after
first time working. I now keep getting message delivary failed after
many attempts.

In case someone interested, and knows how to report bugs to giac,
here is another bug.

---------------------
same integrand written differently causes coredump

which giac

/usr/local/bin/giac

giac --version

// Using locale /usr/local/share/locale/
// en_US.UTF-8
// /usr/local/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
// (c) 2001, 2021 B. Parisse & others
1.7.0


And now, this works

integrate(1/(b^2*x^2 + a*b*x*2 + a^2)^(3/2), x)

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Unable to cancel step at -a/b of -1/2/b/(x*b+a)^2-1/2/b/(x*b+a)^2 -1/2/((b*x+a)^2*b*sign(b*x+a))
// Time 0.01

compare to

integrate((b^2*x^2 + a*b*x*2 + a^2)^(-3/2) , x)

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*t_nostep+a)]
Discontinuities at zeroes of b*t_nostep+a were not checked
Segmentation fault (core dumped)

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

There are also lots of problems also using giac via sagemath. The interface
is not working well. When all these are fixed will give it another try.

https://trac.sagemath.org/ticket/33379#ticket

I do not think using sagemath to test external CAS systems has turned out
to be a good idea. But it is easier to do since same one script can be used
for all. But there seems to be too many technical problems that keep showing up.

--Nasser

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

"Nasser M. Abbasi" schrieb:

On 2/15/2022 7:24 AM, clicliclic@freenet.de wrote:

"Nasser M. Abbasi" schrieb:

I do not know a forum for giac/xcas to report problems for them.
They do not have one at stackexchange or google group I could
find.

[...]

integrate((z*x+d)^3/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(3/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.04

integrate((z*x+d)^6/(a*d*z+(a*z^2+c*d^2)*x+c*d*z*x^2)^(5/2),x)

"index.cc index_m i_lex_is_greater Error: Bad Argument Value"
// Time 0.06

May be someone from Xcas can look and see what is wrong and fix
these.

According to the Giac website:

<https://www-fourier.ujf-grenoble.fr/~parisse/english.html>

Bernard Parisse may be contacted at:

<bernard.parisse at univ-grenoble-alpes dot fr>

I haven't tried,

Thanks. But that above email seems to be not working any more after
first time working. I now keep getting message delivary failed after
many attempts.

In case someone interested, and knows how to report bugs to giac,
here is another bug.

---------------------
same integrand written differently causes coredump

which giac

/usr/local/bin/giac

giac --version

// Using locale /usr/local/share/locale/
// en_US.UTF-8
// /usr/local/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
// (c) 2001, 2021 B. Parisse & others
1.7.0

And now, this works

integrate(1/(b^2*x^2 + a*b*x*2 + a^2)^(3/2), x)

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*x+a)]
Unable to cancel step at -a/b of -1/2/b/(x*b+a)^2-1/2/b/(x*b+a)^2 -1/2/((b*x+a)^2*b*sign(b*x+a))
// Time 0.01

compare to

integrate((b^2*x^2 + a*b*x*2 + a^2)^(-3/2) , x)

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(b*t_nostep+a)]
Discontinuities at zeroes of b*t_nostep+a were not checked
Segmentation fault (core dumped)

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

There are also lots of problems also using giac via sagemath. The
interface is not working well. When all these are fixed will give it
another try.

https://trac.sagemath.org/ticket/33379#ticket

I do not think using sagemath to test external CAS systems has turned
out to be a good idea. But it is easier to do since same one script
can be used for all. But there seems to be too many technical
problems that keep showing up.

Another e-mail address of B. Parisse: <bernard.parisse at ujf-grenoble
dot fr> seems to have been shut down for good. But I notice that he has
now responded to your sage bug report at:

<https://trac.sagemath.org/ticket/33379#ticket>

so it makes sense to mention the other Giac failures there as well, or
to just supply a link to the present <sci.math.symbolic> thread:

<https://groups.google.com/g/sage-devel/c/sY3zh-pq8T4/m/Y2Bp0_LxAAAJ>

Martin.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

On 2/23/2022 12:28 AM, clicliclic@freenet.de wrote:
...

so it makes sense to mention the other Giac failures there as well, or
to just supply a link to the present <sci.math.symbolic> thread:

<https://groups.google.com/g/sage-devel/c/sY3zh-pq8T4/m/Y2Bp0_LxAAAJ>

Thanks. Will keep the above link for possible future use.

for some reason, giac has most regression on sagemath 9.5.

current reports at

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

There are 85 integrals now fail with giac under 9.5 which did
not fail under 9.3 using same version of giac. And 6 for
maxima.

I am only half way through the 80,000 or so integrals now.

Martin.

--Nasser

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

"Nasser M. Abbasi" schrieb:

On 2/23/2022 12:28 AM, clicliclic@freenet.de wrote:
...

so it makes sense to mention the other Giac failures there as well, or
to just supply a link to the present <sci.math.symbolic> thread:

<https://groups.google.com/g/sage-devel/c/sY3zh-pq8T4/m/Y2Bp0_LxAAAJ>

Thanks. Will keep the above link for possible future use.

Better not, I have no idea what happened, but that link was garbage,
and a correct link to the present <sci.math.symbolic> thread is:

<https://groups.google.com/g/sci.math.symbolic/c/zJMuRwL0JYA>

Sorry,

Martin.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)