第一次制作assumption时，会输出摘要：
(%i1) assume(a>0);
(%o1) [a > 0]
但如果再次给出相同的假设，那么＃34;冗余＆＃34;给出，而不是摘要：
(%i2) assume(a >0);
(%o2) [redundant]
我希望第二次执行提供与第一次完全相同的输出。否则，texmacs会话会变得混乱，并且＃34;冗余＆＃34;这只会让人分心。
forget会这样做，但给a > 0两次很麻烦。
(%i6) forget(a > 0);
(%o6) [a > 0]
(%i7) assume(a >0);
(%o7) [a > 0]
甚至
(%i5) forget(a > 0)$ assume(a >0);
(%o6) [a > 0]
抑制输出是可接受的解决方法
(%i4) assume(a >0)$
但是摘要在texmacs中很容易理解。 有没有办法得到它，即使是多余的电话？