[Header]

[Test]
(* test 0 *)
sigma (1337, 42, fun x -> x)

[Value]
0

[Test]
(* test 1 *)
sigma (10, 10, fun x -> x)

[Value]
10

[Test]
(* test 2 *)
sigma (-10, 10, fun _ -> 1)

[Value]
21

[Test]
(* test 3 *)
sigma (1, 10, fun x -> if x mod 2 = 0 then 1 else 0)

[Value]
5

[Test]
(* test 4 *)
sigma (1, 10, fun x -> x * x)

[Value]
385


[Test]
(* test 5 *)
sigma (10, 12, fun x -> 2 * x)

[Value]
66


[Test]
(* test 6 *)
sigma (0, 10, fun x -> if x - 1 > 0 then x - 1 else 0)

[Value]
45

[Test]
(* test 7 *)
sigma(0, 100, fun x -> 1)

[Value]
101

[Test]
(* test 8 *)
sigma(0, 100, fun x -> x * x)

[Value]
338350

[Test]
(* test 9 *)
sigma(2, 10, fun x -> x + 10)

[Value]
144