move pol functions to dedicated module

examples/number_fields.ml

@@ -73,4 +73,4 @@ let mp =
 
 let _ = Printf.eprintf "mp=%s\n" (gentostr mp)
 let _ = Printf.eprintf "mp=%s\n" (gentostr (Number_field.splitting (`F _nf2)))
-let _ = Printf.eprintf "mp=%s\n" (gentostr (polred (Obj.magic mp)))
+let _ = Printf.eprintf "mp=%s\n" (gentostr (Polynomial.polred (Obj.magic mp)))

src/pari.ml

@@ -278,6 +278,92 @@ module Polynomial = struct
     !acc
 
   let inj_base_ring ~inj:_ p = p
+
+  (* *)
+
+  let pol1_f2xx = pol1_f2xx
+  let polx_f2xx = polx_f2xx
+  let pol1_flxx = pol1_flxx
+  let polx_flxx = polx_flxx
+  let polisclass = polisclass
+  let polrootsff = polrootsff
+  let polteichmuller = polteichmuller
+  let polhensellift = polhensellift
+  let polcyclofactors = polcyclofactors
+  let poliscyclo = poliscyclo
+  let poliscycloprod = poliscycloprod
+  let polredord = polredord
+  let polred = polred
+  let polred0 = polred0
+  let polred2 = polred2
+  let polredabs = polredabs
+  let polredabs0 = polredabs0
+  let polredabs2 = polredabs2
+  let polredabsall = polredabsall
+  let poltomonic = poltomonic
+  let polcompositum0 = polcompositum0
+  let poldiscfactors = poldiscfactors
+  let polmod_nffix = polmod_nffix
+  let polmod_nffix2 = polmod_nffix2
+  let polcyclo_eval = polcyclo_eval
+  let polhermite = polhermite
+  let polhermite_eval0 = polhermite_eval0
+  let polhermite_eval = polhermite_eval
+  let pollaguerre = pollaguerre
+  let pollaguerre_eval = pollaguerre_eval
+  let pollaguerre_eval0 = pollaguerre_eval0
+  let pollegendre = pollegendre
+  let pollegendre_reduced = pollegendre_reduced
+  let pollegendre_eval = pollegendre_eval
+  let pollegendre_eval0 = pollegendre_eval0
+  let polint = polint
+  let polint_i = polint_i
+  let polintspec = polintspec
+  let polchebyshev = polchebyshev
+  let polchebyshev_eval = polchebyshev_eval
+  let polchebyshev1 = polchebyshev1
+  let polchebyshev2 = polchebyshev2
+  let polrecip = polrecip
+  let polgalois = polgalois
+  let polcoef = polcoef
+  let polcoef_i = polcoef_i
+  let poldegree = poldegree
+  let pollead = pollead
+  let polfnf = polfnf
+  let poldivrem = poldivrem
+  let polrootspadic = polrootspadic
+  let poldisc0 = poldisc0
+  let polresultant0 = polresultant0
+  let polsym = polsym
+  let polresultantext0 = polresultantext0
+  let polresultantext = polresultantext
+  let pol0_f2x = pol0_f2x
+  let pol1_f2x = pol1_f2x
+  let polx_f2x = polx_f2x
+  let polx_zx = polx_zx
+  let pol_x_powers = pol_x_powers
+  let polclass = polclass
+  let polmodular = polmodular
+  let polmodular_zm = polmodular_zm
+  let polmodular_zxx = polmodular_zxx
+  let polgraeffe = polgraeffe
+  let polmod_to_embed = polmod_to_embed
+  let polrootsbound = polrootsbound
+  let polsubcyclo = polsubcyclo
+  let polsubcyclofast = polsubcyclofast
+  let polzag = polzag
+  let polylog0 = polylog0
+  let polylogmult = polylogmult
+  let polylogmult_interpolate = polylogmult_interpolate
+  let pol_x = pol_x
+  let pol_xn = pol_xn
+  let pol_xnall = pol_xnall
+  let polxn_flx = polxn_flx
+  let pol_1 = pol_1
+  let pol_0 = pol_0
+  let pol0_flx = pol0_flx
+  let pol1_flx = pol1_flx
+  let polx_flx = polx_flx
 end
 
 module Integer_mod = struct