Definition at line 300 of file dpoly.hpp.
301 {
302 if (a == nullptr)
304 else if (b == nullptr)
306 else
307 {
308 TowerPolynomial a1 =
D.copy(
level, a);
309 D.add_in_place(
level, a1, b);
311 }
312 }
VALGRIND_MAKE_MEM_DEFINED & result(result)
References D, level, and result().