Yue Ren
Sorry, emacs beginner here, just wanted to make sure that my solution is acceptable. I had the very same problem as @thomasflynn918 originally reported and @Sparsa used to have. Upon...
> Hmm I am not sure why this happens, but good to know you found a solution that at least works. To diagnose the problem better, could you provide the...
I see, I also think it would be nice to have for the sake of consistency, since the following does work: ``` w = [fmpq(1), fmpq(0), fmpq(0)]; w*1 1*w w...
I second @ederc 's suggestion. Regarding attaching a preferred ordering to ideals: realizing this will be incredibly messy since you will have to deal with inheritance. In @AlheydisGeiger example, the...
Really sorry for the late reply, the interface looks nice and many thanks for it! I would change the name from `weighted_ordering` to `weighted_preordering` just to emphasize that this ordering...
Ah, I see. I forgot that you can define an total ordering on a subset of the monomials, because I don't really use that feature. In that case I don't...
That would be sensible if all orderings involved are global. In Singular, non-global ordering are used to mimick working over certain localizations of the polynomial ring. The type of localization...
@fingolfin Yes, @thofma suggestion is very reasonable.
In Ubuntu 22.04, the extension also messes up the "Auto-hide the Dock" option in Ubuntu's appearance setting (Firefox maximized + mouse on edge of screen = dock appears and disappears).
I am closing the issue, since we now have `weight_ordering`. Thanks a lot!