1
2
3
4
5
6
7
8
9
10
11
12
13
product
expr
with
i
1
,…,i
n
in
r
1
,…,r
n
where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
,expr:
Expression
product
expr
with
i
1
,…,i
n
in
r
1
,…,r
n
where
p where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
,expr:
Expression
,expr:
Expression
sigma
expr
with
i
in
a..b where
i:
Identifier
,a:ZZ,b:ZZ,expr:
Expression
sigma
expr
with
i
1
,…,i
n
in
r
1
,…,r
n
where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
,expr:
Expression
sigma
expr
with
i
1
,…,i
n
in
r
1
,…,r
n
where
p where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
,expr:
Expression
,expr:
Expression
product
expr
with
i
in
a..b where
i:
Identifier
,a:ZZ,b:ZZ,expr:
Expression
sigma
x
with
i
1
,…,i
n
in
r
1
,…,r
n
where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
where
i:
Identifier
,a:ZZ,b:ZZ,x:
Expression
sigma
x
with
i
1
,…,i
n
in
r
1
,…,r
n
where
p where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
x,i
1
,...,i
n
,r
1
,...,r
n
i
1
,...,i
n
.
sigma
x
with
i
1
,…,i
n
in
r
1
,…,r
n
where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
sigma
x
with
i
1
,…,i
n
in
r
1
,…,r
n
where
p where
i
j
:
Identifier
,r
j
:
List
|
Vector
|
Range
x,i
1
,...,i
n
,r
1
,...,r
n
i
1
,...,i
n
.
product
x
with
i
1
,…,i
n
in
r
1
,…,r
n
product
x
with
i
1
,…,i
n
in
r
1
,…,r
n
where
p
powered by
WIRIS
©2003 maths for more sl. All rights reserved.
Legal notice