[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
On 12/03/2012 09:44 AM, Cary Cherng wrote: I tried using solve_ineq in the notebook in the simple way below and got an error. It seems to be related to http://trac.sagemath.org/sage_trac/ticket/11520 Is there a workaround? R.g1,g2 = PolynomialRing(QQ) solve_ineq([g1 g2],[g1,g2]) Traceback

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread Cary Cherng
The patch in the ticket seemed to only address making the error messages better. Is there some mechanism to convert p1 and p2 to symbolic based polynomials in the below code R.g1,g2 = PolynomialRing(QQ) ... # long sequence of calculations to compute polynomials p1 and p2 ... solve_ineq([p1 0,

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
I don't know of any nice way of converting the variables to symbolic variables. Even if you did compute the polynomials p1 and p2, and even if you did manage to put it in the solve_* expressions after converting the variables, the answer that you will get as the solution will not belong to

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread Volker Braun
On Monday, December 3, 2012 6:19:18 AM UTC-5, P Purkayastha wrote: I don't know of any nice way of converting the variables to symbolic variables. For the record, you can just cast to SR (the symbolic ring): sage: R.g1,g2 = PolynomialRing(QQ) sage: g1 = SR(g1) sage: g2 = SR(g2) sage:

[sage-support] Re: solve_ineq() fails

2012-12-03 Thread P Purkayastha
On 12/03/2012 07:42 PM, Volker Braun wrote: On Monday, December 3, 2012 6:19:18 AM UTC-5, P Purkayastha wrote: I don't know of any nice way of converting the variables to symbolic variables. For the record, you can just cast to SR (the symbolic ring): sage: R.g1,g2 =

[sage-support] Re: SIGABRT in Graph.clique_number() and assertion in cliquer

2012-12-03 Thread Chris Godsil
sage: k4=graphs.CompleteGraph(4) sage: k4.complement().line_graph().complement() complement(): Graph on 0 vertices clique_number() is crashing on the empty graph, On Saturday, December 1, 2012 9:30:27 AM UTC-5, Georgi Guninski wrote: for g in graphs(4):

[sage-support] Re: SIGABRT in Graph.clique_number() and assertion in cliquer

2012-12-03 Thread Jason Grout
On 12/1/12 8:30 AM, Georgi Guninski wrote: On sagenb.org don't get any output, don't know how to interpret this. That happens a lot of times when there was a crash, so it's consistent with the error you saw. Thanks, Jason -- You received this message because you are subscribed to the

[sage-support] Re: SIGABRT in Graph.clique_number() and assertion in cliquer

2012-12-03 Thread Nathann Cohen
http://trac.sagemath.org/sage_trac/ticket/10756 T_T Of course I only did it for clique_maximum() T_T Well, Georgi... Weren't you looking for an easy patch to write ? :-P Nathann On Monday, December 3, 2012 3:16:09 PM UTC+1, Jason Grout wrote: On 12/1/12 8:30 AM, Georgi Guninski wrote: On

[sage-support] Re: Constructing subsapces of vector spaces

2012-12-03 Thread John Cremona
Try mat.kernel_on(V). Also, if v is a vector in the ambient space which happens to lie in V then V.coordinates(v) will give its coordinates w.r.t. the basis of V. John Cremona On Monday, December 3, 2012 1:38:38 AM UTC, Andrew Mathas wrote: Hi All, I have been playing with some code

[sage-support] Sage VM: Googe Chrome should NOT run in kiosk mode

2012-12-03 Thread john_perry_usm
Hello Sage VM runs Chrome in kiosk mode, and refuses to get out of kiosk mode (I can press F11 to my heart's content; it doesn't change anything), therefore won't allow any changes to its settings. The settings certainly need to change for non-trivial work, as when I'd like to save a worksheet

[sage-support] Re: Sage VM: Googe Chrome should NOT run in kiosk mode

2012-12-03 Thread Volker Braun
Really I see the browser running inside the VM as a crutch for those that can't use their host browser because of a misconfigured firewall. I understand your frustration being stuck with kiosk mode, but I don't think that making the environment in the VM more complex is a good idea either.

[sage-support] Re: Sage VM: Googe Chrome should NOT run in kiosk mode

2012-12-03 Thread john_perry_usm
On Monday, December 3, 2012 1:24:38 PM UTC-6, Volker Braun wrote: Really I see the browser running inside the VM as a crutch for those that can't use their host browser because of a misconfigured firewall. Pshaw. For some reason I was under the impression that this wasn't working anymore.

[sage-support] solve_ineq does not always return the empty set as [ ]

2012-12-03 Thread Cary Cherng
In the below why does solve_ineq called with the inequalities t1 = t2 , t1 t2 not return [ ], but the other invocations of solve_ineq return the empty set as [ ] ? sage: g1,g2 = var('g1,g2') sage: t1 = g1^2*g2^2 sage: t2 = g1^2*g2 sage: solve_ineq([t1 = t2 , t1 t2],[g1,g2]) [[g1 == 0, 1 g2,

[sage-support] Re: Constructing subsapces of vector spaces

2012-12-03 Thread Andrew Mathas
Hi John, Thanks for the reply, but you have my problem upside down as I don't need to restrict from the ambient space to the subspace but rather to extend from the subspace to the ambient space. For example, I could have: sage: V Free module of degree 4 and rank 3 over Integer Ring User

[sage-support] Re: Constructing subsapces of vector spaces

2012-12-03 Thread Nils Bruin
On Monday, December 3, 2012 5:09:40 PM UTC-8, Andrew Mathas wrote: Hi John, Thanks for the reply, but you have my problem upside down as I don't need to restrict from the ambient space to the subspace but rather to extend from the subspace to the ambient space. For example, I could

[sage-support] Re: solve_ineq does not always return the empty set as [ ]

2012-12-03 Thread P Purkayastha
On 12/04/2012 08:51 AM, Cary Cherng wrote: In the below why does solve_ineq called with the inequalities t1 = t2 , t1 t2 not return [ ], but the other invocations of solve_ineq return the empty set as [ ] ? sage: g1,g2 = var('g1,g2') sage: t1 = g1^2*g2^2 sage: t2 = g1^2*g2 sage: solve_ineq([t1

[sage-support] Re: solve_ineq does not always return the empty set as [ ]

2012-12-03 Thread Cary Cherng
I recognize that it is the empty set described in a different way. Is there a reason why it can't always describe the empty set as [ ] ? The question I am having is how do I tell if it is the empty set for more complicated inputs? For example, consider setting t1 and t2 to large polynomials