Ok, entered bug at github for sagemath/Fricas interface on these ones that 
generated exceptions.

https://github.com/sagemath/sage/issues/35241

I am using latest sagemath 9.8. The next sagemath will be version 10.0.  

--Nasser


On Monday, March 6, 2023 at 3:34:13 PM UTC-6 Waldek Hebisch wrote:

> On Mon, Mar 06, 2023 at 12:15:40PM -0800, 'Nasser M. Abbasi' via FriCAS - 
> computer algebra system wrote:
> > Here is the first. Please note CAS integration tests uses sagemath for 
> all 
> > the tests
> > If you think this is sagemath bug, I can report it
> > 
> > >sage
> > ┌────────────────────────────────────────────────────────────────────┐
> > │ SageMath version 9.8, Release Date: 2023-02-11 │
> > │ Using Python 3.11.1. Type "help()" for help. │
> > └────────────────────────────────────────────────────────────────────┘
> > sage: var('x')
> > x
> > sage: integrate(x*(1-x)^2014,x,algorithm="fricas")
> > 
> > Gives
> > 
> > File ~/TMP/sage-9.8/src/sage/interfaces/fricas.py:1313, in 
> > FriCASElement._parse_and_eval(s, start)
> > 1310 a += 1
> > 1312 if s[a] == FriCASElement._LEFTBRACKET:
> > -> 1313 return FriCASElement._parse_list(s, start=a)
> > 1314 elif s[a] == FriCASElement._STRINGMARKER:
> > 1315 return FriCASElement._parse_string(s, start=a)
> > 
> > RecursionError: maximum recursion depth exceeded
> > ---------------------------------------------
>
> This looks like sage interface error.
>
> > Here is the second one
> > 
> > sage: integrate(x*(1-x)^2020,x,algorithm="fricas")
>
> Te same.
>
> > The third gives zero, due to a check in place which checks for this due 
> to 
> > earlier 
> > problems with Fricas giving zero on integrals which it should not (may 
> be 
> > you remember this)
>
> Yes.
>
> > the test flagged this as failed. I can fix this.
> > 
> > The next one
> > 
> > sage: integrate(sin(101*x)*sin(x)^99,x,algorithm="fricas")
> > Failed due to timeout. I did not check the rest, but timeout must be the 
> > same reason.
>
> Yes, this one (and other timeouts) is FriCAS weakness. I mentioned it
> as one that should be improved. But now marking it as failure 
> is right thing to do.
>
> -- 
> 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/24e82f02-fdff-4de3-bde0-a4536f086699n%40googlegroups.com.

Reply via email to