|  |  D.14.4.10 from_boolean_poly Procedure from librarypolybori.lib(see  polybori_lib).
 
Example:Usage:
from_boolean_poly(ps[, dir]); ps polynomial, dir integer zero or one
Return:
default: polynomial ps in the representation of the boolean ring
Note:
via the optional input dir, one can choose the computation method (either
direct[dir==0] or recursive[dir==1]). default: direct
 See also:
 boolean_ideal;
 boolean_std.|  | LIB "polybori.lib";
ring r=0,(x,y,z),Dp;
def rb=boolean_poly_ring(r);
poly f=x^2+2*y+5*z^4;
bpoly pp=f;
from_boolean_poly(pp);
==> x+z
from_boolean_poly(pp,1);
==> x+z
ring r2=5,(x,y,z),Dp;
def rb2=boolean_poly_ring(r2);
poly f2=x+y+z;
bpoly pp2=f2;
from_boolean_poly(pp);
==> x+z
from_boolean_poly(pp,1);
==> x+z
 | 
 
 |