Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Why is assume() so slow?

Declaring assumptions using assume() takes an awful lot of time, e.g.:

var('a b c d e f g h i')
assume([(var1, 'real') for var1 in [a, b, c, d, e, f, g, h, i]])

The same applies to declaring variables with the domain option, e.g. var('a', domain='positive'). See also for an example. Does anyone know why this takes so much time and/or how this could be made faster? Thanks a lot!