Adds free resolutions over quotient rings by using Singular.sres
(#…
#163
Job | Run time |
---|---|
12m 14s | |
12m 14s |
Singular.sres
(#…
#163
Job | Run time |
---|---|
12m 14s | |
12m 14s |