[sage-combinat-devel] Skew tableaux

2013-07-01 Thread Darij Grinberg
Hi all (Travis in particular since he's working on the file), A few days ago, the lack of functionality in combinat/skew_tableau.py (as opposed to combinat/tableau.py) bit me: I was trying to generate all skew semistandard tableaux of a given shape with a given max_entry, and noticed that there

[sage-combinat-devel] sage 5.10 queue fail

2013-07-01 Thread Jean-Baptiste Priez
First: applying dynamics-iet-tutorial.patch unable to find 'doc/en/reference/combinat/iet.rst' for patching 1 out of 1 hunks FAILED -- saving rejects to file doc/en/reference/combinat/iet.rst.rej patch failed, unable to continue (try -v) patch failed, rejects left in working dir errors during

[sage-combinat-devel] Re: Skew tableaux

2013-07-01 Thread Travis Scrimshaw
Hey Darij and everyone, You are correct, it is just a restructuring of skew* and ribbon[shaped](tableaux) to follow the category framework and better naming conventions. #14101 and its dependency #14772 and possibly #14519 are basically done; although #14101 still actually has some work

[sage-combinat-devel] Re: Skew tableaux

2013-07-01 Thread Travis Scrimshaw
I believe Mike will do the full review of #14772. Arthur and I are planning on cross reviewing #14101. To clarify, it is Mike Hanson. -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To unsubscribe from this group and stop receiving

[sage-devel] Solving rational inequality should give simplified result

2013-07-01 Thread Robert Pollak
Hello list! I have already posted the following question to the Maxima mailing list [1], but I am not sure whether corresponding improvements should go into Sage or Maxima. In Sage 5.4, when I enter solve(abs((x-1)/(x-5)) = 1/3, x) I get the following DNF as output #0:

[sage-devel] Re: Changes in Maxima behavior

2013-07-01 Thread Joris Vankerschaver
Hi all, Following RJF's suggestion, I played around with Maxima for a little while to see where the problem arises. As far as I can tell, this is again a problem with the fact that simplify_radical gets called in simplify_full (see #12737). The problem that I'm seeing used to be absent when

Re: [sage-devel] Re: _cleanup method in DifferentialForms class

2013-07-01 Thread Joris Vankerschaver
Hi Dox, In addition to the link that Leif provided, it would be good to open a ticket on trac first with a description of the changes you propose to make. Let me know if you need any further help. I'd be happy to review your patch when you're done. All the best, Joris On Friday, June 28,

Re: [sage-devel] Zero as a symbol for a permutation group

2013-07-01 Thread Nathann Cohen
(#14772 is a Permutations patch currently waiting for a review which touches a lot of things. Sooo if you want to patch it somehow, you will have to give it a look) Nathann On Monday, July 1, 2013 2:11:10 AM UTC+2, Mike Hansen wrote: A better workaround is something like: sage: P =

Re: [sage-devel] Zero as a symbol for a permutation group

2013-07-01 Thread Mike Hansen
Here's a ticket with patch: http://trac.sagemath.org/sage_trac/ticket/14845 --Mike --Mike On Mon, Jul 1, 2013 at 1:14 PM, Nathann Cohen nathann.co...@gmail.com wrote: (#14772 is a Permutations patch currently waiting for a review which touches a lot of things. Sooo if you want to patch it

Re: [sage-devel] Zero as a symbol for a permutation group

2013-07-01 Thread Nathann Cohen
Hell !!! Here's a ticket with patch: http://trac.sagemath.org/sage_trac/ticket/14845 H.. A long time ago I wrote a very nasty patch that prevented one from building a Permutation on any set which was not 1, ..., n because I got angry at the fact that many methods of Permutations

Re: [sage-devel] Zero as a symbol for a permutation group

2013-07-01 Thread Mike Hansen
Looks like the code that you change does not come from the same patch, but it looks to me that if a PermutationGroup handles both 1, ...,n and a, b, c as its elements, then I expect that it should handle 0, 1, 2 as it handles a, b, c, that it to say probably with labels, and an internal

Re: [sage-devel] Zero as a symbol for a permutation group

2013-07-01 Thread Nathann Cohen
This is exactly what the patch I posted does. _ Yeah. Right. Just lost another occasion to keep quiet :-P Nathann -- 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

Re: [sage-devel] Re: find_stat in Sage, the combinatorial_map decorator and its consequences

2013-07-01 Thread Thierry
Hi, i first want to say that i love you all, i am not deeply involved in sage-graphs nor sage-combinat, nor representing any community. Just my two cents about this thread and the related tickets. - I disagree that this thread reached a consensus. - I disagree that functionalities in Sage can

[sage-devel] Re: Solving rational inequality should give simplified result

2013-07-01 Thread kcrisman
On Monday, July 1, 2013 5:37:02 AM UTC-4, Robert Pollak wrote: Hello list! I have already posted the following question to the Maxima mailing list [1], but I am not sure whether corresponding improvements should go into Sage or Maxima. In Sage 5.4, when I enter

[sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-01 Thread Joris Vankerschaver
On Friday, February 15, 2013 11:31:41 AM UTC, Julius wrote: With sage 5.6 sage: assume(x, 'real') sage: (abs(sin(x))^2).simplify_full() abs(sin(x))^2 For trigonometric simplifications, this is very inconvenient. For example sage: (abs(sin(x))^2 +

Re: [sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-01 Thread Michael Orlitzky
On 07/01/2013 03:37 PM, Joris Vankerschaver wrote: sage: u = var('u') sage: assume(u, 'real') This makes an assumption in Maxima, where most of the symbolic algebra takes place. sage: u = var('u', domain='real') This sets a flag in pynac, which does nothing as far as I can tell. -- You

Re: [sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-01 Thread Michael Orlitzky
On 07/01/2013 03:55 PM, Michael Orlitzky wrote: On 07/01/2013 03:37 PM, Joris Vankerschaver wrote: sage: u = var('u') sage: assume(u, 'real') This makes an assumption in Maxima, where most of the symbolic algebra takes place. sage: u = var('u', domain='real') This sets a flag in

[sage-devel] problems installing TOPCOM for triangulations?

2013-07-01 Thread Ursula
I'm running sage-5.10.rc0. When I evaluate the following code: p = ReflexivePolytope(3,2) points = p.points().columns() pointConfig = PointConfiguration(points) regular = pointConfig.restrict_to_regular_triangulations(True) regular I get the error: You must install TOPCOM to test for

Re: [sage-devel] Re: Sqrt simplification

2013-07-01 Thread rjf
On Sunday, June 30, 2013 1:23:50 PM UTC-7, Eric Gourgoulhon wrote: ... . It is not optimal but it works: It works on this example in your opinion. If you want to deal with square roots in this case using some bogus relationship between the choice of branch and some alleged internal

[sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-01 Thread rjf
There is certainly an opportunity to write a program that works like this: to simplify abs(f(x)) test to see if f(x) is real for all possible values of x. then find some g(x) such that g(x)^2=f(x). That is, f(x) is a perfect square. In such a case abs(f(x)) is equal to f(x). It has

[sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-01 Thread Volker Braun
The interface checks whether the utility program points2placingtriang from TOPCOM is available, and didn't find it in your install. Do you have Sage's current spkg of TOPCOM installed or some other version? Just for the record, you almost certainly want

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-01 Thread Ursula Whitcher
On 7/1/2013 8:26 PM, Volker Braun wrote: The interface checks whether the utility program points2placingtriang from TOPCOM is available, and didn't find it in your install. Do you have Sage's current spkg of TOPCOM installed or some other version? I ran install_package('TOPCOM') from the

Re: [sage-devel] problems installing TOPCOM for triangulations?

2013-07-01 Thread Volker Braun
This sounds even worse, the triangulation module is pure python but you got an exception ignored which must have come from some C/Cython code. On Monday, July 1, 2013 5:22:44 PM UTC-4, William wrote: Exception pexpect.ExceptionPexpect: ExceptionPexpect() in generator object _TOPCOM_exec at

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-01 Thread Volker Braun
You need to restart the notebook since the test output is cached... On Monday, July 1, 2013 9:36:36 PM UTC-4, Ursula wrote: On 7/1/2013 8:26 PM, Volker Braun wrote: The interface checks whether the utility program points2placingtriang from TOPCOM is available, and didn't find it in your