Re: [sage-devel] Problems installing package qepcad

2015-06-01 Thread Robert Pollak
François Bissey wrote: > The spkg probably need an update as well as some love before being > usable. B.t.w., this is http://trac.sagemath.org/ticket/10224 . -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop

[sage-devel] Re: GSoC projects

2015-02-23 Thread Robert Pollak
Am 13.02.2015 um 17:04 schrieb mmarco: > Apperently there have been some movement on that aspect on sympy too: Yes, but unfortunately no GSoC students worked on this. They also have no CAD yet, see https://github.com/sympy/sympy/wiki/GSoC-2015-Ideas#cylindrical-algebraic-decomposition . -- Yo

[sage-devel] Re: GSoC projects

2015-02-13 Thread Robert Pollak
Am 11.02.2015 um 13:52 schrieb mmarco: > IIRC there was an old proposal about implementing semialgebraic sets. Hello Miguel, can you point me to this old proposal? I could not find it in the list archive and on the wiki. Robert -- You received this message because you are subscribed to the Goog

Re: [sage-devel] Re: GSoC projects

2015-02-13 Thread Robert Pollak
Am 12.02.2015 um 15:08 schrieb Dima Pasechnik: >> "Add support for systems of rational inequalities". [...] > There was a mentioning of a bigger thing - computing with semialgebraic > sets, and then this topic would naturally become a part of such a project. Yes, my univariate case would fit into

[sage-devel] Re: GSoC projects

2015-02-12 Thread Robert Pollak
Am 11.02.2015 um 05:03 schrieb William Stein: > Does anybody have any GSoC projects to add to > > http://wiki.sagemath.org/GSoC/2015 I hope it is suitable that I have added something there: "Add support for systems of rational inequalities". BTW, is there a way to get notified per mail when

Re: [sage-devel] What are we unable to do right now ?

2014-12-05 Thread Robert Pollak
Am 05.12.2014 um 08:17 schrieb Nathann Cohen: > In your past experiences (possibly when using Sage to teach in a > classroom), in which areas do you think we are behind users' expectations ? It should be possible to use Sage in 1st year students' math classes. My pet peeve there is solving system

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

2014-07-22 Thread Robert Pollak
I wrote that qepcad cannot deal with terms like '-6 != 0'. This shows as follows: sage: qepcad(-6 != 0, vars='(x)') --- ValueErrorTraceback (most recent call last) in () > 1 qepcad(-Integ

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

2014-07-22 Thread Robert Pollak
Am 22.07.2014 10:29, schrieb Dima Pasechnik: > perhaps a newer qepcad can deal with more things (Sage's qepcad 1.50 > is quite outdated by now). Care to make an update of the corresponding > spkg? I have been thinking about it. As a first step I have built qepcad-B-1.69 and its dependency, the cu

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

2014-07-19 Thread Robert Pollak
On Monday, July 1, 2013 11:37:02 AM UTC+2, I wrote: > > solve(abs((x-1)/(x-5)) <= 1/3, x) > [...] > The main issue is that the result should be > > [[-1 <= x, x <= 2]] > I have found a way to get this! A little term massaging gives me the equivalent: sage: qepcad((x-1)^2 <= (1/3)^2 * (x-5)^2

Re: [sage-devel] backups of the git tree ?

2014-07-17 Thread Robert Pollak
Am 17.07.2014 11:31, schrieb Nathann Cohen: > what if the russians suddendly attack the US, reach our > server and achieve to erase our data ? (or what if our hard drive burns ?) In Git, cloned Repositories are essentially backups of each other. So when a "central" repository vanishes, just recrea

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

2014-07-14 Thread Robert Pollak
Am 11.07.2014 18:51, schrieb parisse: > sage: %giac > > --> Switching to Giac <-- > > giac: solve(abs((x-1)/(x-5)) <= 1/3, x) > list[((x>=-1) and (x<=2))] This looks great, and I could confirm this in Giac/Xcas. However, there is no Sage instance easily available, where this works: Both the c

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

2014-07-11 Thread Robert Pollak
I wrote > * What would happen if Maxima were called with the default "domain : real"? Of course I mean: What would happen if Maxima were *always* called like that. I have created the Maxima issue 'fourier_elim and "domain : complex"': https://sourceforge.net/p/maxima/bugs/2783/ -- You received

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

2014-07-11 Thread Robert Pollak
If you mean: "what would happen if sage would initialize maxima_calculus > (which is maxima_lib) with domain: real?" -- a lot of doctests would break. > Yes, that's what I meant, and you are confirming my assumption. But shouldn't Maxima even give an error message when you ask it to solve an

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

2014-07-11 Thread Robert Pollak
Hello Nils, thank you for your analysis! You wrote: > It should really be no surprise that inequalities don't play nice with > "domain: complex" > Hm. "domain : complex" is set both in maxima_lib.py and maxima.py. Which one is responsible here? It has been in there "forever" (I followed it bac

[sage-devel] Re: GIT + release management

2013-07-03 Thread Robert Pollak
On Saturday, March 30, 2013 6:00:41 AM UTC+1, Jeroen Demeyer wrote: > > I'm here at the Sage-GIT workshop and it's very clear that the switch to > GIT is happening. > Sorry for jumping in late, but I have only recently started using Sage, and I might want to contribute some smaller patches in

[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: solve_rat_ineq(ineq=ab