ederc
ederc
Well, the tests fail because you try to apply `assPrimes` from Singular on a zero dimensional ideal over a finite field, but `assPrimes` assumes that the ideal lives over `QQ`....
There was a missing caching of the `isGB` flag if a GB was computed during `small_generating_set`. I pushed a fix to your branch.
I do not have this code anymore, we need to look again where the `isGB` flag needs to be set.
@HechtiDerLachs Caching `isGB` is back in.
We will take a look into this.
Yes, in the quotient business we are doing this. But @fingolfin is right, we should do this also in other settings, the direct call of `...gens.S` is widespread.
Well, if we cannot set the `isGB` label when using `fres` for extension, then we have to compute GB first: ``` if algorithm == :fres gbpres = Singular.std(singular_kernel_entry) res =...
msolve does not support Windows natively, Windows users need to use `wsl`. So why should we support dos file encodings?
This feature has been added via #183 and is included in v0.7.3 of msolve.
Here is a failing example: ``` using Oscar Qt, t = polynomial_ring(QQ, :t=>1:2) Qtx, x = polynomial_ring(fraction_field(Qt), :x => 1:3) f1 = x[1]^2*x[2]^3*x[3] + 2*t[1]*x[1]*x[2]*x[3]^2 + 7*x[2]^3 f2 = x[1]^2*x[2]^4*x[3]...