Skip to Main content Skip to Navigation

The Lazy Hermite Reduction

Manuel Bronstein 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands having only simple affine poles [1,2,8] . While it is very effective in the case of simple radical extensions, its use in more general algebraic extensions requires the precomputation of an integral basis, which makes the reduction impractical for either multiple algebraic extensions or complicated ground fields. In this paper, we show that the Hermite reduction can be performed without a priori computation of either a primitive element or integral basis, computing the smallest order necessary for a particular integrand along the way.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 11:54:44 AM
Last modification on : Saturday, January 27, 2018 - 1:30:56 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:35:04 PM


  • HAL Id : inria-00073121, version 1



Manuel Bronstein. The Lazy Hermite Reduction. RR-3562, INRIA. 1998. ⟨inria-00073121⟩



Record views


Files downloads