Dear Vincent,
On 2017-12-26, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> In my situation, the (mathematical) specifications are
>
> INPUT: a field K and an element x of K
> OUTPUT: K[x^(1/2), x^(1/3), x^(1/4), ...]
>
> I came up with the above specifications because I thought about two
Hi Simon,
On 26/12/2017 17:45, Simon King wrote:
Hi Vincent,
On 2017-12-26, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
While working on Puiseux series [1] I wanted to introduce a
construction functor for them. When the base ring is algebraically
closed then it is an algebraic
Hi Vincent,
On 2017-12-26, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> While working on Puiseux series [1] I wanted to introduce a construction
> functor for them. When the base ring is algebraically closed then it is
> an algebraic closure functor (from power series). But when it is