Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

Wow, I must have misunderstood, thanks! I just checked https://github.com/sagemath/sage/blob/master/src/sage/symbolic/assumptions.py and I find only a few references to Pynac, exclusively in the documentation

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

In other words no, ex.is_real() does query only the Pynac database. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

The existing bridge to/from Pynac has to include the forget() call, of course, and your example only shows that it works. https://github.com/sagemath/sage/blob/master/src/sage/symbolic/expression.pyx#L1916 https://github.com/sagemath/sage/blob/master/src/sage/symbolic/expression.pyx#L1994

Re: [sage-devel] Re: Is it reasoanble to have SR.var() inject an assumption into assumptions()?

Actually, ex.is_real() queries the assumptions() data base, not the GiNaC/Pynac info flags. Example: var('test', domain='real') print test.is_real() forget() print test.is_real() Returns: True False I think your proposal below would be great. Remove assume() from variable creation, but get

[sage-devel] Re: make sage-8.0: error installing matplotlib on debian

I you have a clean branch develop of recent sage develop version you can create a new empty branch based on that recent develop version of sage: git checkout develop -b train-track Then, you can pull the public train-track branch: git pull trac public/train-track Then, you can work. Of

Re: [sage-devel] Re: make sage-8.0: error installing matplotlib on debian

or perhaps this rather means that Sage's freetype package was not (properly) installed. Do you have SAGE_ROOT/local/include/freetype2/ft2build.h ? On Tuesday, June 20, 2017 at 2:48:59 PM UTC+1, Dima Pasechnik wrote: > > try > > apt-get install libfreetype6-dev > > > On Tuesday, June 20, 2017 at

Re: [sage-devel] Re: make sage-8.0: error installing matplotlib on debian

try apt-get install libfreetype6-dev On Tuesday, June 20, 2017 at 1:20:34 PM UTC+1, Thierry Coulbois wrote: > > Here is what I get > > 17N68:~> cd > '/home/coulbois/programmes/sage/cmi-sage/local/var/tmp/sage/build/matplotlib-1.5.1.p0/src' > > &&

[sage-devel] Re: make sage-8.0: error installing matplotlib on debian

Salut Sébastien, Bof, je voudrais compiler mon ticket public/train-track Euh, I am on my public/train-track ticket, so not so easy to pull the lattest version. Thierry Le mardi 20 juin 2017 13:43:30 UTC+2, Sébastien Labbé a écrit : > > > > On Tuesday, June 20, 2017 at 11:28:11 AM UTC+2,

[sage-devel] Comments sought on #23179: Automatically wrap spkg-install scripts with boilerplate

Hi all, I was just wondering if anyone had any thoughts on my proposal in https://trac.sagemath.org/ticket/23179 . Although I don't believe this is absolutely necessary to do, I'm increasingly convinced it's a good and useful change to make, and I would really like to have it in place for my

Re: [sage-devel] Re: make sage-8.0: error installing matplotlib on debian

Here is what I get 17N68:~> cd '/home/coulbois/programmes/sage/cmi-sage/local/var/tmp/sage/build/matplotlib-1.5.1.p0/src' && '/home/coulbois/programmes/sage/cmi-sage/sage' --python setup.py --name Edit setup.cfg to

[sage-devel] Re: make sage-8.0: error installing matplotlib on debian

On Tuesday, June 20, 2017 at 11:28:11 AM UTC+2, Thierry Coulbois wrote: > [sagelib-8.0.beta4] make[3] : on entre dans le répertoire > « /home/coulbois/programmes/sage/cmi-sage/src » > Maybe you can try with the newest develop version (8.0.beta11) ? Sébastien -- You received this message

Re: [sage-devel] Re: make sage-8.0: error installing matplotlib on debian

What happens when you do cd '/home/coulbois/programmes/sage/cmi-sage/local/var/tmp/sage/build/matplotlib-1.5.1.p0/src' && '/home/coulbois/programmes/sage/cmi-sage/sage' --python setup.py --name -- You received this message because you are subscribed to the Google Groups "sage-devel" group.

[sage-devel] Re: make sage-8.0: error installing matplotlib on debian

Yes I just tried a few things but this SAGE_PYTHON3=yes did not change anything. Here is the log without this variable: 17N68:~/programmes/sage/cmi-sage> make make build/make/Makefile make[1] : on entre dans le répertoire « /home/coulbois/programmes/sage/cmi-sage » make[1]: «

[sage-devel] Re: make sage-8.0: error installing matplotlib on debian

you have SAGE_PYTHON3=yes I don't think this will work as yet - or are you doing something experimental? On Tuesday, June 20, 2017 at 10:28:11 AM UTC+1, Thierry Coulbois wrote: > > Okay guys, > > I do not manage to make my new version of sage on my PC/debian. > > Any help ? > > Thanks, > >

[sage-devel] make sage-8.0: error installing matplotlib on debian

Okay guys, I do not manage to make my new version of sage on my PC/debian. Any help ? Thanks, Thierry 17N68:~/programmes/sage/cmi-sage> make make build/make/Makefile make[1] : on entre dans le répertoire « /home/coulbois/programmes/sage/cmi-sage » make[1]: « build/make/Makefile » est à jour.