Source author record

Hayden D. Stainsby

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

2works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Triangular bases of integral closures

In this work, we consider the problem of computing triangular bases of integral closures of one-dimensional local rings. Let $(K, v)$ be a discrete valued field with valuation ring $\mathcal{O}$ and let $\mathfrak{m}$ be the maximal ideal. We take $f \in \mathcal{O}[x]$ , a monic irreducible polynomial of degree $n$ and consider the extension $L = K[x]/(f(x))$ as well as $\mathcal{O}_{L}$ the integral closure of $\mathcal{O}$ in $L$ , which we suppose to be finitely generated as an $\mathcal{O}$ -module. The algorithm $\operatorname{MaxMin}$ , presented in this paper, computes triangular bases of fractional ideals of $\mathcal{O}_{L}$ . The theoretical complexity is equivalent to current state of the art methods and in practice is almost always faster. It is also considerably faster than the routines found in standard computer algebra systems, excepting some cases involving very small field extensions.

preprint2012arXiv

Complexity of OM factorizations of polynomials over local fields

Let $k$ be a locally compact complete field with respect to a discrete valuation $v$ . Let $\oo$ be the valuation ring, $\m$ the maximal ideal and $F(x)\in\oo[x]$ a monic separable polynomial of degree $n$ . Let $δ=v(\dsc(F))$. The Montes algorithm computes an OM factorization of $F$ . The single-factor lifting algorithm derives from this data a factorization of $F \md{\m^ν}$, for a prescribed precision $ν$ . In this paper we find a new estimate for the complexity of the Montes algorithm, leading to an estimation of $O(n^{2+ε}+n^{1+ε}δ^{2+ε}+n^2ν^{1+ε})$ word operations for the complexity of the computation of a factorization of $F \md{\m^ν}$, assuming that the residue field of $k$ is small.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.