It should be fixed in Symbolics, since Nemo is used as a backend. But since their recent feature announcement mentions “multivariate polynomial solving”, I understand that is a feature limitation not a bug.
It should be fixed in Symbolics, since Nemo is used as a backend. But since their recent feature announcement mentions “multivariate polynomial solving”, I understand that is a feature limitation not a bug.