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 _______________________________________________ Om mailing list [email protected] http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
