Re: [sage-devel] vector subspace of K^30 where K is a nf of degree 20

2020-04-07 Thread Vincent Delecroix
Le 08/04/2020 à 01:03, Nils Bruin a écrit : On Tuesday, April 7, 2020 at 3:10:00 PM UTC-7, David Roe wrote: For matrices over Q there's sage.matrix.misc.matrix_rational_echelon_form_multimodular, which is the default for matrices with more than 25 rows/columns. It should be possible to adap

Re: [sage-devel] Re: doc for web server installation

2020-04-07 Thread Dima Pasechnik
On Wed, Apr 8, 2020 at 6:18 AM Denis wrote: > > Hi Markus, > > well, that would be the non-paranoic approach, to put it mildly. Generally > speaking, it is against best practices to expose the server of a web > application to the open internet. IMHO this is not exposing the server to "open inte

Re: [sage-devel] vector subspace of K^30 where K is a nf of degree 20

2020-04-07 Thread Nils Bruin
On Tuesday, April 7, 2020 at 3:10:00 PM UTC-7, David Roe wrote: > > For matrices over Q there's > sage.matrix.misc.matrix_rational_echelon_form_multimodular, which is the > default for matrices with more than 25 rows/columns. It should be possible > to adapt this to number fields. > > In partic

[sage-devel] Re: doc for web server installation

2020-04-07 Thread Denis
Hi Markus, well, that would be the non-paranoic approach, to put it mildly. Generally speaking, it is against best practices to expose the server of a web application to the open internet. This is true even for a CMS like Plone, let alone Jupyter, which is intended for execution of arbitrary co

Re: [sage-devel] vector subspace of K^30 where K is a nf of degree 20

2020-04-07 Thread David Roe
For matrices over Q there's sage.matrix.misc.matrix_rational_echelon_form_multimodular, which is the default for matrices with more than 25 rows/columns. It should be possible to adapt this to number fields. You might also look into what Pari is capable of, since we're getting our number fields f

Re: [sage-devel] Re: solve() yields an expression rather than an equation/inequality

2020-04-07 Thread Evan O'Dorney
Done! Thanks for your help! Evan On Tue, Mar 31, 2020 at 2:04 PM Markus Wageringel < markus.wagerin...@gmail.com> wrote: > Yes, if you could do that, that would be nice. Thank you. I am not really > familiar with Maxima myself. > > > Am 31.03.2020 um 15:13 schrieb Evan O'Dorney : > > Thank you,

[sage-devel] Re: Rounding in Sage

2020-04-07 Thread Simon King
Hi! On 2020-04-07, Thierry wrote: > By the way, an excellent ressource to teach those kind of things and > check carefully what happens is the sign_mantissa_exponent method: > > sage: a = RR(1.1) > sage: a > 1.10 > sage: a.sign_mantissa_exponent() > (1, 4953959590107546, -52) Nice, I

[sage-devel] Re: Rounding in Sage

2020-04-07 Thread Simon King
On 2020-04-07, Thierry wrote: > An appropriate place seems to be : https://ask.sagemath.org/questions/ I will never prefer ask.sagemath over sage-support. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop re

[sage-devel] vector subspace of K^30 where K is a nf of degree 20

2020-04-07 Thread Vincent Delecroix
Dear linear algebra specialists, I am stuck with an elementary linear algebra problem where Sage is (for now) of no help. I want to compute the rank of a 30 x 30 dense matrix over a number field of degree 30. sage: x = polygen(QQ, 'x') sage: K = NumberField(x^30 - 3, 'a') sage: M = MatrixSpace(K

Re: [sage-devel] Re: Rounding in Sage

2020-04-07 Thread Thierry
By the way, an excellent ressource to teach those kind of things and check carefully what happens is the sign_mantissa_exponent method: sage: a = RR(1.1) sage: a 1.10 sage: a.sign_mantissa_exponent() (1, 4953959590107546, -52) Ciao, Thierry On Tue, Apr 07, 2020 at 05:34:44PM +0200

[sage-devel] Re: Rounding in Sage

2020-04-07 Thread Marc Mezzarobba
Hi Simon, Simon King wrote: > According to IEEE 754, the default rounding mode for floating-point > operations is "round half to even". However, in examples it seems that > the rounding roule in RR is: "round half away from zero if the total > number of decimal digits in the result is odd and towa

Re: [sage-devel] Rounding in Sage

2020-04-07 Thread Thierry
Hi, On Tue, Apr 07, 2020 at 02:10:28PM -, Simon King wrote: > Hi! > > A few days ago, I asked on sage-support about rounding in Sage. But > since there was no answer and since it is relevant to my teaching in the > upcoming semester, let me repost here (with modifications). An appropriate pl

[sage-devel] Rounding in Sage

2020-04-07 Thread Simon King
Hi! A few days ago, I asked on sage-support about rounding in Sage. But since there was no answer and since it is relevant to my teaching in the upcoming semester, let me repost here (with modifications). According to IEEE 754, the default rounding mode for floating-point operations is "round hal