[fricas-devel] Hashable

2023-05-06 Thread Waldek Hebisch
I have now added new category Hashable with intent that domains declare Hashable if and only if 'hashUpdate!' is properly implemented. So 'hash' and 'hashUpdate!' are removed from SetCategory. AFAICS Hashable rarely can be declered at category level. Probably it should be declared only if we can

[fricas-devel] hashable

2009-11-03 Thread Bertfried Fauser
Hi, >> add >> hash(s : %): SingleInteger == 0$SingleInteger this is equivalent to 'hash off' > have no idea how to choose good hash values. One basically has to find a > mapping that uniformly distributes all hash values of data structures of > % over Integer At least in the C++ lang

[fricas-devel] hashable

2009-10-29 Thread Bertfried Fauser
Hi Bill, I looked at sandbox and I find this way promissing for my purpose. Franz Lehner mentioned to me this behaviour of FriCAS in Hannover, I guess that in his code he took care exactly to generate a hashable key, but I have to look that up again... I am still busy with plethysms, which turne

[fricas-devel] hashable

2009-10-29 Thread Bill Page
I was trying to add an example of using Ralf's new CachedFunction domain http://axiom-wiki.newsynthesis.org/SandBoxCachedFunction with a function with more than one argument. I was surprised to learn that 'Table' only uses an efficient hashing method if 'hashable(Key)$Lisp' is true, where 'Key