[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