Does anybody know what strategies other CASes use to simplify expressions containing factorials? I tested some expressions from "A equal B" book, and found that some of them can be worked out using "minfactorial, then factor" combination, while others don't get much simplification (even less simetimes). -- Andrei Zorine