Hello, as a preparation step for the translation of i-output.boot, I wanted to decouple SExpression and OutputForm even more.
But somehow, I must have made a mistake. configure --prefix=/home/hemmecke/g/fricas-bisect/install --with-lisp=sbcl --enable-gmp make -j1 It seems that the actual compilation of AXIOMsys goes well. But it hangs here. unset DAASE; HTPATH=.; export HTPATH; xvfb-run -a -n 0 -s '-screen 0 1024x768x24' /home/hemmecke/g/fricas-bisect/b/target/x86_64-unknown-linux/bin/sman -noihere -paste coverex.ht If use make -j10 then it also hangs and even shows just near the end of the log: Heap exhausted during allocation: 290947072 bytes available, 671088672 requested. Gen StaPg UbSta LaSta LUbSt Boxed Unboxed LB LUB !move Alloc Waste Trig WP GCs Mem-age 0: 0 0 0 0 1 0 0 0 0 0 32768 10737418 0 0 0.0000 1: 0 0 0 0 351 18 0 15362 15372 515104688 368720 525842106 341 1 0.0000 2: 0 0 0 0 0 0 0 0 0 0 0 2000000 0 0 0.0000 3: 0 0 0 0 0 0 0 0 0 0 0 2000000 0 0 0.0000 4: 0 0 0 0 0 0 0 0 0 0 0 2000000 0 0 0.0000 5: 0 0 0 0 0 0 0 0 0 0 0 2000000 0 0 0.0000 6: 0 0 0 0 1920 268 0 0 0 71696384 0 2000000 1806 0 0.0000 Total bytes allocated = 586801072 Dynamic-space-size bytes = 1073741824 GC control variables: *GC-INHIBIT* = false *GC-PENDING* = true *STOP-FOR-GC-PENDING* = false I have the impression, that here I ran into a case where hyperdoc relies on some specific domains. I think I need a little help to make that work. =================================== The following is what I did. git clone [email protected]:hemmecke/fricas.git cd fricas git checkout i-output-to-spad ./configure make ==================================== Patch can be seen here: https://github.com/hemmecke/fricas/commit/9b45463623451a377d59f350e9d75019427d7b51 https://github.com/hemmecke/fricas/commit/742431abaabc5cb597ab4f5685df05f945773627 Main idea was to create LispExpression which is SExpression, but only with BasicType, i.e. not coerce: %->OutputForm, extension to SetCategory is then done in SExpression. OutputForm itself, does only depend on LispExpression, but not on SExpression anymore. Yes, yes, I know LispExpression depends on Integer, etc. and so we have the circular dependency, but still I think it looks a bit cleaner. Ralf -- 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.
