Home
last modified time | relevance | path

Searched refs:equiv_fac (Results 1 – 6 of 6) sorted by relevance

/dports/math/e-antic/flint2-ae7ec89/flintxx/test/
H A Dt-nmod_polyxx.cpp370 bool equiv_fac(const nmod_poly_factorxx& fac1, const nmod_poly_factorxx& fac2) in equiv_fac() function
421 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
422 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
423 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()
424 tassert(equiv_fac(fac, factor_with_cantor_zassenhaus(prod))); in test_factoring()
425 tassert(equiv_fac(fac, factor_with_berlekamp(prod))); in test_factoring()
426 tassert(equiv_fac(fac, factor_with_kaltofen_shoup(prod))); in test_factoring()
H A Dt-fmpz_mod_polyxx.cpp225 bool equiv_fac(const fmpz_mod_poly_factorxx& fac1, in equiv_fac() function
277 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
278 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
279 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()
/dports/math/flint2/flint-2.8.4/flintxx/test/
H A Dt-nmod_polyxx.cpp370 bool equiv_fac(const nmod_poly_factorxx& fac1, const nmod_poly_factorxx& fac2) in equiv_fac() function
421 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
422 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
423 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()
424 tassert(equiv_fac(fac, factor_with_cantor_zassenhaus(prod))); in test_factoring()
425 tassert(equiv_fac(fac, factor_with_berlekamp(prod))); in test_factoring()
426 tassert(equiv_fac(fac, factor_with_kaltofen_shoup(prod))); in test_factoring()
H A Dt-fmpz_mod_polyxx.cpp224 bool equiv_fac(const fmpz_mod_poly_factorxx& fac1, in equiv_fac() function
277 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
278 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
279 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/flintxx/test/
H A Dt-nmod_polyxx.cpp370 bool equiv_fac(const nmod_poly_factorxx& fac1, const nmod_poly_factorxx& fac2) in equiv_fac() function
421 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
422 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
423 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()
424 tassert(equiv_fac(fac, factor_with_cantor_zassenhaus(prod))); in test_factoring()
425 tassert(equiv_fac(fac, factor_with_berlekamp(prod))); in test_factoring()
426 tassert(equiv_fac(fac, factor_with_kaltofen_shoup(prod))); in test_factoring()
H A Dt-fmpz_mod_polyxx.cpp225 bool equiv_fac(const fmpz_mod_poly_factorxx& fac1, in equiv_fac() function
277 tassert(equiv_fac(fac, factor_cantor_zassenhaus(prod))); in test_factoring()
278 tassert(equiv_fac(factor(f*g), factor_berlekamp(f*g))); in test_factoring()
279 tassert(equiv_fac(fac, factor_kaltofen_shoup(prod))); in test_factoring()