Wrap flint's fast rational functions over QQ

[ohanar]

First bit to fleshing out Sage's function field functionality.

CC: @miguelmarco @tscrim @kwankyu @slel @pjbruin @BrentBaccala

Component: number theory

Branch/Commit: u/ohanar/rational_functions_qq @ aba2506

Issue created by migration from https://trac.sagemath.org/ticket/16429

[williamstein]

comment:1

a typo somewhere: "Multiplation"

[miguelmarco]

comment:3

I could definitely take advantge of this. Is it ready for review?

[ohanar]

comment:5

Sorry, no. I've unfortunately found myself a bit busier this summer than I was expecting. Once I get back to the computer this is on I can upload the latest version if you want to take a look at it. If I recall, not much left is needed for the basic functionality -- I think the main things missing are implementing the appropriate coercions, and adding documentation + examples. At a later point other stuff could be added.

[ohanar]

comment:6

Oh, also related is #16428 -- I'll see about resolving the merge conflicts later tonight.

[tscrim]

comment:7

cc-ing some people who might be interested in this. Unfortunately I don't have time right now to get this ready (if it is still useful). :/

[miguelmarco]

comment:8

With #16567 some of this functionality is also handled by linsingular (although with a different point of view).