AngouriMath
ExpandFactorialDivisions
Property
Summary
Remarks
Eight arms become three. Four of the eight are one rule written for every way a
sum can be spelled —x + c or c + x , on each side of the quotient — which
is what Commutative``1(AngouriMath.Core.Transformations.Matching.MatchPattern,AngouriMath.Core.Transformations.Matching.MatchPattern) says once. The other four are the
cases where one factorial has no constant at all, and they stay separate because the
constant they pass is0 rather than a binding.
sum can be spelled —
is what Commutative``1(AngouriMath.Core.Transformations.Matching.MatchPattern,AngouriMath.Core.Transformations.Matching.MatchPattern) says once. The other four are the
cases where one factorial has no constant at all, and they stay separate because the
constant they pass is
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online