ederc

Results 53 comments of ederc

I cannot confirm the above described behaviour: The example runs now for over 1 hour on an M1 machine with 16 GB RAM. It uses roughly 15GB RAM at most,...

Yes, I can confirm the virtual memory usage, still no crash.

Computation got killed after 2 hours.

> What about using fres? > […](#) Already running for 30 minutes.

On a 32 GB RAM machine one can compute the resolution with `fres` over `QQ`: ``` julia> @time F_1_b = free_resolution(b_minimal_ideal_1, algorithm=:fres); 10900.640369 seconds (21.01 G allocations: 1.280 TiB, 0.22%...

Looking through the commits in `Singular` I can see many smaller changes in critical pair sorting etc. in the GB engine of `Singular`, but @hannes14 might have more knowledge on...

Is this the same example you sent me a few days ago?

This is coming from `msolve`: Adding a random linear combination in order to put the input into shape position sometimes leads to problems due to coefficient choices for the random...