Home Online Manual
Top
Back: direct_from_boolean_poly
Forward: from_boolean_ideal
FastBack:
FastForward:
Up: polybori_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.14.4.12 recursive_from_boolean_poly

Procedure from library polybori.lib (see polybori_lib).

Usage:
recursive_from_boolean_poly(pb); pb boolean polynomial

Return:
polynomial in Singular

Example:
 
LIB "polybori.lib";
ring rs=0,(x,y,z),Dp;
def rsb=boolean_poly_ring(rs);
poly f=(x+y)*x+z;
bpoly pp=f;
recursive_from_boolean_poly(pp);
==> xy+x+z
ring rs2=2,(x,y,z),Dp;
def rsb2=boolean_poly_ring(rs2);
poly f2=(x+y)*x+x;
bpoly pp2=f2;
recursive_from_boolean_poly(pp);
==> xy+x+z
See also: boolean_ideal; boolean_poly; boolean_poly_ring; from_boolean_ideal; from_boolean_poly.