Singular & Polybori

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.

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.

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