The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math.symbolic

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Blinding Fast GB in Prolog (not yet confirmed)
Replies: 17   Last Post: Nov 11, 2017 10:50 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 5,511
Registered: 9/25/16
Blinding Fast GB in Prolog (not yet confirmed)
Posted: Aug 4, 2017 10:39 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Dear All,

Just picked up this measuremet:

% ?- F1 = x^5+y^4+z^3-1, F2=x^3+y^3+z^2-1,
time(gb:gb(F1;F2, X, [vars([x,y, z])])).
%@ % 406,849 inferences, 0.039 CPU in 0.040 seconds (98% CPU, 10311461 Lips)

Its not yet confirmed, I didn't run it on my machine.
The code is here:
There is folder grobner in it.

But this seems to be a nasty example again, I
run it for 3 versions of maxima, none beats the Prolog
timing (not yet confirmed) of above.


Maxima 5.40.0
using Lisp CLISP 2.49 (2010-07-07)

(%i3) poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1],[x,y,z]);
Evaluation took 79.5469 seconds (79.5847 elapsed) using 1448.803 MB.


Maxima 5.40.0
using Lisp SBCL 1.3.15

(%i3) poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1],[x,y,z]);
Evaluation took 0.2810 seconds (0.2820 elapsed) using 196.171 MB.

And online:

(%i1) load(grobner);

Loading maxima-grobner $Revision: 1.6 $ $Date: 2009/06/02 07:49:49 $
(%o1) /usr/share/maxima/5.21.1/share/contrib/Grobner/grobner.lisp
(%i2) showtime:true;
Evaluation took 0.0000 seconds (0.0000 elapsed)
(%o2) true
(%i3) Evaluation took 0.0000 seconds (0.0000 elapsed)
Evaluation took 31.8800 seconds (48.2500 elapsed)

This is a follow-up to the following thread:

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.