Convert range() objects using 'integer_interval' from cd 'interval1'

OpenMath / py-openmath

An OpenMath 2.0 implementation in Python

MIT License

15 stars 4 forks source link

Convert range() objects using 'integer_interval' from cd 'interval1' #34

Open tkw1536 opened 4 years ago

tkw1536 commented 4 years ago

This issue adds translation for the range() class to the DefaultConverter. Note that a python range(start, stop) does not include the value of stop, whereas the 'integer_interval' symbol does. The converter thus has to add or subtract one.

Fixes #29.

tkw1536 commented 4 years ago

Thanks, I've updated the README.