I wanted to create a sqlite database combining libdb.text and comdb.text. Naively, I converted the files to csv assuming the pointers in the both files would match -- without checking before :( Apparently the two files are created by dbSplitLibdb() in br-data.boot from a file called *olibdb.text* which will be deleted when the procedure ends. The function dbGetCommentOrigin() in br-search-boot ought to be capable to assign correct pointers, however, I cannot figure out how the two pointers are related. In a nutshell, commenting --deleteFile '"olibdb.text" in dbSplitLibdb and rebuilding fricas, I got the file olibdb.text that contains all the information I wanted: https://bitbucket.org/kfp/fricas.db/src/main/
For whatever reasons this file is splitted, then deleted, it would be beneficial to keep it. -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/c2fe8d31-90b2-4da6-b759-e0856abce8c7n%40googlegroups.com.
