1 2 3 4 5 6 7 8 9 10 11
import flint2 RR = flint2.RR __exclude = set(["prec"]) __globals = globals() for __obj in set(dir(RR)) - __exclude: if __obj not in __exclude: __globals[__obj] = getattr(RR, __obj)