Back to Forum | View unanswered posts | View active topics





Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - Singular & Polybori
Author Message
dreyer
  Post subject:  Re: Singular & Polybori  Reply with quote
Dear Roberto Maestre Martinez,
indeed PolyBoRi is a daughter project of Singular sharing some core developers. PolyBoRi uses completely different approaches, which are tuned for the special purposes of Boolean polynomials. There will be an interface for smoothly accessing PolyBoRi from Singular soon.

Best regards,
Alexander
Post Posted: Wed Jul 07, 2010 8:58 am
rmaestre
  Post subject:  Re: Singular & Polybori  Reply with quote
In "PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials":
...The first real Gröbner basis algorithm implemented in PolyBoRi is an enhanced and
specialised variant of the slimgb (Brickenstein, 2006),which was implemented first in Singular...

May be, it´s the answer ..

Sorry for the inconvenience.
Post Posted: Tue Jul 06, 2010 2:53 pm
Guest
  Post subject:  Singular & Polybori  Reply with quote
Hi everybody!
Currently, i am working in expert systems area. I use proposicional models over Singular and polybori systems, but i have a question because with a similar model Singular runs slower than polybori (a little).
You can read here www[drop]informatik.uni-bremen.de/~malb/talks/20090722%20-%20Sage%20-%20Kaiserslautern.pdf (sorry, i can not submit url`s ?????) => "16.12.2007 Sage 2.9 includes PolyBoRi"
May be, should indicate any system command to Singular ?

Thank you very much.
Best regards.

Roberto Maestre Martinez.
Post Posted: Tue Jul 06, 2010 9:08 am


It is currently Fri May 13, 2022 11:05 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group