4.8.4 Indeterminates |
x
, x[1]
, x[1,2,3]
are legal (and different)
indeterminates, as is x[2I,2I+1]
if I is an integer variable.
x[R_1,...,R_n]
,
where x
stands for any lower case letter and each R_i
has the form A..B
for integers A <= B
.
Example |
Use R ::= Q[xyz]; -- deprecated Use R ::= Q[x,y,z]; Use R ::= Q[x[1..2,4..8],y[1..3],u,v]; Indets(); [x[1,4], x[1,5], x[1,6], x[1,7], x[1,8], x[2,4], x[2,5], x[2,6], x[2,7], x[2,8], y[1], y[2], y[3], u, v] ------------------------------- |