Home
last modified time | relevance | path

Searched refs:Fcub (Results 1 – 4 of 4) sorted by relevance

/dports/math/e-antic/flint2-ae7ec89/fmpz/
H A Dis_prime.c36 fmpz_t F1, Fsqr, Fcub, R, t; in fmpz_is_prime() local
87 fmpz_init(Fcub); in fmpz_is_prime()
142 fmpz_mul(Fcub, Fsqr, F1); in fmpz_is_prime()
143 if (fmpz_cmp(Fcub, n) >= 0) /* Brillhart, Lehmer, Selfridge test */ in fmpz_is_prime()
182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime()
184 if (fmpz_cmp(Fcub, n) > 0) /* Improved n + 1 test */ in fmpz_is_prime()
249 fmpz_mul(Fcub, Fsqr, F); in fmpz_is_prime()
251 if (fmpz_cmp(Fcub, n) > 0) /* Lenstra's divisors in residue class */ in fmpz_is_prime()
304 fmpz_clear(Fcub); in fmpz_is_prime()
/dports/math/flint2/flint-2.8.4/fmpz/
H A Dis_prime.c36 fmpz_t F1, Fsqr, Fcub, R, t; in fmpz_is_prime() local
87 fmpz_init(Fcub); in fmpz_is_prime()
142 fmpz_mul(Fcub, Fsqr, F1); in fmpz_is_prime()
143 if (fmpz_cmp(Fcub, n) >= 0) /* Brillhart, Lehmer, Selfridge test */ in fmpz_is_prime()
182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime()
184 if (fmpz_cmp(Fcub, n) > 0) /* Improved n + 1 test */ in fmpz_is_prime()
249 fmpz_mul(Fcub, Fsqr, F); in fmpz_is_prime()
251 if (fmpz_cmp(Fcub, n) > 0) /* Lenstra's divisors in residue class */ in fmpz_is_prime()
304 fmpz_clear(Fcub); in fmpz_is_prime()
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz/
H A Dis_prime.c36 fmpz_t F1, Fsqr, Fcub, R, t; in fmpz_is_prime() local
87 fmpz_init(Fcub); in fmpz_is_prime()
142 fmpz_mul(Fcub, Fsqr, F1); in fmpz_is_prime()
143 if (fmpz_cmp(Fcub, n) >= 0) /* Brillhart, Lehmer, Selfridge test */ in fmpz_is_prime()
182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime()
184 if (fmpz_cmp(Fcub, n) > 0) /* Improved n + 1 test */ in fmpz_is_prime()
249 fmpz_mul(Fcub, Fsqr, F); in fmpz_is_prime()
251 if (fmpz_cmp(Fcub, n) > 0) /* Lenstra's divisors in residue class */ in fmpz_is_prime()
304 fmpz_clear(Fcub); in fmpz_is_prime()
/dports/graphics/megapov/megapov-1.2.1/scenes/
H A Dinterpolate_iso.pov101 #local Fcub = function(f1,f2,f3,f4,x)
113 Fcub
115 Fcub(
123 Fcub(
131 Fcub(
139 Fcub(