Lazy Hermite reduction and creative telescoping for algebraic functions
Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021•dl.acm.org
Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic
functions to integrands with only simple poles without the prior computation of an integral
basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction
to solve the decomposition problem of algebraic functions. The sharpened reduction is then
used to design a reduction-based telescoping algorithm for algebraic functions in two
variables.
functions to integrands with only simple poles without the prior computation of an integral
basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction
to solve the decomposition problem of algebraic functions. The sharpened reduction is then
used to design a reduction-based telescoping algorithm for algebraic functions in two
variables.
Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands with only simple poles without the prior computation of an integral basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction to solve the decomposition problem of algebraic functions. The sharpened reduction is then used to design a reduction-based telescoping algorithm for algebraic functions in two variables.