This PR restructures a big part of the f4 code base with various changes in handling bases, sharing hash tables between threads, etc. This PR prepares msolve for further restructurings.
Doing so it also improves (slightly) memory usage, especially for multithreading tracer calls.
This PR restructures a big part of the f4 code base with various changes in handling bases, sharing hash tables between threads, etc. This PR prepares msolve for further restructurings.
Doing so it also improves (slightly) memory usage, especially for multithreading tracer calls.