Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Yes, this is a memory leak. if you read the code you see that algebraic_normal_form creates a BooleanPolynomialRing every time. These stack up. A little work with objgraph.show_backref shows that there is a (global?) WeakValueDictionary linking to these objects, preventing them from being garbage collected.

There is likely some coercion map being cached.

You should report this. It's a bug.

Yes, this is a memory leak. if you read the code you see that algebraic_normal_form creates a BooleanPolynomialRing every time. These stack up. A little work with objgraph.show_backref shows that there is a (global?) WeakValueDictionary linking to these objects, preventing them from being garbage collected.

There is likely some coercion map being cached.

You should report this. It's a bug.now bug https://trac.sagemath.org/ticket/21892