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: quiver algebra

2014-07-11 Thread Simon King
Hi Nicolas, On 2014-07-11, Nicolas M. Thiery wrote: > Right, though the difference is that containment for a matrix does not > have a strong mathematical meaning. On the other hand, when we speak > of a parent - that models some mathematical set like an algebra, the > notion of containment is una

[sage-devel] Re: quiver algebra

2014-07-11 Thread Nicolas M. Thiery
On Fri, Jul 11, 2014 at 09:42:11AM -0700, Travis Scrimshaw wrote: > I would say this is like matrices: do you want the iterator for >matrices to iterate by default over all elements or rows? Currently the >iterator goes over all rows and you can call M.list() to get a flat >list o

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

2014-07-11 Thread parisse
sage: %giac --> Switching to Giac <-- giac: solve(abs((x-1)/(x-5)) <= 1/3, x) list[((x>=-1) and (x<=2))] -- 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-

[sage-devel] Re: quiver algebra

2014-07-11 Thread Travis Scrimshaw
Hey Nicolas, I would say this is like matrices: do you want the iterator for matrices to iterate by default over all elements or rows? Currently the iterator goes over all rows and you can call M.list() to get a flat list of entries. Actually, this is a question for graded objects in gener

[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 Nils Bruin
On Friday, July 11, 2014 2:01:33 AM UTC-7, Robert Pollak wrote: > > The following does not work, it still gives the "!= 0" terms: > > maxima.eval("domain : real;") > solve(abs((x-1)/(x-5)) <= 1/3, x) > sage: maxima_calculus("domain: real") real sage: solve(abs((x-1)/(x-5)) <= 1/3, x) #0: solve_rat

[sage-devel] quiver algebra

2014-07-11 Thread Nicolas M. Thiery
Hi path algebra fans! I am having doctests failures in #8678 because of the following "feature" of quiver path algebras: sage: P = DiGraph({1:{2:['a']}, 2:{3:['b']}}).path_semigroup() sage: A = P.algebra(GF(7)) sage: A.list() [Free module spanned by [e_1, e

[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