D.14.7.2 boolean_poly_ring
Procedure from library
polybori.lib
(see
polybori_lib
).
User manual for
Singular
version 4.3.2, 2023, generated by
texi2html
.