AngouriMath
ExpandFactorialDivisions
Property
Summary
Cancels a quotient of factorials down to the terms that survive.
Remarks
Run by the matcher rather than by the switch —
ExpandFactorialDivisions, where its eight arms are three rules:
four of the eight are one rule written for every way a sum can be spelled, and a
commutative pattern says that once.
ExpandFactorialDivisions, where its eight arms are three rules:
four of the eight are one rule written for every way a sum can be spelled, and a
commutative pattern says that once.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online