Home
last modified time | relevance | path

Searched refs:mp_bd (Results 1 – 10 of 10) sorted by relevance

/dports/math/iml/iml-1.0.5/examples/
H A Dexam-kernel.c53 mpz_t *randomMPMat (const long n, const long m, const mpz_t mp_bd);
59 mpz_t *mp_N, *mp_A, mp_bd; in main() local
65 mpz_init(mp_bd); in main()
66 mpz_ui_pow_ui(mp_bd, 2, bd); /* any entry e in mp_B satisfying */ in main()
67 mp_A = randomMPMat(n, m, mp_bd); in main()
145 randomMPMat (const long n, const long m, const mpz_t mp_bd) in randomMPMat() argument
174 mpz_urandomm (mp_rand, state, mp_bd); in randomMPMat()
H A Dexam-nonsingsolv.c59 mpz_t * randomMPMat (const long n, const long m, const mpz_t mp_bd);
65 mpz_t mp_bd, mp_D; in main() local
74 mpz_init(mp_bd); in main()
75 mpz_ui_pow_ui(mp_bd, 2, bd); /* any entry e in mp_B satisfying */ in main()
76 mp_B = randomMPMat(n, 1, mp_bd); /* -2^bd < e < 2^bd */ in main()
168 randomMPMat (const long n, const long m, const mpz_t mp_bd) in randomMPMat() argument
197 mpz_urandomm (mp_rand, state, mp_bd); in randomMPMat()
H A Dexam-certsolve.c59 mpz_t * randomMPMat (const long n, const long m, const mpz_t mp_bd);
65 mpz_t mp_bd, mp_D, mp_DZ; in main() local
74 mpz_init(mp_bd); in main()
75 mpz_ui_pow_ui(mp_bd, 2, bd); /* any entry e in mp_B satisfying */ in main()
76 mp_B = randomMPMat(n, 1, mp_bd); /* -2^bd < e < 2^bd */ in main()
208 randomMPMat (const long n, const long m, const mpz_t mp_bd) in randomMPMat() argument
237 mpz_urandomm (mp_rand, state, mp_bd); in randomMPMat()
H A Dexam-nullspace.c53 mpz_t *randomMPMat (const long n, const long m, const mpz_t mp_bd);
/dports/math/iml/iml-1.0.5/src/
H A DRNSop.c753 mpz_t mp_bd, mp_prod; in repBound() local
763 mpz_init(mp_bd); in repBound()
764 mpz_sub_ui(mp_bd, mp_prod, 1); in repBound()
765 mpz_divexact_ui(mp_bd, mp_bd, 2); in repBound()
769 bdcoeff[0] = mpz_fdiv_ui(mp_bd, q[0]); in repBound()
778 bdcoeff[i] = mpz_fdiv_ui(mp_bd, q[i]); in repBound()
783 mpz_clear(mp_bd); in repBound()
H A Dnonsysolve.c748 mpz_t mp_temp, mp_bd, mp_prod; in findLiftbasisSmall() local
755 mpz_init_set_ui(mp_bd, n); in findLiftbasisSmall()
756 mpz_mul(mp_bd, mp_bd, mp_alpha); in findLiftbasisSmall()
759 while (mpz_cmp(mp_bd, mp_prod) > 0) in findLiftbasisSmall()
782 { mpz_clear(mp_temp); mpz_clear(mp_bd); mpz_clear(mp_prod); } in findLiftbasisSmall()
822 mpz_t mp_temp, mp_bd, mp_prod; in findLiftbasisLarge() local
829 mpz_init_set_ui(mp_bd, n); in findLiftbasisLarge()
830 mpz_mul(mp_bd, mp_bd, mp_alpha); in findLiftbasisLarge()
833 while (mpz_cmp(mp_bd, mp_prod) > 0) in findLiftbasisLarge()
857 { mpz_clear(mp_temp); mpz_clear(mp_bd); mpz_clear(mp_prod); } in findLiftbasisLarge()
H A Dcertsolve.h130 const long *A, mpz_t mp_bd);
133 mpz_t *mp_A, mpz_t mp_bd);
H A Dcertsolve.c283 mpz_init(mp_bd); in certSolveLong()
288 mpz_clear(mp_bd); in certSolveLong()
715 mpz_init(mp_bd); in certSolveRedLong()
719 mpz_clear(mp_bd); in certSolveRedLong()
1141 mpz_init(mp_bd); in certSolveMP()
1592 mpz_init(mp_bd); in certSolveRedMP()
1850 mpz_t mp_bd) in compressBoundLong() argument
1856 mpz_set_ui(mp_bd, 0); in compressBoundLong()
1865 if (mpz_cmp(mp_bd, mp_temp) < 0) { mpz_set(mp_bd, mp_temp); } in compressBoundLong()
1899 mpz_t mp_bd) in compressBoundMP() argument
[all …]
/dports/math/iml/iml-1.0.5/tests/
H A Dtest-largeentry.c59 randomMPMat (const long n, const long m, const double den, const mpz_t mp_bd);
243 randomMPMat (const long n, const long m, const double den, const mpz_t mp_bd) in randomMPMat() argument
281 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
298 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
326 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
344 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
H A Dtest-smallentry.c61 randomMPMat (const long n, const long m, const double den, const mpz_t mp_bd);
382 randomMPMat (const long n, const long m, const double den, const mpz_t mp_bd) in randomMPMat() argument
420 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
437 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
466 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()
483 mpz_urandomm(mp_rand, state, mp_bd); in randomMPMat()