On Thu, Apr 18, 2024 at 08:45:53AM -0700, 'Martin R' via FriCAS - computer 
algebra system wrote:
> I started to look into one of the problems 
> (https://github.com/sagemath/sage/issues/37813):
> 
> res := integrate((x^2+1)^(1/2)/(x^2+(x+(x^2+1)^(1/2))^(1/2)), x);
> 
> works nicely, but converting to InputForm (which I use to do the 
> translation to sage) fails.  Is there a good reason for that - i.e., is 
> this a bug, or just a problem with memory?
> 
> Best wishes,
> 
> Martin
> 
> (2) -> inform := res :: INFORM
> 
> Heap exhausted during garbage collection: 0 bytes available, 16 requested.
<snip>
>            Total bytes allocated    =    1072734880
>            Dynamic-space-size bytes =    1073741824

For me it works.  The result is big for humans, but should be no
problem for modern computers.  I am using FriCAS trunk build
using sbcl-1.2.4 (currently with 3Gb limit).  Tried also version
with 2Gb limit and sbcl-2.2.9 with 1Gb limit.  Note
I did:

res := integrate((x^2+1)^(1/2)/(x^2+(x+(x^2+1)^(1/2))^(1/2)), x);
ii := res::InputForm;

that is I am _not_ printing resulting InputForm.  But I also
separately printed the InputForm, it works, just is slow when
printing to terminal and useless because the result is much
bigger than terminal scrollback buffer.

-- 
                              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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/ZiFGJjoqc6ECQo7s%40fricas.org.
  • [fricas-devel] fyi... 'Nasser M. Abbasi' via FriCAS - computer algebra system
    • Re: [fricas-d... Waldek Hebisch
      • Re: [fric... 'Nasser M. Abbasi' via FriCAS - computer algebra system
        • Re: [... 'Nasser M. Abbasi' via FriCAS - computer algebra system
          • R... 'Martin R' via FriCAS - computer algebra system
            • ... Waldek Hebisch
              • ... 'Martin R' via FriCAS - computer algebra system
                • ... 'Nasser M. Abbasi' via FriCAS - computer algebra system
                • ... 'Martin R' via FriCAS - computer algebra system
                • ... 'Martin R' via FriCAS - computer algebra system
                • ... Dima Pasechnik
                • ... 'Martin R' via FriCAS - computer algebra system
                • ... dimpase
                • ... 'Martin R' via FriCAS - computer algebra system
                • ... 'Nasser M. Abbasi' via FriCAS - computer algebra system
                • ... Dima Pasechnik

Reply via email to