answered 0 years ago
That's because F*F.denominator() remains an element of the fraction field (as original F). Replace F=F*F.denominator() with F=F.numerator() and it will work.
F*F.denominator()
F
F=F*F.denominator()
F=F.numerator()