Paul Zinn-Justin
Paul Zinn-Justin
OK I can revert that part of the PR. Though at some point we'll want to do the rename, and then the problem will arise again.
I don't disagree that `Dispatch` is a bit of a hack. If M2internals weren't at 3am for me, I'd be happy to suggest a general discussion about it at some...
reverting `liftable` -> `isLiftable` 7689295449e5036a534d0726da5408f378bb862c e9e77da2693fedcadde05cccfcc957e0f444e745 a7e9349fe533bc49bda54387554786a5730c5e70
I think it should be ready for this release.
seems I'm getting both #3239 and #1579 ?
> Looks good to me. > > Tasks for future: > > * rename liftable to isLiftable > * allow the notation `map(R, S) = map(R, S, {x,y,z}, DegreeMap =>...
please do
can't reproduce the bug either. as to the blurb: - allow promotion and lifting between two arbitrary rings using `setupPromote` and `setupLift`.
fine, something more generic then: relax the restriction on promotion/lifting so one can promote/lift between any two rings, and apply this to fraction fields and tensor products.
I don't know about the `diff` stuff, but the `1/x_R` is a pretty general problem: as soon as the symbol `/` is used, M2 blindly tries to create a fraction...