blob: f8973fac095ff00f27d6d12c3a550ac8cee020eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# R := {[1:10,1:10]} union {[-10:-1,-10:-1]} union
# {[x,y] : -10 <= x,y <= 10 && -10 <= x-y <= 10};
#
# R;
{[x,y]: -10, y-10 <= x <= 10, y+10 && -10 <= y <= 10}
#
# Hull R;
{[x,y]: -10, y-10 <= x <= 10, y+10 && -10 <= y <= 10}
#
|
