As mentioned in https://trac.sagemath.org/ticket/23138, the assume() command takes a lot of time, which is very annoying when defining a lot of variables using var() including a domain information. var('x', domain='real') passes the domain information to ginac and adds it as an assumption to assumptions(), so that it can be considered by maxima. However, since assumptions() can both store much more information than just the domain information, and on the other hand all the information is lost when someone executes forget(), I am wondering if this code should not be removed from src/sage/symbolic/ring.pyx, Lines 1017-1027, in favour of a more persistent domains() database, which could be injected into assumptions() by the user if needed. Any thoughts on this?
Cheers Stan -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
