[Maxima-bugs] [maxima:bugs] #5179 Duplicate facts, forget(facts()) doesn't clear, have to call forget() multiple times

[David S. <tom...@us...>]

- **status**: open --> closed
- **Comment**:

Since nobody on the mailing list objected, I have removed the deduplication code, and now the output of `facts()` makes sense. Fixed by commit [caa9ba].



---

**[bugs:#5179] Duplicate facts, forget\(facts\(\)\) doesn't clear, have to call forget\(\) multiple times**

**Status:** closed
**Group:** None
**Labels:** assume forget 
**Created:** Thu Aug 27, 2026 12:24 PM UTC by David Scherfgen
**Last Updated:** Thu Aug 27, 2026 12:24 PM UTC
**Owner:** nobody


~~~
(%i1) assume(notequal(a, 0))$

/* This gets split into notequal(a, 0) and notequal(b, 0): */
(%i2) assume(notequal(a*b, 0))$

(%i3) facts();
(%o3) [notequal(a, 0), notequal(b, 0)]

(%i4) forget(notequal(a, 0));
(%o4) [notequal(a, 0)]

/* notequal(a, 0) is still there! */
(%i5) facts();
(%o5) [notequal(a, 0), notequal(b, 0)]

/* forget a second time: */
(%i6) forget(notequal(a, 0));
(%o6) [notequal(a, 0)]

/* Now it's gone! It was there twice, but facts() listed it only once. */
(%i7) facts();
(%o7) [notequal(b, 0)]
~~~

This is probably on purpose, because `notequal(a*b, 0)` overlaps the already existing `notequal(a, 0)`, but it is confusing at least. One might expect that `forget(facts())` clears all facts.


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.