Re: [sage-devel] how to get patchbots to test a ticket ?

2017-11-22 Thread Thierry
Hi,

On Wed, Nov 22, 2017 at 11:00:27PM -0800, Emmanuel Charpentier wrote:
> Re Trac#24240  : this ticket 
> updates freetype (standard package) to get R t have graphics capabilities.
> 
> This ticket has been :
> 
>- tested once by the Cygwin patchbot (which failed to apply the patch)
>- marked as "positve review" by Andrey Novoseltsev
>- re-marked as "need_review" by me to grab patchbots' attention
>- tested *once* by another (Ubuntu) patchbot, which just applied the 
>patch but did not test it, marking it as "SPKG".
>
> How to get this ticket tested by (various) patchbots ?


Got to the patchbot page of the ticket, by clicking on the top-right icon:

https://patchbot.sagemath.org/ticket/24240/

and add "?kick" on the end of the URL:

https://patchbot.sagemath.org/ticket/24240/?kick

You will see the "retry: True" in the description (i did that already, so
it shouldbe here).

Ciao,
Thiery


> 
> --
> Emmanuel Charpentier
> 
> -- 
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] how to get patchbots to test a ticket ?

2017-11-22 Thread Emmanuel Charpentier
Re Trac#24240  : this ticket 
updates freetype (standard package) to get R t have graphics capabilities.

This ticket has been :

   - tested once by the Cygwin patchbot (which failed to apply the patch)
   - marked as "positve review" by Andrey Novoseltsev
   - re-marked as "need_review" by me to grab patchbots' attention
   - tested *once* by another (Ubuntu) patchbot, which just applied the 
   patch but did not test it, marking it as "SPKG".
   
How to get this ticket tested by (various) patchbots ?

--
Emmanuel Charpentier

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: libcurl not installing

2017-11-22 Thread Emmanuel Charpentier
What is printed when you ask pkg-config --cflags --libs openssl ?

--
Emmanuel Charpentier

Le mercredi 22 novembre 2017 12:07:55 UTC+1, daniel trejo a écrit :
>
> Hi, thank you for your reply
>
> I have no permission for writing in neither /usr/ or /usr/local/any 
> other standard please that is checked by configure please?
>
> best regards
>
> El miércoles, 22 de noviembre de 2017, 11:58:14 (UTC+1), Emmanuel 
> Charpentier escribió:
>>
>> Le mercredi 22 novembre 2017 11:22:27 UTC+1, daniel trejo a écrit :
>>
>> Hi again, thank you
>>>
>>> The servers setup is such that, the binary for curl is in /usr/bin, 
>>> while its headers and lib are in the directory /software/,
>>>
>> Highly nonstandard. That *may* be the reason for which libcurl doesn’t 
>> build.
>>
>> Could you try to symlink them to a more standard place ?
>>
>> Anyway, Trac#24107  (slowly 
>> progressing…) should fix this.
>>
>> Thanks for the heads-up !
>>
>> —
>> Emmanuel Charpentier
>>
>> I have added both library and include directory in the env variables 
>>> LDFLAGS and CPPFLAGS. Still, the output of configure continues to be 
>>>
>>> curl-7.56.1
>>>
>>> that is, it still tries to build curl-7.56, maybe I missed something? 
>>>
>>> best regards 
>>>
>>> El martes, 21 de noviembre de 2017, 17:13:44 (UTC+1), Dima Pasechnik 
>>> escribió:



 On Tuesday, November 21, 2017 at 3:23:00 PM UTC, daniel trejo wrote:
>
> Thank you for all your help.
>
> Sadly I downloaded sage.8.1.rc2, ran ./configure and make, still the 
> same problem during make
>
> could it be that in my setup configure is not finding the path to 
> libcurl? do I have to set an environmental variable for sage to use the 
> systems libcurl?
>

 Do you have curl executable installed too? It's checked for as well.

 The output of configure should have a line like

 curl-7.56.1 not installed (configure check)

 that indicates that it has picked up the system (lib)curl 
 --- otherwise it would instead have a line like

 curl-7.56.1

 As long as curl and libcurl are installed at sane locations, such us 
 /usr/ or /usr/local/, 
 no need for any special config options.



> Best regards
>
> El martes, 21 de noviembre de 2017, 16:15:05 (UTC+1), Dima Pasechnik 
> escribió:
>>
>> sage 8.1 (or already available 8.1.rc2) will do this automatically.
>
> ​
>>
>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: libcurl not installing

2017-11-22 Thread Emmanuel Charpentier
What is printed when you ask pkg-config --cflags --libs libopenssl ?

--
Emmanuel Charpentier

Le mercredi 22 novembre 2017 12:07:55 UTC+1, daniel trejo a écrit :
>
> Hi, thank you for your reply
>
> I have no permission for writing in neither /usr/ or /usr/local/any 
> other standard please that is checked by configure please?
>
> best regards
>
> El miércoles, 22 de noviembre de 2017, 11:58:14 (UTC+1), Emmanuel 
> Charpentier escribió:
>>
>> Le mercredi 22 novembre 2017 11:22:27 UTC+1, daniel trejo a écrit :
>>
>> Hi again, thank you
>>>
>>> The servers setup is such that, the binary for curl is in /usr/bin, 
>>> while its headers and lib are in the directory /software/,
>>>
>> Highly nonstandard. That *may* be the reason for which libcurl doesn’t 
>> build.
>>
>> Could you try to symlink them to a more standard place ?
>>
>> Anyway, Trac#24107  (slowly 
>> progressing…) should fix this.
>>
>> Thanks for the heads-up !
>>
>> —
>> Emmanuel Charpentier
>>
>> I have added both library and include directory in the env variables 
>>> LDFLAGS and CPPFLAGS. Still, the output of configure continues to be 
>>>
>>> curl-7.56.1
>>>
>>> that is, it still tries to build curl-7.56, maybe I missed something? 
>>>
>>> best regards 
>>>
>>> El martes, 21 de noviembre de 2017, 17:13:44 (UTC+1), Dima Pasechnik 
>>> escribió:



 On Tuesday, November 21, 2017 at 3:23:00 PM UTC, daniel trejo wrote:
>
> Thank you for all your help.
>
> Sadly I downloaded sage.8.1.rc2, ran ./configure and make, still the 
> same problem during make
>
> could it be that in my setup configure is not finding the path to 
> libcurl? do I have to set an environmental variable for sage to use the 
> systems libcurl?
>

 Do you have curl executable installed too? It's checked for as well.

 The output of configure should have a line like

 curl-7.56.1 not installed (configure check)

 that indicates that it has picked up the system (lib)curl 
 --- otherwise it would instead have a line like

 curl-7.56.1

 As long as curl and libcurl are installed at sane locations, such us 
 /usr/ or /usr/local/, 
 no need for any special config options.



> Best regards
>
> El martes, 21 de noviembre de 2017, 16:15:05 (UTC+1), Dima Pasechnik 
> escribió:
>>
>> sage 8.1 (or already available 8.1.rc2) will do this automatically.
>
> ​
>>
>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] Unexpected behavior of pow

2017-11-22 Thread Jeroen Demeyer

On 2017-11-22 08:57, Gabriel Chênevert wrote:

I find pow's silent behavior quite unsettling


I agree! As it happens, I am working on fixing pow(). In the (near) 
future, the 3-argument version of pow() will typically raise an error in 
Sage, except in a few well-defined cases. For example, pow() with 3 
integers will still work as expected.



Jeroen.

--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: libcurl not installing

2017-11-22 Thread daniel trejo
Hi, thank you for your reply

I have no permission for writing in neither /usr/ or /usr/local/any 
other standard please that is checked by configure please?

best regards

El miércoles, 22 de noviembre de 2017, 11:58:14 (UTC+1), Emmanuel 
Charpentier escribió:
>
> Le mercredi 22 novembre 2017 11:22:27 UTC+1, daniel trejo a écrit :
>
> Hi again, thank you
>>
>> The servers setup is such that, the binary for curl is in /usr/bin, while 
>> its headers and lib are in the directory /software/,
>>
> Highly nonstandard. That *may* be the reason for which libcurl doesn’t 
> build.
>
> Could you try to symlink them to a more standard place ?
>
> Anyway, Trac#24107  (slowly 
> progressing…) should fix this.
>
> Thanks for the heads-up !
>
> —
> Emmanuel Charpentier
>
> I have added both library and include directory in the env variables 
>> LDFLAGS and CPPFLAGS. Still, the output of configure continues to be 
>>
>> curl-7.56.1
>>
>> that is, it still tries to build curl-7.56, maybe I missed something? 
>>
>> best regards 
>>
>> El martes, 21 de noviembre de 2017, 17:13:44 (UTC+1), Dima Pasechnik 
>> escribió:
>>>
>>>
>>>
>>> On Tuesday, November 21, 2017 at 3:23:00 PM UTC, daniel trejo wrote:

 Thank you for all your help.

 Sadly I downloaded sage.8.1.rc2, ran ./configure and make, still the 
 same problem during make

 could it be that in my setup configure is not finding the path to 
 libcurl? do I have to set an environmental variable for sage to use the 
 systems libcurl?

>>>
>>> Do you have curl executable installed too? It's checked for as well.
>>>
>>> The output of configure should have a line like
>>>
>>> curl-7.56.1 not installed (configure check)
>>>
>>> that indicates that it has picked up the system (lib)curl 
>>> --- otherwise it would instead have a line like
>>>
>>> curl-7.56.1
>>>
>>> As long as curl and libcurl are installed at sane locations, such us 
>>> /usr/ or /usr/local/, 
>>> no need for any special config options.
>>>
>>>
>>>
 Best regards

 El martes, 21 de noviembre de 2017, 16:15:05 (UTC+1), Dima Pasechnik 
 escribió:
>
> sage 8.1 (or already available 8.1.rc2) will do this automatically.

 ​
>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: libcurl not installing

2017-11-22 Thread Emmanuel Charpentier


Le mercredi 22 novembre 2017 11:22:27 UTC+1, daniel trejo a écrit :

Hi again, thank you
>
> The servers setup is such that, the binary for curl is in /usr/bin, while 
> its headers and lib are in the directory /software/,
>
Highly nonstandard. That *may* be the reason for which libcurl doesn’t 
build.

Could you try to symlink them to a more standard place ?

Anyway, Trac#24107  (slowly 
progressing…) should fix this.

Thanks for the heads-up !

—
Emmanuel Charpentier

I have added both library and include directory in the env variables 
> LDFLAGS and CPPFLAGS. Still, the output of configure continues to be 
>
> curl-7.56.1
>
> that is, it still tries to build curl-7.56, maybe I missed something? 
>
> best regards 
>
> El martes, 21 de noviembre de 2017, 17:13:44 (UTC+1), Dima Pasechnik 
> escribió:
>>
>>
>>
>> On Tuesday, November 21, 2017 at 3:23:00 PM UTC, daniel trejo wrote:
>>>
>>> Thank you for all your help.
>>>
>>> Sadly I downloaded sage.8.1.rc2, ran ./configure and make, still the 
>>> same problem during make
>>>
>>> could it be that in my setup configure is not finding the path to 
>>> libcurl? do I have to set an environmental variable for sage to use the 
>>> systems libcurl?
>>>
>>
>> Do you have curl executable installed too? It's checked for as well.
>>
>> The output of configure should have a line like
>>
>> curl-7.56.1 not installed (configure check)
>>
>> that indicates that it has picked up the system (lib)curl 
>> --- otherwise it would instead have a line like
>>
>> curl-7.56.1
>>
>> As long as curl and libcurl are installed at sane locations, such us 
>> /usr/ or /usr/local/, 
>> no need for any special config options.
>>
>>
>>
>>> Best regards
>>>
>>> El martes, 21 de noviembre de 2017, 16:15:05 (UTC+1), Dima Pasechnik 
>>> escribió:

 sage 8.1 (or already available 8.1.rc2) will do this automatically.
>>>
>>> ​

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: libcurl not installing

2017-11-22 Thread daniel trejo
Hi again, thank you

The servers setup is such that, the binary for curl is in /usr/bin, while 
its headers and lib are in the directory /software/, I have added both 
library and include directory in the env variables LDFLAGS and CPPFLAGS. 
Still, the output of configure continues to be 

curl-7.56.1

that is, it still tries to build curl-7.56, maybe I missed something? 

best regards 

El martes, 21 de noviembre de 2017, 17:13:44 (UTC+1), Dima Pasechnik 
escribió:
>
>
>
> On Tuesday, November 21, 2017 at 3:23:00 PM UTC, daniel trejo wrote:
>>
>> Thank you for all your help.
>>
>> Sadly I downloaded sage.8.1.rc2, ran ./configure and make, still the same 
>> problem during make
>>
>> could it be that in my setup configure is not finding the path to 
>> libcurl? do I have to set an environmental variable for sage to use the 
>> systems libcurl?
>>
>
> Do you have curl executable installed too? It's checked for as well.
>
> The output of configure should have a line like
>
> curl-7.56.1 not installed (configure check)
>
> that indicates that it has picked up the system (lib)curl 
> --- otherwise it would instead have a line like
>
> curl-7.56.1
>
> As long as curl and libcurl are installed at sane locations, such us /usr/ 
> or /usr/local/, 
> no need for any special config options.
>
>
>
>> Best regards
>>
>> El martes, 21 de noviembre de 2017, 16:15:05 (UTC+1), Dima Pasechnik 
>> escribió:
>>>
>>> sage 8.1 (or already available 8.1.rc2) will do this automatically.
>>
>>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Unexpected behavior of pow

2017-11-22 Thread Gabriel Chênevert
Hello all,

I stumbled onto something weird while doing modular arithmetic: say you do 
in Sage 8.0

a = Zmod(6)(4)
pow(a, 1, k)

the result is always a itself, which prints as 4.

However,

a**1 % k

gives what I would expect (perform reduction when k divides 6, raises an 
error when it doesn't) – and the doc says that pow(a, b, c) should be 
equivalent to a**b % c.

I find pow's silent behavior quite unsettling, is there some good reason 
that I'm missing to implement it that way?

Have a very nice day,

  Gabriel Chênevert

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] Re: Online Sage Days

2017-11-22 Thread Simon Brandhorst
 A wiki page would help for example. I kind of lost track of things. 

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.