Mike Stillman

@d-torrance What is the status? Should we migrate our use of tbb (and that of mathicgb) to tbb 2021? (That sounds like a good plan, but will that fix the...

I'm not sure. Let me look at it. We want to be able to lift from real numbers that are close to integer, to ZZ, I think...

When one adds `Global=>false`, that implies that the usual notions of ideal, etc, are not for the polynomial ring, but instead for the localization of the polynomial ring at the...

@mahrud Just saying Global => false doesn't make it so. Perhaps if that is set, and it is a global order (as is the case here), it should give an...

This is definitely a bug! I'm not sure yet how to handle it. Perhaps if Variables or Monomials is given, their support should be variables in the outer polynomial ring,...

@d-torrance These are all good crashes/bugs/compile issues you are finding!

I agree! In general, how should we trim ideals which are not homogeneous? - For PID's, it makes sense, but is obviously not being done still (or rather, any more)...

@mahrud I wonder if the standard c++ regex library is in better shape now, and we can use it instead?

note: the autotools build on the same machine linked ok with boost.

@d-torrance Actually, that code calls decompose and saturate, so it might use mathicgb code. I'll take a look.