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

D.14.4.9 from_boolean_constant

Procedure from library polybori.lib (see polybori_lib).

Usage:
from_boolean_constant(pb); pb pyobject

Return:
constant polynomial

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;
from_boolean_constant(0);
==> 0
from_boolean_constant(1);
==> 1
from_boolean_constant(pp);
==> 1
See also: boolean_ideal; boolean_std.