Unsupported syntax

[matteodefra]

Hi,

I am trying to define a vector of variables in TypedPolynomials. I have the following piece of code

n = length(points)

bound1 = Int(n-1)
bound2 = Int(n-2)
@polyvar(t[1:bound1])
@polyvar(s[1:bound2])

But when I try to run, I got immediately the following error

ERROR: LoadError: Unsupported syntax. Expected x[a:b] for literal integers a and b

What can be the issue?

EDIT: ok, it seems that arbitrary variables are not accepted. If I replace bound1 with a number, then everything works fine

[blegat]

Yes, with TypedPolynomials, we need literals because we create tuples. DynamicPolynomials supports anything, the value of the length of the number of variables can be "dynamic" because we allocate Vector, not Tuple, hence the name :)