search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Python representation of Real #784

Open pietercollins opened 1 month ago

pietercollins commented 1 month ago

The Python representation of Real does not give a constructor for the dynamic type. e.g. the following code snippet fails: r=Real(Rational(1,3)); rr=repr(r); print(rr); eval(rr)