Paul Zinn-Justin

it would be nice if this got approved!

actually, I applied the patch and it doesn't seem to work too well for me: ``` $X=\begin{array}[t]{cc} 1 & 2 \\ 3 & 4\end{array}$ ``` produces this: 

I'll intervene since this is web app-related. you saved the file fitness.m2 under the wrong name. try again now. On Sun, 8 May 2022 at 10:36, ThomasXielt ***@***.***> wrote: >...

I realize I haven't really said what the issue is. Actually, there are two (possibly unrelated!): the warning messages, and the fact that help fails after `debug Core`.

Thanks Mike. I guess I never understood what `Global => false` did. (I always thought it just made the variables invertible, not every polynomial with lead term < 1). To...

Flattening is indeed not good; in fact the example in the help makes it clear how it's supposed to work with iterated rings. Even if we stick to the current...

I personally use this on my inhomogeneous ideals. it will in particular work for a single variable. ``` -- simplifying inhomogeneous ideals simplify = x -> ( R:=ring x; local...

I realize this still hasn't been fixed. it's a bit ridiculous that M2 still can't simplify this: ``` i1 : R=QQ[x] o1 = R o1 : PolynomialRing i2 : ideal(3*x^4-x^3+x^2-x-2,3*x^4+2*x^3+6*x+4)...

If there are no comments, I will implement this (including the renaming to `currentRowNumber`, which will be easy since it's only used in a couple of places).

well, the real motivation for me to introduce `currentColumnNumber` is I need it for proper error highlighting in the WebApp interface (and I'd rather code this in m2 rather than...