Question: A command to make a list of all variables on which there is an assumption in long document

I don't know if this is a false memory, but I think that I saw once a command in Maple that make a list of all the assumptions that have been done i the output space. A command that could be named "ListAssumption()" and you would get that list. In fact, I was wondering if this list could be shown in the palettes "Variables." There could be, below the variables, another table with the first row the name of the letter that you made an assume on, and the second row (the value) would show the assumption.  Like this maybe:

Just to get an idea.  Do you think it would be a great idea?

Please Wait...