feat(linear_algebra/multivariate_polynomial): make theory computational
feat(linear_algebra/multivariate_polynomial): make theory computational

leanprover-community/mathlib,leanprover-community/mathlib