On Wed, May 03, 2023 at 04:26:51PM +0200, Ralf Hemmecke wrote:
> Hi Waldek,
>
> I just stubled over the line.
>
> modulo(hs : %, i : I) : I == (HASHSTATEMOD(hs, i)$Lisp) pretend I
>
> https://github.com/fricas/fricas/blob/master/src/algebra/hashstate.spad#L73
>
> Could be removed, since it is not exported and nowhere used since we use
> hashUpdate! for every domain of category SetCategory.
If you want to remove it just go on.
I think that we should change how hashing works (I probaly already
wrote something about it). Currently SetCategory unconditionally
exorts 'hash' and 'hashUpdate!'. However, for many domains I see
no way to implement reasonable 'hashUpdate!', that is one giving
apporximately random distribution. I think we should have
separate category Hashable exporting 'hash' and 'hashUpdate!'.
And domains should assert Hashable only when they actually
implement useful 'hashUpdate!'.
--
Waldek Hebisch
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230503161956.4kcgqeil7geutow3%40fricas.math.uni.wroc.pl.
