First, we encode the system
into one diagram
d=ll_encode([x+c])This is a special format representing a set of such polynomials in one diagram, which is used by several procedures in POLYBORI. Then we may reduce
ll_red_nf_noredsb(f,d)This can be simplified in our special case in two ways.
ll_encode
does essentially a type conversion only (and much overhead).
This type conversion can be done implicitely (at least using the
boost::python
-based interface ipbori
).
So you may call
ll_red_nf_noredsb(f,x+c)In this case, there is no need for calling
ll_encode
.
The second argument is converted implicitely to BooleSet.
ll_red_nf_redsb(f,x+c)As
2009-10-25