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

Topic: Blinding Fast GB in Prolog (not yet confirmed)
Replies: 14   Last Post: Aug 6, 2017 7:41 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
bursejan@gmail.com

Posts: 4,540
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: http://www.swi-prolog.org/pack/list?p=pac
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.

With CLISP:

Maxima 5.40.0 http://maxima.sourceforge.net
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.

WIth SBCL:

Maxima 5.40.0 http://maxima.sourceforge.net
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)
poly_grobner([x^5+y^4+z^3-1,x^3+y^3+z^2-1],[x,y,z]);
Evaluation took 31.8800 seconds (48.2500 elapsed)

http://maxima-online.org/

This is a follow-up to the following thread:
https://groups.google.com/d/msg/sci.math.symbolic/AGKDW2fCpNU/Ghin4UV5AAAJ



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-2017. All Rights Reserved.