Option variable
all_dotsimp_denoms
Default 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
.