In my study I have to work with something like 'BooleanPolynomialRing (... 'x', 10)
After that I can create function in the form X1 + x1x3... However I would like to create functions in more generic form like (pseudocode followes ) x[1]+x[2]x[3] where x[1] is equivalent for x1, etc. The final goal is to be able to construct functions programmatically combining indexed expressions like x[i]+x[j] etc