Learn More
LetF be a unimodularr×s matrix with entries beingn-variate polynomials over an infinite fieldK. Denote by deg(F) the maximum of the degrees of the entries ofF and letd=1+deg(F). We describe an algorithm which computes a unimodulars×s matrixM with deg(M)=(rd) O(n) such thatFM=[I r ,O], where [I r ,O] denotes ther×s matrix obtained by adding to ther×r unit(More)
  • 1