Open
Description
As described in https://groups.google.com/forum/#!topic/sage-devel/jN6inWPyElM, assume()
takes more and more time the bigger the assumptions()
data base is. This causes a lot of slow-downs when e.g. declaring variables with a domain
argument. Nils Bruin suggested that this is due to excessive interactions with the Maxima library and Ralf Stephan suggested that the assumptions could be cached and only sent to Maxima when needed, to speed up the process.
Depends on #23325
CC: @rwst @egourgoulhon
Component: performance
Keywords: Maxima, symbolics, assume
Author: Ralf Stephan
Branch/Commit: u/rws/cache_assumptions_and_only_send_to_maxima_when_needed @ 10c31a1
Issue created by migration from https://trac.sagemath.org/ticket/23138