up
previous
next
Indeterminates
An indeterminate is represented by a name consisting of either a
single lower case letter or a lower case letter followed by one or
more indices. For example, x
, x[1]
, x[1,2,3]
are legal (and different)
indeterminates, as is x[2I,2I+1]
if I is an integer variable.
When creating a ring the indeterminates are listed, optionally
separated by commas: lack of separating commas is now deprecated and
might be unacceptable in future versions.
Indeterminates with indices are formed with the syntax: 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[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]
-------------------------------