 interpreting programs obtained by automatic differentiation, may have connections with the interpretation of programs derived using the transposition principle. We refer for instance to the discussion of @Kal00-2 [Sec.6].

[**Cost functions.**]{} We let ${\sf M}(n)$ be such that two univariate polynomials of degree $n$ over an arbitrary ring $\R$ can be multiplied using ${\sf M}(n)$ operations in . The algorithm of @CaKa91 allows ${\sf M}(n)=O(n\log n
\log\log n)$. The function $O({\sf M}(n))$ also measures the cost of truncated power series arithmetic over $\R$. For bounding the cost of polynomial gcd-type computations over a commutative field $\K$ we define the function ${\sf G}$. Let ${\sf G}(n)$ be such that the extended gcd problem (see [@vzGG99 Chap.11]) can be solved with ${\sf G}(n)$ operations in $\K$ for polynomials of degree $2n$ in $\K[x]$. The recursive Knuth/Schönhage half-Gcd algorithm (see [@Knu70; @Sch71; @Moe73]) allows ${\sf G}(n)=O({\sf M}(n)\log n)$. The minimum polynomial of degree $n$, of a linearly generated sequence given by its first $2n$ terms, can be computed in ${\sf G}(n) +O(n)$ operations (see [@vzGG99 Algorithm 12.9]). We will often use the notation $\sO$ that indicates missing factors of the form $\alpha (\log n )^{\beta}$, for two positive real numbers $\alpha$ and $\beta$.

Kaltofen’s determinant algorithm over a field {#sec:detK}
=============================================

Kaltofen’s determinant algorithm extends the Krylov-based method of @Wie86. The latter approach is successful in various situations. We refer especially to the algorithms of @KaPa91 and @KaSa91 around exact linear system solution that has served as basis for subsequent works. We may also point out the various questions investigated by @CEKSTV01-2, and references therein.

Let $\K$ be a commutative field. We consider $A \in \K ^{n \times n}$, $u \in \K ^{ 1 \times n}$, and $v \in \K ^{n \times
interpreting programs obtained by automatic differentiation, may get connection with the interpretation of broadcast derive using the transposition rationale. We refer for instance to the discussion of   @Kal00 - 2 [ Sec.6 ]. 

 [ * * Cost function. * * ] { } We let $ { \sf M}(n)$ be such that two univariate polynomials of academic degree $ n$ over an arbitrary ring $ \R$ can be multiplied using $ { \sf M}(n)$ operations in  . The algorithm of @CaKa91 admit $ { \sf M}(n)=O(n\log n 
 \log\log n)$. The function $ O({\sf M}(n))$ also measures the cost of truncated ability series arithmetic over $ \R$. For bounding the price of polynomial gcd - type computations over a commutative field $ \K$ we define the affair $ { \sf G}$. Let $ { \sf G}(n)$ be such that the extended gcd problem (see [ @vzGG99 Chap.11 ]) can be solved with $ { \sf G}(n)$ operation in $ \K$ for polynomials of degree $ 2n$ in $ \K[x]$. The recursive Knuth / Schönhage half - Gcd algorithm (see [ @Knu70; @Sch71; @Moe73 ]) allows $ { \sf G}(n)=O({\sf M}(n)\log n)$. The minimum polynomial of academic degree   $ n$, of a linearly generate sequence given by its first   $ 2n$ terms, can be computed in $ { \sf G}(n) + O(n)$ operations (see [ @vzGG99 Algorithm 12.9 ]). We will often use the note $ \sO$ that bespeak missing gene of the form $ \alpha (\log n) ^{\beta}$, for two positive real numbers $ \alpha$ and $ \beta$. 

 Kaltofen ’s deciding algorithm over a field { # sec: detK } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Kaltofen ’s deciding algorithm extends the Krylov - based method of   @Wie86. The latter overture is successful in various situations. We refer especially to the algorithms of @KaPa91 and @KaSa91 around exact linear system solution that has served as basis for subsequent works. We may also target out the various motion investigated by   @CEKSTV01 - 2, and references therein. 

 Let $ \K$ be a commutative field. We consider $ A \in \K ^{n \times n}$, $ uracil \in \K ^ { 1 \times n}$, and $ v \in \K ^{n \times
 inherpreting programs obtalned by automatie diffecentiatjon, may fave connections with the inverpeetatuon of programs derivea using tje transposiuion principle. We refer for insfwnce vo the discussipn of @Kal00-2 [Sac.6].

[**Cost functiots.**]{} Wz let ${\sf M}(n)$ be such that two univariwte polunlmials of degrge $n$ pder zn arbitrary ring $\R$ can be multipljed usiig ${\sf M}(n)$ operatoons in . The algorithm of @CwKa91 wllows ${\sf M}(n)=O(n\log j
\log\log n)$. Tye ftbction $O({\sf M}(v))$ also measures the coat of truncated power series arkthmecic over $\R$. Doe blonding the cist os polynomial gcd-type computstions over a gommuvatice field $\K$ we define vhe function ${\sf G}$. Lej ${\sf G}(n)$ be sbch that the extended gxd prmblek (sed [@vzEG99 Dhep.11]) dan be somved with ${\af G}(n)$ operarions in $\K$ for polymoipsls of degres $2n$ in $\K[v]$. The recursive Knuth/Schönhage half-Gcd angodithm (see [@Knu70; @Sch71; @Moe73]) aolows ${\sf G}(n)=O({\sf M}(n)\log j)$. The minymum polynomial of degree $n$, of a linearly generateg seqnevce glven vy its first $2n$ terms, can be computed in ${\sf G}(n) +O(n)$ kptranions (see [@vzGG99 Alnorithm 12.9]). We will ogtfn ose the notatiun $\sO$ cgaf indicates missinh factots of rhe form $\wlphs (\log n )^{\beta}$, for two positice real numbvrs $\qlpha$ and $\beta$.

Kaltlfen’s deteroinamt alborithm over a field {#see:detK}
=============================================

Kzltofen’s deherminant xlgorithm extendr tme Nrylov-based method of @Wie86. Tre latter appxoach is sucvessfuj in varioks sibgations. We refer edpeciclly do the alglrithms of @KaPa91 and @KaSa91 around exact linear xyvtek solutijn thst has served as basis for xubsequznt wofks. We may also pmint out thq various quevjions investijated by @CQKSTC01-2, ane referdvces therein.

Ley $\K$ be a boimutqtive field. We conxidgr $A \in \K ^{n \times n}$, $o \in \K ^{ 1 \times m}$, avd $d \pn \L ^{g \times
interpreting programs obtained by automatic differentiation, may with interpretation of derived using the instance the discussion of [Sec.6]. [**Cost functions.**]{} let ${\sf M}(n)$ be such that univariate polynomials of degree $n$ over an arbitrary ring $\R$ can be multiplied ${\sf M}(n)$ operations in . The algorithm of @CaKa91 allows ${\sf M}(n)=O(n\log n n)$. function M}(n))$ measures the cost of truncated power series arithmetic over $\R$. For bounding the cost of polynomial computations over a commutative field $\K$ we define function ${\sf G}$. Let G}(n)$ be such that the gcd (see [@vzGG99 can solved ${\sf G}(n)$ operations $\K$ for polynomials of degree $2n$ in $\K[x]$. The recursive Knuth/Schönhage half-Gcd algorithm (see [@Knu70; @Sch71; @Moe73]) ${\sf G}(n)=O({\sf The minimum of $n$, a linearly generated by its first $2n$ terms, can ${\sf G}(n) +O(n)$ operations (see [@vzGG99 Algorithm 12.9]). will often the notation $\sO$ that indicates missing of the form $\alpha (\log n )^{\beta}$, for positive real numbers $\alpha$ and $\beta$. Kaltofen’s determinant algorithm over a field {#sec:detK} ============================================= Kaltofen’s extends the Krylov-based method @Wie86. The latter is in situations. refer especially the algorithms of @KaPa91 and @KaSa91 around exact linear system solution has served as basis for subsequent works. We may also the questions investigated by and references therein. Let be commutative field. We consider \K \times \K 1 n}$, and $v \in ^{n \times
 interpreting programs obtaiNed by automAtic dIffEreNtIatiOn, maY have connectioNS witH the interpretation of prOgramS dERiveD UsIng thE transpOSiTIOn pRiNcIplE. WE ReFer foR inStance tO the discusSioN oF @Kal00-2 [Sec.6].

[**Cost fUNcTions.**]{} We let ${\Sf M}(N)$ be such that tWo uNivariAtE poLYnomiAls Of degRee $n$ ovER an arbItrary rinG $\R$ CAn be muLTiplied USInG ${\sf M}(N)$ operations in . The aLGoRIthm of @CaKa91 alloWs ${\sf M}(n)=o(n\LOg N
\LOg\lOg n)$. the functioN $O({\Sf M}(n))$ aLSo measuREs THE CosT Of truncated poWer series arIThmEtic ovEr $\r$. FoR BoundiNg the CoST of Polynomial gCd-tyPe computaTions oVEr a commUTative fIeld $\K$ wE deFinE the FUnCtIon ${\Sf g}$. let ${\SF G}(N)$ be SUch That the eXtEnDed gcD proBLEM (See [@vZGG99 chap.11]) Can be Solved with ${\sf G}(N)$ opEratIOns In $\K$ foR polyNomiAlS of deGree $2n$ iN $\K[x]$. ThE rEcursive Knuth/ScHönhAge half-GcD alGoRitHm (See [@KnU70; @sch71; @Moe73]) AllOws ${\Sf G}(n)=O({\sf m}(n)\log n)$. THE miNiMUM PoLynomial of degree $n$, oF a LINeArly geneRated sEQuEnCE given by ItS fiRst $2n$ TERms, caN be cOMpUted in ${\sf g}(n) +O(n)$ opERaTiOns (see [@vZGg99 AlgorItHm 12.9]). WE wiLl oftEN use The notAtion $\sO$ tHat inDIcates missing fACtors of the forM $\AlPHA (\lOG n )^{\beTa}$, fOr two positiVe reAL numBers $\ALpHa$ aND $\beta$.

kaltoFeN’S dETerminant algorithm oVeR a fielD {#sec:dEtK}
=============================================

Kaltofen’s dEterminant ALGOrithm exTendS ThE krylov-based metHod of @wie86. The lattER approacH is suCcessful In various SITuations. we rEfeR esPecIALlY to the algoritHMS of @KAPA91 and @KaSA91 arOund exaCt lIneAr sYstEm Solution tHat has seRvEd As BaSis For suBSequent wOrKs. WE mAy aLso poINt out tHe varIous QuEsTIonS investIGaTED by @CeKsTv01-2, and RefErEnces TherEIn.

LEt $\K$ be a cOmmutativE fiELd. We CoNsIder $A \in \k ^{n \times n}$, $u \in \K ^{ 1 \tImEs n}$, and $v \in \K ^{N \tImeS
 interpreting programs obt ained by a utoma tic  di ff eren tiat ion, may havec onne ctions with the interp retat io n  ofp ro grams  derive d  u s i ngth etra ns p os ition  pr inciple . We refer  fo rinstance tot he  discussio n o f @Kal00-2 [ Sec .6].
[* *Co s t fun cti ons.* *]{} W e  let $ {\sf M}(n )$ be suc h  that t w o  u niva riate polynomials of degree $n$ ove r an a rb i tr a r y r ing  $\R$ canbe  mult i plied u s in g $ {\s f  M}(n)$ opera tions in .T healgori th m o f  @CaKa 91 al lo w s $ {\sf M}(n)= O(n\ log n
\lo g\logn )$. The functio n $O({ \sf  M} (n)) $  a ls o m ea s ure s  t hec ost  of trun ca te d pow er s e r i e s ar ith meti c ove r $\R$. For b oun ding the  cost  of p olyn om ial g cd-typ e com pu tations over acomm utative f iel d$\K $we de f ine th e f unc tion ${ \sf G}$ .  Le t$ { \ sf  G}(n)$ be such th at t he  extende d gcdp ro bl e m (see [ @v zGG 99 C h a p.11] ) ca n  b e solved  with$ {\ sf  G}(n)$  o perati on s i n $ \K$ f o r po lynomi als of d egree $2n$ in $\K[x] $ . The recursi v eK n ut h /Sch önh age half-Gc d al g orit hm ( s ee  [@ K nu70;  @Sch 71 ;  @ M oe73]) allows ${\sf  G }(n)=O ({\sf  M}(n)\log n) $. The min i m u m polyno mial of degree $n$, of  a li nearly gen e rated se quenc e givenby its fi r s t $2n$ t erm s,can  be c om puted in ${\s f G}(n )+O(n)$ope rations  (s ee[@v zGG 99  Algorith m 12.9]) .We  w il l o ftenu se the n ot ati on  $\ sO$ t h at ind icate s mi ss in g  fa ctors o f  t h e  for m$\ alph a ( \l og n)^{\ b eta }$, for  two posi tiv e  rea lnu mbers $ \alpha$ and $ \b eta$.

Kal to fen ’s det e r minant a lgorithm over a field { # sec:det K}===== ==== ========= === ====== === = ====== ====== ==

K al tof e n ’s de t e rm ina nt  algorithm e xte nds t he  Kry lov-bas ed method of @Wie8 6 . T he latter app roa ch i s su cce s sf u l i nv ari o u s situations. W e refer es pe c ia lly to the alg or ithms o f @KaPa 91 an d  @KaSa9 1 aroundexact lin ea r sy s t emsolution t hat hasserved as basis fo r sub seq uent w or ks.  We m ay als o  po int o ut the  v arious  ques ti ons inve stigated by @CEKSTV01-2 , andrefer enc es therei n.Let  $\K$ bea co mmutativefie ld.  We c ons i der $ A \i n  \ K ^ { n \ti mesn }$, $u \i n  \ K ^ { 1\times n}$, a n d $ v \in  \K ^{n \t imes 
 interpreting_programs obtained_by automatic differentiation, may_have connections_with_the interpretation_of_programs derived using_the transposition principle._We refer for instance_to the discussion_of @Kal00-2_[Sec.6].

[**Cost functions.**]{} We let ${\sf M}(n)$ be such that two univariate polynomials of degree_$n$_over an_arbitrary_ring_$\R$ can be multiplied using_${\sf M}(n)$ operations in . The_algorithm of_@CaKa91 allows ${\sf M}(n)=O(n\log n
\log\log n)$. The function_$O({\sf_M}(n))$ also measures_the cost of truncated power series arithmetic over $\R$._For bounding the cost of polynomial_gcd-type computations over_a_commutative_field $\K$ we define_the function ${\sf G}$. Let ${\sf_G}(n)$ be such that the extended_gcd problem (see [@vzGG99 Chap.11]) can be_solved with ${\sf G}(n)$ operations in_$\K$ for polynomials of degree_$2n$ in_$\K[x]$. The recursive Knuth/Schönhage half-Gcd_algorithm (see [@Knu70;_@Sch71; @Moe73])_allows ${\sf G}(n)=O({\sf_M}(n)\log n)$. The minimum polynomial of_degree $n$, of a_linearly generated sequence given by its_first $2n$_terms, can be_computed_in_${\sf G}(n)_+O(n)$ operations (see_[@vzGG99_Algorithm 12.9])._We_will often use the notation $\sO$_that_indicates missing factors of the form $\alpha_(\log n )^{\beta}$, for_two_positive real numbers $\alpha$_and $\beta$.

Kaltofen’s determinant algorithm over_a field {#sec:detK}
=============================================

Kaltofen’s determinant algorithm extends_the Krylov-based_method of @Wie86._The latter approach is successful in various situations. We refer especially_to the algorithms of @KaPa91 and_@KaSa91 around exact linear_system solution_that_has served as_basis_for subsequent_works. We may also point out the_various questions_investigated by @CEKSTV01-2, and references therein.

Let $\K$_be a commutative field._We_consider $A \in \K ^{n \times_n}$, $u \in \K ^{ 1_\times n}$, and $v \in_\K_^{n_\times