Here is an example of the declaration of a multivariate polynomial with AbstractAlgebra:
using AbstractAlgebra using Printf # used to write the result # define the symbolic constants SS, (a,b,c,d,sqrt3,w0) = PolynomialRing(QQ, ["a","b","c","d","sqrt3","w0"]) # define the symbolic variables TT, (x,y,z,w) = PolynomialRing(SS, ["x","y","z","w"]) # polynomial expression P = ((x^2+y^2+z^2+w^2+145//3)^2-4*(9*z^2+16*w^2))^2*((x^2+y^2+z^2+w^2+145//3)^2+......
Is it possible to define a polynomial in
n variables? With DynamicPolynomials one can have a vector of variables by doing:
But I want to use AbstractAlgebra because I don’t know whether it’s possible to deal with symbolic constants with DynamicPolynomials, and this is what I need.