<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div style="font-family: times new roman, new york, times, serif;
font-size: 12pt; color: #000000">
<div>Hello,<br>
<br>
In the documentation it is stated, that pair sets defined like
this [(1..100,123)] are in fact translated to <br>
[(1,123),(2,123),(3,123),...,(100,123)] and hence there is an
considerably increased memory footprint.<br>
<br>
Is this also true if the right member of the pair is defined as
a range or as *:<br>
<br>
[(123,*)] =?= [(123,0),(123,1),(123,2),...,(123,65535)]<br>
<br>
Should I consider an eventual intensive memory usage in both
cases?<br>
<br>
Thank you!<span style="font-family: arial, helvetica,
sans-serif; font-size: 13px; background-color: rgb(253, 253,
253);"></span></div>
<div class="moz-signature">-- <br>
---<br>
<a
href="http://cloudware.bg/?utm_source=email&utm_medium=signature&utm_content=link&utm_campaign=newwebsite"
style="font-family:Verdana; color:#00ACE5; font-size:12px;
text-decoration:none;" target="_blank"
data-mce-href="http://cloudware.bg/?utm_source=email&utm_medium=signature&utm_content=link&utm_campaign=newwebsite"
data-mce-style="font-family: Verdana; color: #00ace5;
font-size: 12px; text-decoration: none;">Find out about our
new Cloud service - Cloudware.bg</a><br>
<div style="font-family:Verdana; color:#A0A0A0;font-size:12px;"
data-mce-style="font-family: Verdana; color: #a0a0a0;
font-size: 12px;">Access anywhere. Manage it yourself. Pay as
you go.</div>
<hr noshade="noshade" size="1" width="400px" align="left">
<div style="font-family:Verdana; color:#103E81; font-size:12px;"
data-mce-style="font-family: Verdana; color: #103e81;
font-size: 12px;"><strong>Javor Kliachev</strong><br>
IP Engineer<br>
<br>
Neterra Ltd.<br>
Telephone: +359 2 975 16 16<br>
Fax: +359 2 975 34 36<br>
</div>
<a href="http://www.neterra.net" style="font-size:12px;
font-family:Verdana; color:#00ACE5; text-decoration:none;"
target="_blank" data-mce-href="http://www.neterra.net"
data-mce-style="font-size: 12px; font-family: Verdana; color:
#00ace5; text-decoration: none;">www.neterra.net</a> <br>
<br>
<br>
</div>
</div>
</body>
</html>