Singular/Sources — pull request #187 by alexanderdreyer (2012-09-27 11:17:08+00:00)
Title: Adding polybori.lib

My internees just finished `polybori.lib` for wrapping `PolyBoRi` via `pyobjdect`.), see attached. Now, !PolyBoRi can be used in a very Singular-ish way:

```
LIB "polybori.lib";

ring r0=2,x(1..4),lp;
poly f1=x(1)^2+2*x(2)*(x(3))-x(4)^3;
poly f2=x(1)^2-x(3)*x(1);
poly f3=x(2)+5-2*x(1);
poly f4=x(1)*x(2)-x(3);
ideal I=f1,f2,f3,f4;

bideal bI = I; // Convert to PolyBoRi data structues and add x(i)^2-x(i)
bideal bRes = std(bI); // actually calls PolyBoRi

ideal I2 = ideal(bRes); // convert back ...
std(bRes[1..2]); // ... or continue within PolyBoRi
```

This is the first shoot, so any comments are welcome!

Note: It needs Singular to be configured with python as well as `PolyBoRi` installed in the search path of python or Singular. So polybori_s.tst is not checked by default. (How to deal with optional stuff is a general question.)

See also http://www.singular.uni-kl.de:8002/trac/ticket/435