refactor: remove workaround for FLINT >= 3.0.0 and < 3.2.0

We now require FLINT >= 3.2.0. The workaround is no longer necessary.

Author: tueda

sources/declare.h

@@ -1625,7 +1625,6 @@ extern WORD* flint_mul(PHEAD WORD *, WORD *);
 extern WORD* flint_ratfun_add(PHEAD WORD *, WORD *);
 extern int   flint_ratfun_normalize(PHEAD WORD *);
 extern WORD* flint_rem(PHEAD WORD *, WORD *, const WORD);
-extern void  flint_startup_init(void);
 extern void  flint_check_version(void);
 #endif
 

sources/flintinterface.cc

@@ -1720,36 +1720,6 @@ void flint::ratfun_read_poly(const WORD *a, fmpz_poly_t num, fmpz_poly_t den) {
 }
 /*
 	#] flint::ratfun_read_poly :
-
-	#[ flint::startup_init :
-*/
-// The purpose of this function is it work around threading issues in flint, reported in
-// https://github.com/flintlib/flint/issues/1652 and fixed in
-// https://github.com/flintlib/flint/pull/1658 . This implies versions prior to 3.1.0,
-// but at least 3.0.0 (when gr was introduced).
-void flint::startup_init(void) {
-
-#if __FLINT_RELEASE >= 30000
-	// Here we initialize some gr contexts so that their method tables are populated. Crashes have
-	// otherwise been observed due to these two contexts in particular.
-	fmpz_t dummy_fmpz;
-	fmpz_init(dummy_fmpz);
-	fmpz_set_si(dummy_fmpz, 19);
-
-	gr_ctx_t dummy_gr_ctx_fmpz_mod;
-	gr_ctx_init_fmpz_mod(dummy_gr_ctx_fmpz_mod, dummy_fmpz);
-	gr_ctx_clear(dummy_gr_ctx_fmpz_mod);
-
-	gr_ctx_t dummy_gr_ctx_nmod;
-	gr_ctx_init_nmod(dummy_gr_ctx_nmod, 19);
-	gr_ctx_clear(dummy_gr_ctx_nmod);
-
-	fmpz_clear(dummy_fmpz);
-#endif
-}
-/*
-	#] flint::startup_init :
-
 	#[ flint::to_argument_mpoly :
 */
 // Convert a fmpz_mpoly_t to a FORM argument (or 0-terminated list of terms: with_arghead==false).

sources/flintinterface.h

@@ -141,8 +141,6 @@ namespace flint {
 		fmpz_mpoly_ctx_t);
 	void ratfun_read_poly(const WORD *, fmpz_poly_t, fmpz_poly_t);
 
-	void startup_init(void);
-
 	uint64_t to_argument_mpoly(PHEAD WORD *, const bool, const bool, const bool, const uint64_t,
 		const fmpz_mpoly_t, const var_map_t &, const fmpz_mpoly_ctx_t);
 	uint64_t to_argument_mpoly(PHEAD WORD *, const bool, const bool, const bool, const uint64_t,

sources/flintwrap.cc

@@ -276,13 +276,6 @@ WORD* flint_rem(PHEAD WORD *a, WORD *b, const WORD must_fit_term) {
 }
 /*
 	#] flint_rem :
-	#[ flint_startup_init :
-*/
-void flint_startup_init(void) {
-	flint::startup_init();
-}
-/*
-	#] flint_startup_init :
 	#[ flint_check_version :
 */
 

sources/setfile.c

@@ -776,18 +776,6 @@ int AllocSetups(void)
 		AM.TempDir = strDup1((UBYTE *)(sp->value),"tempdir");
 	}
 */
-
-/*
-	As part of the setup, we possibly need to work around a flint multi-threading
-	bug which was fixed in version 3.1.0. This function should be called by the
-	master only, before the worker threads start processing terms.
-*/
-#ifdef WITHFLINT
-#if __FLINT_RELEASE < 30100
-	flint_startup_init();
-#endif
-#endif
-
 	return(error);
 }