Re: [sage-devel] Re: "COMPUTATIONAL MATHEMATICS WITH SAGEMATH"

2018-12-13 Thread Thierry Dumont
For sure, you can. Thanks ! t.d. Le 14/12/2018 à 02:09, Travis Scrimshaw a écrit : > > > On Thursday, December 13, 2018 at 1:28:09 AM UTC+10, William wrote: > > "COMPUTATIONAL MATHEMATICS WITH SAGEMATH" is now in English and > published on paper by a traditional publisher. >

Re: [sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Amir Zia
On Thursday, December 13, 2018 at 9:05:51 PM UTC-5, Amir Zia wrote: > > > > On Thursday, December 13, 2018 at 8:38:45 PM UTC-5, Samuel Lelievre wrote: >> >> Fri 2018-12-14 01:53 UTC+1, Amir Zia: >> > >> > Ubuntu 18.04 >> > Sagemath 8.1-7 >> > Texmacs 1.99.8 >> > the plugin is downloaded

Re: [sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Amir Zia
On Thursday, December 13, 2018 at 8:38:45 PM UTC-5, Samuel Lelievre wrote: > > Fri 2018-12-14 01:53 UTC+1, Amir Zia: > > > > Ubuntu 18.04 > > Sagemath 8.1-7 > > Texmacs 1.99.8 > > the plugin is downloaded from this page around 3 hours ago: > > >

Re: [sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Samuel Lelièvre
Fri 2018-12-14 01:53 UTC+1, Amir Zia: > > Ubuntu 18.04 > Sagemath 8.1-7 > Texmacs 1.99.8 > the plugin is downloaded from this page around 3 hours ago: > https://wiki.sagemath.org/TeXmacs?action=AttachFile=view=texmacs-sage.tar.gz Oh, that wiki page is very out of date (we should add a warning

[sage-devel] Re: "COMPUTATIONAL MATHEMATICS WITH SAGEMATH"

2018-12-13 Thread Travis Scrimshaw
On Thursday, December 13, 2018 at 1:28:09 AM UTC+10, William wrote: > > "COMPUTATIONAL MATHEMATICS WITH SAGEMATH" is now in English and > published on paper by a traditional publisher. > http://bookstore.siam.org/ot160/ > > There's also a free online version. >

[sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Amir Zia
On Thursday, December 13, 2018 at 6:35:39 PM UTC-5, Samuel Lelievre wrote: > > - What operating system? > - What version of SageMath? How was it installed? > - What version of TeXmacs? > - What version of the TeXmacs Sage plugin? > In particular is it the latest version from >

[sage-devel] Re: Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Samuel Lelievre
- What operating system? - What version of SageMath? How was it installed? - What version of TeXmacs? - What version of the TeXmacs Sage plugin? In particular is it the latest version from https://github.com/texmacs/SageMath.tm ? -- You received this message because you are subscribed to

[sage-devel] Cannot run Sagemath session in Texmacs on Linux

2018-12-13 Thread Amir Zia
Here is what I was getting at the beginning after going to insert/session/sage: [image: texmacs.jpg] then I realized I should add sage to $PATH, So this is what I did: which sage Output: /usr/bin/sage sudo ln -s /usr/bin/sage /usr/local/bin/ Now, This is the error I am getting: [image:

Re: [sage-devel] Re: Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

2018-12-13 Thread steven . craighead
Once I got cryptominisat installed, I was able to replicate the bug. I also rearranged the equations and got it to solve as well, without rearranging the order of the variables. Sent from my iPhone > On Dec 13, 2018, at 11:58 AM, Sébastien Labbé wrote: > > I tested cryptominisat, picosat

[sage-devel] Re: Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

2018-12-13 Thread Sébastien Labbé
I tested cryptominisat, picosat and glucose. Glucose (added as a optional or experimental package in https://trac.sagemath.org/ticket/26361) finds a solution in the first case. In the second case (variables in reverse order), all of them finds something. My experiments are copied below. sage:

[sage-devel] Re: bug: point()'s faceted option does not work in newest version of Sage

2018-12-13 Thread Samuel Lelievre
It seems one now needs to specify the marker edge color. This might have to do with the upgrade to matplotlib 2.2.2 in [Sage Trac ticket 25702](https://trac.sagemath.org/ticket/25702). One can discover the existence of the optional argument `markeredgecolor` by reading the documentation for

Re: [sage-devel] Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

2018-12-13 Thread Jörg-Volker
Hi Mate, On Wednesday, December 12, 2018 at 10:39:02 PM UTC+1, Mate Soos wrote: > > OK, so I need to understand this a bit more and need a bit of > hand-holding. The issue as far as I understand is the following: > > 1) If the equations are entered in one way, the solution is found. > Solution

[sage-devel] bug: point()'s faceted option does not work in newest version of Sage

2018-12-13 Thread jason . miller
This week I was using Sage on cocalc.com to generate some graphs for a Calculus I final. Earlier in the semester, I had generated some graphs with discontinuities and I used the point() function to draw some open circles and closed circles that denote closed and open endpoints of a graph

Re: [sage-devel] bug in trivial case of number field isomorphism due to wrong pari/sage conversion

2018-12-13 Thread John Cremona
On Thu, 13 Dec 2018 at 16:42, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > Le 13/12/2018 à 17:17, Jeroen Demeyer a écrit : > > On 2018-12-13 13:11, John Cremona wrote: > >> The problem is that t is a pari gen and Sage tries too hard to compare > >> that with python 0. > > > > This has

Re: [sage-devel] bug in trivial case of number field isomorphism due to wrong pari/sage conversion

2018-12-13 Thread Vincent Delecroix
Le 13/12/2018 à 17:17, Jeroen Demeyer a écrit : On 2018-12-13 13:11, John Cremona wrote: The problem is that t is a pari gen and Sage tries too hard to compare that with python 0. This has nothing to do with Sage or Python, the "problem" is that PARI considers [0] and 0 equal. Which make

[sage-devel] bug in doc for finitely generated matrix groups

2018-12-13 Thread Simon Burton
The binary tetrahedral group has order 24, but the "Tetra" group as defined here: http://doc.sagemath.org/html/en/reference/groups/sage/groups/matrix_gps/finitely_generated.html has order 48. sage: K. = CyclotomicField(4) sage: Tetra = MatrixGroup([(-1+i)/2,(-1+i)/2, (1+i)/2,(-1-i)/2], [0,i,

Re: [sage-devel] bug in trivial case of number field isomorphism due to wrong pari/sage conversion

2018-12-13 Thread Jeroen Demeyer
On 2018-12-13 13:11, John Cremona wrote: The problem is that t is a pari gen and Sage tries too hard to compare that with python 0. This has nothing to do with Sage or Python, the "problem" is that PARI considers [0] and 0 equal. Personally, I think that Sage (really the package cypari2

[sage-devel] bug in trivial case of number field isomorphism due to wrong pari/sage conversion

2018-12-13 Thread John Cremona
In 8.4: sage: F1 = NumberField(x,'b') sage: F2 = F1 sage: F1==F2 True sage: F1.is_isomorphic(F2) False Oops. In the code the work is done in the line t = self.pari_polynomial().nfisisom(other.pari_polynomial()) which in this case returns [0], meaning that the element 0 in F1 satisfies the

[sage-devel] Re: "COMPUTATIONAL MATHEMATICS WITH SAGEMATH"

2018-12-13 Thread Eric Gourgoulhon
Le jeudi 13 décembre 2018 04:48:20 UTC+1, kcrisman a écrit : > That's all great news, and especially thanks and congratulations to the > whole team who worked on both the French and English versions! > Indeed this book is excellent! Congratulations to the authors! Eric. -- You received

Re: [sage-devel] Re: doctest quality and patchbots

2018-12-13 Thread Dima Pasechnik
I have a concrete and reproducible example where doing more doctests in a file breaks other, unrelated, doctests, see https://trac.sagemath.org/ticket/26856#comment:8 I don't even know where to start debugging this... On Thursday, November 29, 2018 at 12:58:34 PM UTC, E. Madison Bray wrote: > >