Paul Zinn-Justin
Paul Zinn-Justin
Yes this is the same issue that was reported before in the mailing list. It's my fault, I inadvertently let a PR slip into the web version which has not...
I'm working on this. Here's another example that fails and should work: ``` i1 : R=QQ[x,y] o1 = R o1 : PolynomialRing i2 : S=QQ[z] o2 = S o2 :...
also, some of these remarks also apply to `lift`. incidentally, shouldn't `liftable` be renamed `isLiftable`?
Is it possible to have an example of the desired behavior in each case? I'm curious to see if my package `Factor` already resolves this.
that's the *un*desired behavior I'm assuming
I'd be happy to help, but it seems the computation of g.b. is done at a fairly low level, and I'd need some pointers on how the code is organized...
for the record, I reported this bug because one of my programs actually produced a wrong result. I didn't just make up this example, it's the minimal version of the...
oh! I've been using `NCReductionTwoSided` wrong this whole time! thanks for the clarification.
No,`net` works correctly, a `Minus` is supposed to be of length 1. That being said I don't understand the original issue. There are plenty of "illegal" objects one can create...
those inter-dependencies of various files in the loadsequence are a pain