-
-
Notifications
You must be signed in to change notification settings - Fork 641
Closed
Labels
Description
As discussed in #14549 there is a memory leak in BooleanPolynomialRing
, which was fixed (somewhat hacky) for the annihilator
method by using BooleanPolynomialRing_constructor
.
There are other uses of BooleanPolyonmialRing
which should be fixed, too. I suggest to do this the same way as for annihilator
. But maybe also add a comment to the code, to link to this and #14549 discussion, so we have a later reference, why these changes exist.
Component: memleak
Keywords: BooleanFunction
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/24748