Yue Ren
So the following is being computed in Singular: ``` ring r = 0, (xh, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16,...
It seems the zero weight vector is causing Singular to pick a very suboptimal strategy. Removing it from the polynomial ring (or just replacing it with the ones vector) speeds...
Thanks for catching that bug! Initials can only be computed if `I` is homogeneous (which is the case in your example). If `I` is homogenous, then initials $\mathrm{in}_ w(I)=\mathrm{in}_{\lambda\cdot w}(I)$...
I'll reopen the issue, `w *= lcm(denominators.(w))` should be part of the `initial` code.
> Can you add the example from the issue as a testcase? Is done!
I've now replaced the original dirty hack with the suggestion by @fingolfin. No conversion of an OSCAR ideal to a Singular string necessary anymore, but the need to call the...
@fingolfin Everything should be using `Singular.low_level_caller` now.
Depends strongly on how you are loading copilot in the first place. If you are using `use-package`, then check [their readme](https://github.com/jwiegley/use-package), especially the passage where they explain how to use...