I checked the github repo. It seems compress.daase still exists. Did I make a mistake?
Tim On Thu, Apr 11, 2024 at 1:09 PM Waldek Hebisch <[email protected]> wrote: > On Thu, Apr 11, 2024 at 08:52:29AM -0700, Tim Daly wrote: > > src/share/algebra/compress.daase can be trivially removed by > > expanding the symbols back into place. > > Yes, this was done about two month ago. More precisely, for > several years compression was disabled by default (could be > turned on by changing value of a flag). Two months ago I > removed compression code and compress.daase. > > > I created this database > > so I could run on MSDOS 3.5 inch diskettes. It is useless overhead. > > > > In general the databases exist to overcome space limitations on > > the mainframe. At minimum they should be mmap-ed for performance. > > More useful would be storing them as in-memory hash tables rather > > than essentially simulating hash tables using disk seeks. > > Well, we need to store information somewhere. In principle > everything is in 'index.KAF' files, but reading 4 database files > is much faster than reading 1387 'index.KAF' files. Note that > database info is cached: it is read as needed and stored in memory > data structure. > > Keeping database info inside image probably would be faster, but > image is binary, while current database info is human readible. > So there current form has significant advantage for debugging. > > -- > Waldek Hebisch > > -- > You received this message because you are subscribed to a topic in the > Google Groups "FriCAS - computer algebra system" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/fricas-devel/cSPCIN9Jeqk/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/ZhgZMe-fspOPQRvJ%40fricas.org > . > -- 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/CAJn5L%3DK2F2SYLNQUsYdh1WX9HQQWmR22gngwjFXfXO7P-cZY8g%40mail.gmail.com.
