Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Vincent Delecroix
2014-05-27 17:08 UTC+02:00, kcrisman kcris...@gmail.com: On Monday, May 26, 2014 8:47:36 PM UTC-4, leif wrote: Ralf Stephan wrote: Hi, with all the fine changes to docs in 6.2, the web docs are still at 6.1.1. Can you please update the pages? (weekly?) ping I think that one has

Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Harald Schilly
Well, I don't know if my really in charge - there is no formal assignment of tasks. I've attended a conference the last few days and barely had time to sleep. I'm aware that this is still one of several open tasks. Harald On Mon, Jun 2, 2014 at 9:46 AM, Vincent Delecroix

[sage-devel] Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Hi, I would like to get some advice regarding the Parent/Element scheme. Consider the algebra C^oo(U) of smooth real-valued functions (scalar fields) U -- *R*, where U is an open subset of a smooth manifold over *R*. As discussed in this thread

[sage-devel] Re: Hoping to develop Game Theoretical capabilities in to Sage

2014-06-02 Thread James Campbell
Just wanted to introduce myself as the student who will be working Vince this summer to implement some Game Theory into Sage. I'm really looking forward to contributing to an open source project for the first time! James -- You received this message because you are subscribed to the

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Marc Mezzarobba
Eric Gourgoulhon wrote: - Technically, it would be desirable to create a subclass, ConstScalarField say, of the Element class of C^oo(U) (ScalarField) to implement constant fields, in order to take advantage of their specific properities [...] - Mathematically, the set of constant scalar

Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Nathann Cohen
I sent an email to Minh yesterday. I thought that he was in charge of that ?... Nathann On Monday, June 2, 2014 11:06:32 AM UTC+2, Harald Schilly wrote: Well, I don't know if my really in charge - there is no formal assignment of tasks. I've attended a conference the last few days and

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Volker Braun
On Monday, June 2, 2014 10:19:30 AM UTC+1, Eric Gourgoulhon wrote: - their differentials are zero Computing the derivative of a constant is pretty fast, too. Since any interesting computation will also involve non-zero fields its not clear that you would gain much for the improved code

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Le lundi 2 juin 2014 13:20:55 UTC+2, Marc Mezzarobba a écrit : How about defining two parents (CU and CCU, with a coercion CCU -- CU and a partial conversion CU -- CCU), and two element classes (SF and a subclass CSF), and having CU(0) create an instance of CSF, but set the instance's

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Le lundi 2 juin 2014 13:54:11 UTC+2, Volker Braun a écrit : its not clear that you would gain much for the improved code complexity. Thanks for this comment. The gain in efficiency would certainly depend on the concrete use and may vary quite much from one case to the other. Eric. -- You

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Le lundi 2 juin 2014 14:26:31 UTC+2, Eric Gourgoulhon a écrit : Thank you for your anwser. Is this the standard way to implement algebraic substructures ? i.e. have a coercion B - A and a partial conversion B - A when B is a subspace (in the present case a subalgebra) of A ? Sorry for

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Niles Johnson
As I recall, the question of going with a SE site was discussed around the time that AskSage launched. As I recall, the consensus was that a fully free QA site was more consistent with the values of the Sage community. It may be that this is no longer the consensus (if it ever was). Or the

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Simon King
Hi Eric, On 2014-06-02, Eric Gourgoulhon egourgoul...@gmail.com wrote: How about defining two parents (CU and CCU, with a coercion CCU -- CU=20 and a partial conversion CU -- CCU), and two element classes (SF and a= =20 subclass CSF), and having CU(0) create an instance of CSF, but set the=20

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
Hello Sage Users: I proposed a Sage Stack Exchange site for Sage. Please go and follow it; add example questions and vote up (down) questions that you think should be on-topic (resp. off-topic) for the upcoming site.

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
As I recall, the question of going with a SE site was discussed around the time that AskSage launched. As I recall, the consensus was that a fully free QA site was more consistent with the values of the Sage community. It may be that this is no longer the consensus (if it ever was). Or

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Le lundi 2 juin 2014 15:00:25 UTC+2, Simon King a écrit : If B is a sub-structure of A, then the inclusion map is (by definition of a sub-structure) a homomorphism. If you distinguish isomorphic sub-structures, then this homomorphism is canonical. Hence, it should be safe to use the

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
See also some very interesting discussions at https://www.biostars.org/ -- 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

[sage-devel] Re: Please review #/16101

2014-06-02 Thread Volker Braun
bump On Friday, May 30, 2014 12:02:38 PM UTC+1, Volker Braun wrote: #16101: Python backend for Polyhedra http://trac.sagemath.org/ticket/16101 -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Niles Johnson
On Monday, June 2, 2014 9:31:30 AM UTC-4, kcrisman wrote: See also some very interesting discussions at https://www.biostars.org/ I didn't know about this QA software -- here is the source repository (MIT license): https://github.com/ialbert/biostar-central Note that it's about 2 years

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Volker Braun
On Monday, June 2, 2014 3:15:13 PM UTC+1, Niles Johnson wrote: On Monday, June 2, 2014 9:31:30 AM UTC-4, kcrisman wrote: See also some very interesting discussions at https://www.biostars.org/ https://github.com/ialbert/biostar-central This looks pretty good! -- You received this

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Simon King
Hi Eric, On 2014-06-02, Eric Gourgoulhon egourgoul...@gmail.com wrote: In this frame, there should be two distinct zero elements, namely A.zero()= =20 and B.zero(), i.e. we should have A.zero() =3D=3D B.zero() but A.zero() is B.zero() should return False. Correct ? If you rely on the

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
For the record, here's our rough roadmap for making AskSage maintainable again (in reverse order): * Fork latest AskBot (or other QA software) and cap number of posts per day for low-reputation users. * Optional: migrate existing questions, answers, and users to new AskBot install. Or

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Kannappan Sampath
I don't agree that we may not make a successful proposal. * Firstly, this site, if it ever becomes a reality, will subsume ask.sagemath.com alright, but not just that. This will help the entire community of GAP, PARI, Maxima, Singular, Sympy (probably also R, but cross-validated already handles

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread William Stein
On Mon, Jun 2, 2014 at 8:02 AM, Kannappan Sampath kntri...@gmail.com wrote: I don't agree that we may not make a successful proposal. * Firstly, this site, if it ever becomes a reality, will subsume ask.sagemath.com alright, but not just that. This will help the entire community of GAP, PARI,

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Niles Johnson
On Monday, June 2, 2014 11:13:09 AM UTC-4, William wrote: On Mon, Jun 2, 2014 at 8:02 AM, Kannappan Sampath kntr...@gmail.com javascript: wrote: I don't agree that we may not make a successful proposal. I find Karl's assessment pretty convincing, but I propose that we move discussion

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Kannappan Sampath
On Mon, Jun 2, 2014 at 8:42 PM, William Stein wst...@gmail.com wrote: On Mon, Jun 2, 2014 at 8:02 AM, Kannappan Sampath kntri...@gmail.com wrote: I don't agree that we may not make a successful proposal. * Firstly, this site, if it ever becomes a reality, will subsume ask.sagemath.com

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
* Firstly, this site, if it ever becomes a reality, will subsume ask.sagemath.com alright, but not just that. This will help the entire community of GAP, PARI, Maxima, Singular, Sympy (probably also R, but cross-validated already handles quite a bit...) users... I have not written

[sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Jason Grout
On 6/2/14, 11:12, William Stein wrote: In fact, as you suggest above, go one further: Python -- mathematical software Having such a site, which is like mathoverflow, but for open source math software, sounds attractive (if such a thing does not already exist). Related:

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread kcrisman
As another point of information, just one I forgot to mention earlier, after enough people follow it, it moves to the commitment phase - where new questions are not asked or answered, as I understand it (?) The commitment score is the minimum of three scores: % out of 200 committers

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Kannappan Sampath
On Mon, Jun 2, 2014 at 9:18 PM, kcrisman kcris...@gmail.com wrote: * Firstly, this site, if it ever becomes a reality, will subsume ask.sagemath.com alright, but not just that. This will help the entire community of GAP, PARI, Maxima, Singular, Sympy (probably also R, but cross-validated

Re: [sage-devel] Re: Sage Stack Exchange Site

2014-06-02 Thread Thierry
On Mon, Jun 02, 2014 at 05:56:35AM -0700, Niles Johnson wrote: As I recall, the question of going with a SE site was discussed around the time that AskSage launched. As I recall, the consensus was that a fully free QA site was more consistent with the values of the Sage community. +1 On

Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Harald Schilly
On Monday, June 2, 2014 1:31:37 PM UTC+2, Nathann Cohen wrote: I sent an email to Minh yesterday. I thought that he was in charge of that ?... He was, but AFAIK he is busy with other projects/things/life ... To give you an impression why this takes so long: I have to build sage to

Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Volker Braun
Whats the command to build the documentation for the web page? Maybe it would be easy to simply add that to the release workflow. On Monday, June 2, 2014 7:15:11 PM UTC+1, Harald Schilly wrote: On Monday, June 2, 2014 1:31:37 PM UTC+2, Nathann Cohen wrote: I sent an email to Minh

Re: [sage-devel] Re: sagemath.org/doc/

2014-06-02 Thread Harald Schilly
On Mon, Jun 2, 2014 at 8:28 PM, Volker Braun vbraun.n...@gmail.com wrote: Whats the command to build the documentation for the web page? Maybe it would be easy to simply add that to the release workflow. It uses the files directly from the /doc subdirectory. I.e. there is a script from Minh

[sage-devel] Sage and Emacs

2014-06-02 Thread Nicolas M. Thiery
Dear Sage and emacs users, Following Nathann recent discovery of the which-function-mode life saver, we pondered that it was time to have a centralized point to gather tips and tricks about Sage for emacs users. Since I haven't found one, I recycled the former sage-mode wiki page for

[sage-devel] Re: Subclassing an Element class

2014-06-02 Thread Eric Gourgoulhon
Thank you very much for these explanations. I will have a look at the facade mechanism. Best wishes, Eric. Le lundi 2 juin 2014 16:59:27 UTC+2, Simon King a écrit : If you rely on the default mechanisms and establish a coercion from B to A, then A.zero() == B.zero() is equivalent to

Re: [sage-devel] Re: Recommendations for a new Parent/Element pair

2014-06-02 Thread Nicolas M. Thiery
On Thu, May 29, 2014 at 11:30:36PM +0200, Nicolas M. Thiery wrote: Funny, I had exactly the same discussion yesterday. I am apparently not lazy enough, and getting bitten by it: I should have written something about this in the documentation a long time ago. I started doing this today, and