Option variable
all_dotsimp_denomsDefault value: false
When all_dotsimp_denoms is a list,
the denominators encountered by dotsimp are appended to the list.
all_dotsimp_denoms may be initialized to an empty list []
before calling dotsimp.
By default, denominators are not collected by dotsimp.