[sage-devel] block vector

2021-07-08 Thread Clemens Heuberger
Is there any recommendation on how to construct "block vectors" (in analogy to `sage.matrix.special.block_matrix`) in readable way? We probably do not have subdivisions of vectors in the same way as we have subdivisions of matrices, but still: the options I see so far are sage: v1 = vector(

[sage-devel] Re: symbolic rootof object

2021-07-08 Thread Nils Bruin
I think the problem is rather fundamental. The expression Rootof(y^2-x,y) has two possible values; nominally sqrt(x) and -sqrt(x), but you can only tell them apart once you've fixed one of them. So if you are just faced with Rootof(y^2-x,y) + Rootof(y^2-x,y) you don't actually know whether that

[sage-devel] Re: symbolic rootof object

2021-07-08 Thread 'Martin R' via sage-devel
unfortunately, this doesn't really help: the main reason is that the roots may not have an explicit expression in terms of radicals. See https://trac.sagemath.org/ticket/32143 But even when explicit expressions exist, there seems to be a problem: sage: var("y a") (y, a) sage: p = y^4 + y + a s

Re: [sage-devel] ask.sagemath.org down ?

2021-07-08 Thread Thierry
On Thu, Jul 08, 2021 at 09:25:00AM +, Thierry wrote: > Hi, > > On Thu, Jul 08, 2021 at 12:00:36AM -0700, Emmanuel Charpentier wrote: > > I could connect to ask.sagemath.org on Jul 8, 2021 at about 7:30 CEST, but > > no longer around 8;30 CEST. Air conditioning acting up again ? > > Probably

Re: [sage-devel] ask.sagemath.org down ?

2021-07-08 Thread Thierry
Hi, On Thu, Jul 08, 2021 at 12:00:36AM -0700, Emmanuel Charpentier wrote: > I could connect to ask.sagemath.org on Jul 8, 2021 at about 7:30 CEST, but > no longer around 8;30 CEST. Air conditioning acting up again ? Probably not this time, i did reboot the host this morning but something went wr

[sage-devel] Re: symbolic rootof object

2021-07-08 Thread Emmanuel Charpentier
You may work on the univariate polynamial ring in your variable of interest over a suitable ring. A simple example : sage: var("x, y, z") (x, y, z) sage: foo=x^3-x*sin(y+z)+1 sage: foo.polynomial(ring=PolynomialRing(SR,"x")).parent() Univariate Polynomial Ring in x over Symbolic Ring sage: foo.

[sage-devel] ask.sagemath.org down ?

2021-07-08 Thread Emmanuel Charpentier
I could connect to ask.sagemath.org on Jul 8, 2021 at about 7:30 CEST, but no longer around 8;30 CEST. Air conditioning acting up again ? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails fro