[sage-devel] Jupyter header cells ?

2017-12-26 Thread Emmanuel Charpentier
This question on ask.sagemath.org made me search Google about something called "Header cells". I found such a thing

[sage-devel] a functor need and name

2017-12-26 Thread Vincent Delecroix
Dear all, 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 not, it is an infinite algebraic extension (ie adding all x^(1/n)). I

[sage-devel] Re: a functor need and name

2017-12-26 Thread Simon King
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

Re: [sage-devel] Re: a functor need and name

2017-12-26 Thread Vincent Delecroix
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

[sage-devel] Re: a functor need and name

2017-12-26 Thread Simon King
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