/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/ |
H A D | upolynomial_factorization.h | 74 void hensel_lift(z_manager & upm, numeral const & a, numeral const & b, numeral const & r, 81 …void hensel_lift(z_manager & upm, numeral_vector const & f, zp_factors const & factors_p, unsigned…
|
H A D | upolynomial_factorization.cpp | 583 void hensel_lift(z_manager & upm, numeral const & a, numeral const & b, numeral const & r, in hensel_lift() function 742 hensel_lift(upm, pe, pe, pe, U, A, V, B, C, A_lifted, B_lifted); in hensel_lift_quadratic() 873 void hensel_lift(z_manager & upm, numeral_vector const & f, zp_factors const & zp_fs, unsigned e, z… in hensel_lift() function 1176 hensel_lift(upm, f_pp, zp_fs, e, zpe_fs); in factor_square_free()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/ |
H A D | upolynomial_factorization.h | 74 void hensel_lift(z_manager & upm, numeral const & a, numeral const & b, numeral const & r, 81 …void hensel_lift(z_manager & upm, numeral_vector const & f, zp_factors const & factors_p, unsigned…
|
H A D | upolynomial_factorization.cpp | 583 void hensel_lift(z_manager & upm, numeral const & a, numeral const & b, numeral const & r, in hensel_lift() function 742 hensel_lift(upm, pe, pe, pe, U, A, V, B, C, A_lifted, B_lifted); in hensel_lift_quadratic() 873 void hensel_lift(z_manager & upm, numeral_vector const & f, zp_factors const & zp_fs, unsigned e, z… in hensel_lift() function 1176 hensel_lift(upm, f_pp, zp_fs, e, zpe_fs); in factor_square_free()
|
/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | ezgcd.h | 37 …bool hensel_lift(const polynome & p, const polynome & lcp, const polynome & qb, const polynome & r…
|
H A D | ezgcd.cc | 1136 …bool hensel_lift(const polynome & p, const polynome & lcp, const polynome & qb, const polynome & r… in hensel_lift() function 1490 if (hensel_lift(liftF,lcF,cofacteur,Db,b,cofacteur_F,D,!Tis_constant(lcF),maxop) ){ in ezgcd() 1510 if (hensel_lift(liftG,lcG,cofacteur,Db,b,cofacteur_G,D,!Tis_constant(lcG),maxop) ){ in ezgcd()
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/ |
H A D | fmpz_polyxx.h | 83 FLINT_DEFINE_SEVENARY(hensel_lift) in FLINT_DEFINE_UNOP()
|
/dports/math/e-antic/flint2-ae7ec89/ |
H A D | fmpz_polyxx.h | 83 FLINT_DEFINE_SEVENARY(hensel_lift) in FLINT_DEFINE_UNOP()
|
/dports/math/flint2/flint-2.8.4/ |
H A D | fmpz_polyxx.h | 83 FLINT_DEFINE_SEVENARY(hensel_lift) in FLINT_DEFINE_UNOP()
|
/dports/math/e-antic/flint2-ae7ec89/doc/source/ |
H A D | flintxx_functions.rst | 1204 .. function:: Ltuple<fmpz_polyxx, fmpz_polyxx, fmpz_polyxx, fmpz_polyxx>_expr hensel_lift(Fmpz_poly…
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/doc/source/ |
H A D | flintxx_functions.rst | 1204 .. function:: Ltuple<fmpz_polyxx, fmpz_polyxx, fmpz_polyxx, fmpz_polyxx>_expr hensel_lift(Fmpz_poly…
|
/dports/math/p5-Math-Pari/pari-2.3.5/ |
H A D | CHANGES-2.2 | 2369 XR 8- GP interface to hensel_lift functions (polhensellift)
|
/dports/math/pari/pari-2.13.3/ |
H A D | CHANGES-2.2 | 2369 XR 8- GP interface to hensel_lift functions (polhensellift)
|