Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
401352 | Journal of Symbolic Computation | 2015 | 26 Pages |
Abstract
Let R be a discrete valuation ring (DVR) and K be its fraction field. If M is a matrix over R admitting an LU decomposition, it could happen that the entries of the factors L and U do not lie in R, but just in K . Having a good control on the valuations of these entries is very important for algorithmic applications. In the paper, we prove that on average these valuations are not too large and explain how one can apply this result to provide an efficient algorithm computing a basis of a coherent sheaf over AK1 from the knowledge of its stalks.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Xavier Caruso,