8000 Cache assumptions and only send to Maxima when needed · Issue #23138 · sagemath/sage · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Cache assumptions and only send to Maxima when needed #23138
Open
@sagetrac-schymans

Description

@sagetrac-schymans

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0