Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Lightmarey`FormulaTransformEngine`
CountingMeasure  |
| CountingMeasure[iterator] | |
| -- the counting measure induced by a sum iterator. | |
Details
▪
Primitive specification: accepted arity 1 or 3; argument roles {"iterator"}; result role measure.
▪
The head is inert: it records mathematical meaning for compilation, matching, replay, and display, but does not evaluate the represented operation.
▪
Compiler and runtime legality checks use the same primitive specification. Wrong arity or a known role contradiction is rejected.
▪
The one-argument form is the author-facing form. The three-argument form is reserved for normalized native sum adapters.
Construct the inert mathematical object.
 | CountingMeasure |
CountingMeasure[iterator]
Use the primitive in a formula, condition, or context.
| MeasureIntegral |
 | CountingMeasure |
MeasureIntegral[a[i],i,CountingMeasure[{i,1,n}]]
""