I asked this question before on ask.sagemath
(https://ask.sagemath.org/question/37744/why-is-assume-so-slow/) but
haven't found an answer yet, so perhaps someone here has an idea.
Basically, declaring assumptions using `assume()` or within `var('x',
domain='real') takes an awful lot of time, e.g.:
variables = ['a_' + str(i) for i in srange(10)]
for var1 in variables: var(var1, domain='real')
If I increase the number of variables, the time needed increases more than
proportionally. See
https://cocalc.com/projects/34b4b62a-2621-47c8-9bda-cde3a855f995/files/test_assumptions.ipynb
Does anyone know why this is and how this could be accelerated?
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
