> если нет, то так-то я и на python могу:
>>>> from fractions import Fraction
> так-то
> import Fractions

/0

Может, лучше сразу загрузить Sage?
А то ведь без Sage, с возможностью использования древней коробочной библиотеки, для молодежных питонов опять все грустно станет )

?- use_module(library(clpq)).
true.
?- {3/X = 1/X + 2/10}.
X = 10.
?- {3/X =:= 1/X + 2/X, X - Y = 5, Y = X/2}.
X = 10,
Y = 5.
?- {3/10 =:= X + Y, Y - X = 1/10}.
X = 1 rdiv 10,
Y = 1 rdiv 5.

> Fraction(1, 25)
> # квадрат оставил рациональным
>>>> Fraction(1, 25)**0.5

?- X is rationalize((1 rdiv 25) ** rationalize(0.5)), format('X is ~50f~n',[X]).
X is 0.20000000000000000000000000000000000000000000000000
X = 1 rdiv 5.
?- {1/2 = X ^ (1/2)}.
X = 1 rdiv 4.