D.14.4.2 boolean_poly_ring
Procedure from library
polybori.lib
(see
polybori_lib
).
User manual for
Singular
version 4-1-1p3, 2018, generated by
texi2html
.