<div dir="ltr"><div class="gmail_quote"><div class="gmail_attr">Hi Roberto.</div><br><div dir="ltr" class="gmail_attr">On Wed, Sep 14, 2022 at 4:01 PM Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Gianluca.<br>
<br>
I guess you already did<br>
<br>
$ git checkout devel<br>
Already on 'devel'<br>
Your branch is up to date with 'origin/devel'.<br>
$ git grep hash_code<br>
<br>
and you did not like what you found, correct?<br></blockquote><div><br></div><div><div class="gmail_attr"></div><div class="gmail_attr">Sorry, I did 
not thought about checking the source code. I looked for some hash 
function in the user documentation, but couldn't find any (now I 
checked the documentation for developers and I see it was there).</div><div class="gmail_attr"><br></div><div class="gmail_attr">Actually, now that I look at the code, it is true that I don't particularly like it. If I understand correctly, at least for polyhedron, boxes and similar domains, the hash is computed by the space dimension. So, it is technically compatible with equality, but not well distributed, just slightly better than a constant function. So, at least for some applications, I think that my question on the consistency of the string representation is still relevant.</div><div class="gmail_attr"><br></div><div class="gmail_attr">Ciao,</div><div class="gmail_attr">--gianluca</div><div class="gmail_attr"><br></div><div class="gmail_attr"><br></div><div class="gmail_attr"><br></div><div class="gmail_attr"><br></div><div class="gmail_attr"><br></div></div><div><br></div><div><br></div></div></div>