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 roots are meant 
exactly, translation of these expressions to sage's internal symbolic 
system and maximalib (where it ends up judging from the ECL error) is 
problematic because neiither has a native object to represent RootOf. So 
these expressions cannot really be handled anyway and simplification is 
unnlikely to do something useful. Better simplify in fricas.

Considering memory errors from large simplification tasks: 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.
 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/f19fce16-f349-4d80-ba0e-d73251c1cbd8n%40googlegroups.com.

Reply via email to