Re: [sage-devel] Poll: Supplemental graphical visualizations

2015-05-05 Thread Franco Saliola
[X] Yes, I want graphical user interfaces that make use of the graphical abilities and I want Sage to be superior to Mathematica (especially for expert users) Franco On Tuesday, May 5, 2015 at 6:17:41 AM UTC-4, Volker Braun wrote: On Tuesday, May 5, 2015 at 10:53:04 AM UTC+2, Nicolas M.

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Nicolas M. Thiery
On Tue, May 05, 2015 at 12:44:00PM +0200, Vincent Delecroix wrote: Very much like for Parent, there probably are things that are in CategoryObject for very old legacy reasons (typically pre-categories!) and really do not belong there; this could typically be the case for generators and

[sage-devel] Re: CategoryObject vs. Parent

2015-05-05 Thread Simon King
Hi! On 2015-05-05, David Roe roed.m...@gmail.com wrote: Parent should represent an object in a category that has a forgetful functor to sets; CategoryObject an object in an arbitrary category. I have no objection to moving the generator and name code to Parent. Perhaps not the name code (if

[sage-combinat-devel] Re: Sage Days in Chicago

2015-05-05 Thread Simon King
Hi! On 2014-03-11, Anne Schilling a...@math.ucdavis.edu wrote: Aaron Lauve and Peter Tingley are planning to host Sage Days in Chicago during the summer of 2015 (not 2014!!). This will focus on representation theory, crystals, and combinatorics. When does it take place? Best regards,

[sage-devel] Re: Poll: Supplemental graphical visualizations

2015-05-05 Thread Travis Scrimshaw
[X] Yes, I want graphical user interfaces that make use of the graphical abilities Despite the obvious bias in the question, I'm for it as the default in the notebook. Best, Travis -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Robert Bradshaw
On Tue, May 5, 2015 at 2:10 PM, Eric Gourgoulhon egourgoul...@gmail.com wrote: Hi, Le mardi 5 mai 2015 12:44:08 UTC+2, vdelecroix a écrit : IMHO, they do not belong either to parents. A set has generators? sage: Partitions(5).gens_dict() Traceback (most recent call last): ...

[sage-devel] patchbot: http errors 502 or 503

2015-05-05 Thread Vincent Delecroix
Hello, While using patchbot client I do have *a lot* of http errors 502 (proxy error) or 503 (service unavailable). It happens on startup (while getting the list of trusted authors) or when transmitting report. Could somebody with access to the patchbot server could check the configurations as

Re: [sage-combinat-devel] Re: Sage Days in Chicago

2015-05-05 Thread Anne Schilling
On 5/5/15, 6:36 AM, Simon King wrote: Hi! On 2014-03-11, Anne Schilling a...@math.ucdavis.edu wrote: Aaron Lauve and Peter Tingley are planning to host Sage Days in Chicago during the summer of 2015 (not 2014!!). This will focus on representation theory, crystals, and combinatorics.

[sage-devel] Re: Poll: Supplemental graphical visualizations

2015-05-05 Thread Eric Gourgoulhon
[X ] Yes, I want graphical user interfaces that make use of the graphical abilities -- 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

Re: [sage-devel] Poll: Supplemental graphical visualizations

2015-05-05 Thread Nicolas M. Thiery
On Mon, May 04, 2015 at 09:54:15AM -0700, Volker Braun wrote: Since the last poll about graphics was immediately derailed by unrelated command line questions, let me try once more: Should selected objects display graphical visualizations when it can be done unobtrusively? We all

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread David Roe
Parent should represent an object in a category that has a forgetful functor to sets; CategoryObject an object in an arbitrary category. I have no objection to moving the generator and name code to Parent. David On Tue, May 5, 2015 at 4:41 AM, Jeroen Demeyer jdeme...@cage.ugent.be wrote:

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Nicolas M. Thiery
On Tue, May 05, 2015 at 10:41:42AM +0200, Jeroen Demeyer wrote: what are the types CategoryObject and Parent supposed to represent? For example, I don't understand why generators and names are dealt with on the level of CategoryObject but constructing elements is dealt with on the level of

Re: [sage-devel] Re: an_element, _an_element_, _an_element_impl and _an_element_c_impl

2015-05-05 Thread Nicolas M. Thiery
On Thu, Apr 23, 2015 at 11:24:17AM -0700, Travis Scrimshaw wrote: From what I've been told, we have _an_element_ inorder for an_element to do some caching, but with the advancements of our cached_method decorators, this shouldn't be necessary. IIRC, we are moving/have moved away

[sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Jeroen Demeyer
Hello, what are the types CategoryObject and Parent supposed to represent? For example, I don't understand why generators and names are dealt with on the level of CategoryObject but constructing elements is dealt with on the level of Parent. In fact, in all of Sage, there is only a single

Re: [sage-combinat-devel] Tutte polynomial error?

2015-05-05 Thread Mike Hansen
I've gone through and made the edge handling with respect to labels more explicit which also fixes the problem listed above. The trac ticket can be found at http://trac.sagemath.org/ticket/18366 --Mike -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Re: matrices: matrix space vs matrix group

2015-05-05 Thread Nicolas M. Thiery
Salut Vincent! On Mon, Apr 20, 2015 at 11:39:27AM +0200, Vincent Delecroix wrote: On 20/04/15 04:54, David Roe wrote: On Sun, Apr 19, 2015 at 10:18 AM, Volker Braun vbraun.n...@gmail.com wrote: I agree, coercion G - M is probably the right thing to do here. +1 Thanks for your

Re: [sage-devel] Re: matrices: matrix space vs matrix group

2015-05-05 Thread Jeroen Demeyer
On 2015-05-05 11:48, Nicolas M. Thiery wrote: Though note that doing equality up to coercion has drawbacks; in particular since it can easily break Python's specification that two equal objects shall have the same hash. http://wiki.sagemath.org/EqualityCoercion I'm sure we are

Re: [sage-devel] Poll: Supplemental graphical visualizations

2015-05-05 Thread Volker Braun
On Tuesday, May 5, 2015 at 10:53:04 AM UTC+2, Nicolas M. Thiéry wrote: The only caveat I could see is if this would noticeably slow down the output [1]. If that's not the case, +1. The picture is only generated if the graph has 20 vertices precisely to avoid long delays. Do you mind

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Eric Gourgoulhon
Hi, Le mardi 5 mai 2015 12:44:08 UTC+2, vdelecroix a écrit : IMHO, they do not belong either to parents. A set has generators? sage: Partitions(5).gens_dict() Traceback (most recent call last): ... AttributeError: 'StandardPermutations_n_with_category' object has no attribute

Re: [sage-devel] CategoryObject vs. Parent

2015-05-05 Thread Vincent Delecroix
On 05/05/15 11:00, Nicolas M. Thiery wrote: On Tue, May 05, 2015 at 10:41:42AM +0200, Jeroen Demeyer wrote: what are the types CategoryObject and Parent supposed to represent? For example, I don't understand why generators and names are dealt with on the level of CategoryObject but