Home Online Manual
Top
Back: from_boolean_poly
Forward: recursive_from_boolean_poly
FastBack: phindex_lib
FastForward: Experimental libraries
Up: polybori_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.14.2.11 direct_from_boolean_poly

Procedure from library polybori.lib (see polybori_lib).

Usage:
from_boolean_poly(pb); pb boolean polynomial

Return:
polynomial in Singular

Example:
 
LIB "polybori.lib";
ring r=0,(x,y,z),Dp;
pyobject rb=boolean_poly_ring(r);
poly f=x^2+2*y^3+3*z^3;
bpoly pp=f;
direct_from_boolean_poly(pp);
==> x+z
poly g=0;
bpoly pp=g;
==> // ** redefining pp **
direct_from_boolean_poly(pp);
==> 0
See also: boolean_ideal; boolean_poly; boolean_poly_ring; boolean_std; from_boolean_ideal.