Re: [Maxima-discuss] Compiling Maxima with SCBL + GMP?, was: Re: Fwd: database file for elliptic cu

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Hi Andrei,

unfortunately setting *read-default-float-format* to 'double-float
before dumping doesn't affect the build. So I had to set it after
building. I see no happy ending at the moment.

With GMP and *read-default-float-format* set to 'double-float the
testsuite gives one single error:

Running tests in rtest4:
********************** Problem 86 ***************
Input:
is(errcatch(rat(x^2^128)) = [])
Result:
true
This differed from the expected result:
false

Tracing $rat and friends shows that the error directly comes from SBCL-GMP:

(%i12) rat(x^2^128);
  0: (EXPT 2 128)
  0: EXPT returned 340282366920938463463374607431768211456
  0: (PEXPT (#:X944 1 1) 340282366920938463463374607431768211456)
    1: (PEXPT 1 340282366920938463463374607431768211456)
      2: (CEXPT 1 340282366920938463463374607431768211456)
        3: (EXPT 1 340282366920938463463374607431768211456)
Maxima encountered a Lisp error:
 The value of SB-GMP::POWER is 340282366920938463463374607431768211456,
which is not of type (INTEGER -536870911 536870911).

Mmmmh???

Volker

Am 12.04.2015 um 18:10 schrieb Andrei Zorine:
> Hi, Volker!
> 
> To run testsuite, do the following:
> 1) run maxima with 'sh maxima' from src/dir
> 2) run ' :lisp (setq *read-default-float-format* 'double-float) ' as %i1
> 3) run testsuite with run_testsuite();
> These steps worked for me. Probably you can setq before dumping a
> fresh maxima image, I have no time to test that right now.
> 
> --
> Andrei Zorine
> 
> 2015-04-12 15:58 GMT+03:00 Volker van Nek <vol...@gm...>:
>> Andrei,
>>
>> I build SBCL+GMP+Maxima with the help of your instructions. I run the
>> testsuite and got tons of errors. A typical example is the following.
>>
>>
>> file rtest1, lines 33/34:
>> ev(g(2*y+z,-0.5),y:7);
>> 3*(z+14)+1.22984884706593$
>>
>> when running the testsuite:
>> Input:
>> ev(g(2 y + z, - 0.5), y : 7)
>>
>> Result:
>> 3 (z + 14) + 1.22984884706593 <-- computed
>>
>> This differed from the expected result:
>> 3 (z + 14) + 1.2298489        <-- read from file
>>
>>
>> That tells me that SBCL+GMP is reading 1.22984884706593 as a
>> single-float by default. SBCL without GMP seem to read double-floats and
>> runs the testsuite without any unexpected errors.
>>
>> Can you help?
>>
>> Thanks in advance
>> Volker
>>
>>
>> Am 11.04.2015 um 19:29 schrieb Andrei Zorine:
>>> Dear Volker,
>>>  There is a file src/INSTALL.lisp in the maxim source tree which describes the process
>>> of loading  maxima's sources into a running lisp process (I used it to load maxima
>>> after hooking in the sb-gmp extension) and dumping the resulting core. So, repeating
>>> the steps from my previous post I should execute the (maxima-dump) command.
>>> Make sure to do that in  an sbcl process running from shell and not in a slime session.
>>> Then you get the desired maxima image in buinary-sbcl/maxima.core . At least, you
>>> can use if you run 'sh maxima' in src/ directory. Maybe you can copy and paste the
>>> core file to the place where wxmaxima looks for it.
>>>
>>> Maybe somebody from the maxima development team will consider adding another
>>> building option in configure script to include sb-gmp into the buildont process?
>>>
>>> Best wishes,
>>> Andrei Zorine
>>>
>>>
>>> В письме от 11 апреля 2015 18:19:53 пользователь Volker van Nek написал:
>>>> Hi Andrei,
>>>>
>>>> thanks for showing this. In an example it saved me 40 from 185 seconds.
>>>> Great!
>>>>
>>>> But normally I run Maxima within wxMaxima (like most users will do) and
>>>> I would like to have GMP support by default. Is there a way to compile
>>>> Maxima with SBCL + GMP? Or to compile SBCL with GMP?
>>>>
>>>> Thanks and greetings
>>>> Volker van Nek
>>>>
>>>> Am 11.04.2015 um 16:42 schrieb Andrei Zorine:
>>>>> Hello, gentelmen!
>>>>> As you already know, SBCL has GMP support since recently. Volker could
>>>>> test his package with gmp like this: run sbcl, turn of the gmp
>>>>> support, then load maxima from sources, then have fun. I hope sbcl +
>>>>> sb-gmp + maxima can be comparable with gcl + maxima.
>>>>> Here's an example session (in slime):
>>>>>
>>>>> ; SLIME 2015-02-19
>>>>> CL-USER> (require :sb-gmp)
>>>>> ("SB-GMP")
>>>>> CL-USER> (sb-gmp:install-gmp-funs)
>>>>> ; No value
>>>>> CL-USER> (load "maxima-build.lisp")
>>>>> [lots of messages]
>>>>> T
>>>>> CL-USER> (maxima-load)
>>>>> [ more messages ]
>>>>> CL-USER> (cl-user::run)
>>>>> Maxima 5.35.1 http://maxima.sourceforge.net
>>>>> using Lisp SBCL 1.2.8
>>>>> Distributed under the GNU Public License. See the file COPYING.
>>>>> Dedicated to the memory of William Schelter.
>>>>> The function bug_report() provides bug reporting information.
>>>>> (%i1) showtime:all$
>>>>> Evaluation took 0.0000 seconds (0.0000 elapsed) using 0 bytes.
>>>>> (%i2) factlim:-1$
>>>>> Evaluation took 0.0000 seconds (0.0000 elapsed) using 0 bytes.
>>>>> (%i3) x: 30000!$
>>>>> Evaluation took 0.0050 seconds (0.0080 elapsed) using 774.078 KB.
>>>>> (%i4) :lisp (sb-gmp:uninstall-gmp-funs)
>>>>>
>>>>> (%i4) x: 30000!$
>>>>> Evaluation took 0.0470 seconds (0.0480 elapsed) using 782.969 KB.
>>>>> (%i5) x: 40000!$
>>>>> Evaluation took 0.0770 seconds (0.0780 elapsed) using 1.234 MB.
>>>>> (%i6) :lisp (sb-gmp:install-gmp-funs)
>>>>>
>>>>> (%i6) x: 40000!$
>>>>> Evaluation took 0.0100 seconds (0.0100 elapsed) using 1.228 MB.
>>>>>
>>>>> Happy Cosmonautics Day!
>>>>>
>>>>> Andrei Zorine
>>>>>
>>>>> 2015-04-11 2:12 GMT+03:00 Kris Katterjohn <kat...@gm...>:
>>>>>> On 04/10/2015 04:20 PM, Robert Dodier wrote:
>>>>>>> Hi Volker,
>>>>>>>
>>>>>>> I've taken the liberty of forwarding your message to the
>>>>>>> mailing list. I'm inclined to say go ahead. Does anyone
>>>>>>> else have an opinion?
>>>>>>
>>>>>> Here are some quick numbers (based on du -h).  A fresh clone of
>>>>>> branch-5_36 is about 130M (the .git directory is about 61M, so I assume
>>>>>> the source from the release tarball is smaller).  The doc directory
>>>>>> alone is about 29M.  Everything gets bigger when Maxima is built.
>>>>>>
>>>>>> As it stands, I don't think another 0.5M would hurt (especially since
>>>>>> it's for something useful).
>>>>>>
>>>>>> That being said, I think having a smaller repository would be better if
>>>>>> possible.  I'm not particularly inconvenienced by its current size, but
>>>>>> if we can remove unused things then why not?
>>>>>>
>>>>>> For example, the archive directory is about 3M.  Is that used for
>>>>>> anything?  (I'm guessing not, given its name.)  If we don't actually use
>>>>>> it but we want to keep its contents around, maybe we could just create a
>>>>>> new repo for it (i.e., have /archive like we have /code and /website
>>>>>> now).
>>>>>>
>>>>>> That's just a half-baked idea for possible consideration.  I haven't
>>>>>> looked into any details on what we could (re)move (if anything).  Even
>>>>>> if we removed some things, I suppose /code would still be big so it may
>>>>>> not be worth the trouble.
>>>>>>
>>>>>> Cheers,
>>>>>> Kris Katterjohn
>>>>>>
>>>>>>> Aside from that, I wonder if there's a way that we could
>>>>>>> arrange for packages to be downloaded and installed
>>>>>>> on a user's system separately from Maxima itself.
>>>>>>> I think R and Python have a way to install packages,
>>>>>>> maybe we could adapt their approach?
>>>>>>>
>>>>>>> best,
>>>>>>>
>>>>>>> Robert Dodier
>>>>>>>
>>>>>>>
>>>>>>> ------------------------------------------------------------------------------
>>>>>>> BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
>>>>>>> Develop your own process in accordance with the BPMN 2 standard
>>>>>>> Learn Process modeling best practices with Bonita BPM through live exercises
>>>>>>> http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
>>>>>>> source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
>>>>>>>
>>>>>>>
>>>>>>> _______________________________________________
>>>>>>> Maxima-discuss mailing list
>>>>>>> Max...@li...
>>>>>>> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>>
>>
>> ------------------------------------------------------------------------------
>> BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
>> Develop your own process in accordance with the BPMN 2 standard
>> Learn Process modeling best practices with Bonita BPM through live exercises
>> http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
>> source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
>> _______________________________________________
>> Maxima-discuss mailing list
>> Max...@li...
>> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
> 
> ------------------------------------------------------------------------------
> BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
> Develop your own process in accordance with the BPMN 2 standard
> Learn Process modeling best practices with Bonita BPM through live exercises
> http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
> source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
> _______________________________________________
> Maxima-discuss mailing list
> Max...@li...
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
> 

Re: [Maxima-discuss] Compiling Maxima with SCBL + GMP?, was: Re: Fwd: database file for elliptic cu

Computer Algebra System written in Common Lisp

Re: [Maxima-discuss] Compiling Maxima with SCBL + GMP?, was: Re: Fwd: database file for elliptic curves?