Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

" yes, simplification (particularly full simplification) can involve some algorithms with very high time and space complexities, so seeing memory errors is not surprising by itself." Yes, I know this. But I had to use full_simplify() as simplify() does not do the job on some basic expressions.

[sage-devel] Re: Modularization project: II. The tools

On Monday, June 12, 2023 at 11:13:26 AM UTC-7 Matthias Koeppe wrote: *The monorepo. *Sage development will continue to use the same one repository sagemath/sage for development of the Sage distribution, the Sage library, and the documentation. And the

Re: [sage-devel] Modularization project: I. The goals

On Fri, 23 Jun 2023, 22:48 Matthias Koeppe, wrote: > On Friday, June 23, 2023 at 1:24:42 PM UTC-7 Dima Pasechnik wrote: > > a lot of this is caused by Sage the distribution intertwined with Sage the > library too much. > > > It isn't. That was a problem years ago, but it has been fixed with only

Re: [sage-devel] Modularization project: I. The goals

On Friday, June 23, 2023 at 1:02:34 PM UTC-7 Michael Orlitzky wrote: [...] And instead of focusing on them we keep getting distracted by squirrels. Around here, hummingbirds are the bigger problem in this regard -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Modularization project: I. The goals

On Friday, June 23, 2023 at 1:24:42 PM UTC-7 Dima Pasechnik wrote: a lot of this is caused by Sage the distribution intertwined with Sage the library too much. It isn't. That was a problem years ago, but it has been fixed with only a few odd ends (such as sage.misc.package) remaining. --

Re: [sage-devel] Modularization project: I. The goals

On Fri, Jun 23, 2023 at 1:02 PM Michael Orlitzky wrote: > The second issue is that WebAssembly doesn't actually solve the > problems we have, By "the problem we have" I guess maybe you mean "Sage is a lot of work to maintain".The fundamental and massive problem that I think SageMath has is

Re: [sage-devel] Modularization project: I. The goals

It's strange that nobody said this already, but a lot of this is caused by Sage the distribution intertwined with Sage the library too much. The right way forward is to decouple these two. I tried to propose something like this years ago, but didn't get far. In a nutshell, shift the non-Python

Re: [sage-devel] Modularization project: I. The goals

On Thu, 2023-06-22 at 14:41 -0700, William Stein wrote: > > WebAssembly is not an experimental linux distribution, and it has very > little overlap with linux distributions. The WebAssembly ecosystem is > built from the ground up, primarily on the LLVM (and Rust) toolchain, and > an ecosystem of

Re: [sage-devel] Modularization project: I. The goals

I believe that wasm is the future, because you don't have to install anything and computations are done in the browser client, they do not require ressources from a server (except for the initial download of the wasm file). Giac/Xcas does that since many years now, (initially it was a request

Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

FWIW: ``` sage: a, x = var("a, x") sage: Ex0=x/(a^5+x^5) sage: FE1=Ex0.integrate(x, algorithm="fricas") sage: len(repr(FE1)) 47199 ``` Fricas may be out of joint here... FWIW, I have been unable to typeset this expression with neither `pdflate` nor `xelatex`. The only way I had to visualize it

Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

On Friday, 23 June 2023 at 17:28:03 UTC+1 Dima Pasechnik wrote: This looks suboptimal and unclear - there are e.g. several occurrences of rootOf((625*%%E0^4*a ^12+(-125)*%%E0^3*a^9+25*%%E0^2*a^6+(-5)*%%E0*a^3+1)/(625*a^12),%%E0) Apart from parsing problems inherent in not knowing which

Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

This looks suboptimal and unclear - there are e.g. several occurrences of rootOf((625*%%E0^4*a ^12+(-125)*%%E0^3*a^9+25*%%E0^2*a^6+(-5)*%%E0*a^3+1)/(625*a^12),%%E0) Do these occurrences correspond to just one fixed root? (and so one can write it as the sum over all the roots, divided by the

Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

This is output from Fricas itself directly (2) -> setSimplifyDenomsFlag(true) (2) false Type: Boolean (3) -> ii:=integrate(x/(a^5+x^5),x); Type: Union(Expression(Integer),...) (4) ->

Re: [sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

What is the output provided by fricas (outside Sage) ? (perhaps it's a short expression as a root sum?) Simplifying an expression given as a string of length 47K is not an easy task. On Fri, 23 Jun 2023, 08:21 'Nasser M. Abbasi' via sage-devel, < sage-devel@googlegroups.com> wrote: > Here

[sage-devel] Re: ECL says: Memory limit reached calling expr.full_simplify()

Here is the code to reproduce it. Using Fricas 1.3.8 on Linux via sagemath var('x a') expr=integrate(x/(a^5+x^5),x, algorithm="fricas"); len(str(expr)) 47199 expr.full_simplify() TypeError: ECL says: Memory limit reached. Please jump to an outer pointer, quit program and enlarge the memory

[sage-devel] ECL says: Memory limit reached calling expr.full_simplify()

I obtained a large expression from CAS system (Fricas) calling it from sagemath. When I did expr.full_simplify() sagemath 10.0 on Linux gave this error TypeError: ECL says: Memory limit reached. Please jump to an outer pointer, quit program and enlarge the memory limits before executing the