AngouriMath
FactorizeFactorialMultiplications
Property
Summary
Recognises a product of consecutive terms as a factorial.
Remarks
Run by the matcher rather than by the switch —
FactorizeFactorialMultiplications, 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.
FactorizeFactorialMultiplications, 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