SumSymmetricCommutative
com.phasmidsoftware.number.expression.expr.SumSymmetricCommutative
object SumSymmetricCommutative extends CommutativeExtractor[Expression, Expression]
Fully symmetric commutative extractor for Sum expressions. Both positions accept any Expression; the inner match in matchBiFunctionIdentitiesSum applies the specific guards. Used for Pythagorean and related identities where both operands are CompositeExpression and no asymmetric role distinction applies.
Attributes
- Graph
-
- Supertypes
- Self type
Members list
In this article