[Om] Sets and STS signature of arith1.sum
Wenzel, Ken
Ken.Wenzel at iwu.fraunhofer.de
Thu Jan 17 14:47:58 CET 2019
Hello,
I discovered that arith1.sum has the following signature according to its OpenMath STS definition:
<Signature name="sum" >
<OMOBJ xmlns="http://www.openmath.org/OpenMath">
<OMA>
<OMS name="mapsto" cd="sts" />
<OMV name="IntegerRange" />
<OMA>
<OMS name="mapsto" cd="sts" />
<OMS name="Z" cd="setname1" />
<OMV name="AbelianMonoid" />
</OMA>
<OMV name="AbelianMonoid" />
</OMA>
</OMOBJ>
</Signature>
Now I ask myself why the first argument of arith1.sum is of type "IntegerRange".
Does this also allow to use a "Set" (set1.set) as range of a summation (example in POPCORN):
6 = sum({1, 2, 3}, lambda[$x -> $x])
Thank you and best regards,
Ken Wenzel
More information about the Om
mailing list