On 1 April 2015 at 17:28, Ralf Hemmecke <[email protected]> wrote: > .. > table: (Key -> SingleInteger) -> % > ++ table(h) creates an empty hash table that uses h instead of > ++ hash$Key. Note that h should be a mathematical function in > ++ the sense that from k1=k2 follows h(k1)=h(k2). If that is not > ++ the case, k1 and k2 will internally be considered as being > ++ different keys. > > The last sentence is nothing for the specification. So I require > > if k1=k2 then h(k1) = h(k2). > > And since that is precondition in the specification, anything can happen > if a user of that function does not meet that condition. In other words, > I don't see need to add extra checking code. >
So in your view the last sentence should be deleted (since it is not true) and the possibility of an obscure error message sometime during the use of XHashTable is sufficient in case the hash function passed by the user does not meet the precondition. Right? Bill. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
