Re: [sage-devel] pynac maintainership

2021-01-09 Thread Ralf Stephan
around, for > basic maintenance and admin purposes. > Is Sage the main downstream of pynac? We can bring it under Sagemath org > then. > Dima > > On Sat, Jan 9, 2021 at 9:36 AM Ralf Stephan wrote: > > > > Dear all, > > it is now clear to me I won't have

[sage-devel] pynac maintainership

2021-01-09 Thread Ralf Stephan
pynac so I can invite anyone interested. I have already sent out invitations to two well known contributors but they have the right to ignore it, of course. Thanks, Ralf Stephan -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubsc

[sage-devel] Re: question about assumptions on symbolic variables

2019-04-23 Thread Ralf Stephan
Note that variables are complex by default in Sage. There is some support for what you attempt in Sage: sage: a,b,c= var('a,b,c', domain='real') sage: assume(a>0, b >0) sage: (a+b).is_positive() True But anything more needs an SMT solver in Sage https://trac.sagemath.org/ticket/19000 On Tuesda

[sage-devel] Re: bug: factoring symbolic expressions containing exponentials

2019-04-10 Thread Ralf Stephan
Probably best to revert #23835 then, if you insist on the blocker assessment. https://trac.sagemath.org/ticket/23835 Regards, On Wednesday, April 10, 2019 at 9:30:42 PM UTC+2, Bill Page wrote: > > sage: sage.version.version > '8.6' > sage: ex=exp(2*x)+exp(-2*x); ex > e^(2*x) + e^(-2*x) > sag

[sage-devel] Re: Signification of gcd() in SR ? Is that a bug ?

2018-07-03 Thread Ralf Stephan
On Tuesday, July 3, 2018 at 9:57:54 PM UTC+2, Emmanuel Charpentier wrote: > > Trying to write up an illustration of Sarrus' rule (at high-school level), > I've found this : > I see. The case with rational functions is not well done in Pynac. I'll rewrite what is a kludge just now. > Why ? > It

[sage-devel] Re: Signification of gcd() in SR ? Is that a bug ?

2018-07-03 Thread Ralf Stephan
As to SR being well-defined, it is, but not from the viewpoint of algebra. Still, it is possible to canonically convert symbolic expressions to polynomials, take the GCD, and convert back, so raising an error is not helpful. So, how is the GCD done exactly in Pynac? Expressions are functions an

[sage-devel] Re: Deleting old upstream branches

2018-06-28 Thread Ralf Stephan
On Wednesday, June 27, 2018 at 12:53:30 PM UTC+2, Erik Bray wrote: > > I did this just for myself and deleted ~205 branches. > ~127 here. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails fr

[sage-devel] Re: Re; Symbolic matrix inverse still gives seg-fault, core-dump

2018-06-19 Thread Ralf Stephan
On Wednesday, June 20, 2018 at 12:22:07 AM UTC+2, Nils Bruin wrote: > > Of course, another solution for your computation to succeed is to not put > the assumptions in. Inequalities will not affect matrix algebra > computations. (only decisions are made based on whether something is > *equal* to

Re: [sage-devel] Patching policy

2018-06-08 Thread Ralf Stephan
On Friday, June 8, 2018 at 10:25:33 AM UTC+2, Jeroen Demeyer wrote: > > On 2018-06-08 07:47, Ralf Stephan wrote: > > It might be an idea to semi-automatize this, i.e., build a tool that > > takes a Sage version and creates forks of some packages A,B on github > > under

Re: [sage-devel] Patching policy

2018-06-07 Thread Ralf Stephan
On Thursday, June 7, 2018 at 2:36:35 PM UTC+2, Timo Kaufmann wrote: > > In some cases where upstream has vanished and sage effectiely maintains > the project through patches anyways, it may be a better idea to just fork > the project. > It might be an idea to semi-automatize this, i.e., build a

[sage-devel] Re: Why my patch is not yet accepted?

2018-05-22 Thread Ralf Stephan
There are currently 250 tickets needing review (20 from me), and it all depends on people volunteering as reviewers, so the reason is very probably that none of them is interested enough in your ticket, at the moment. Regards, -- You received this message because you are subscribed to the Goog

Re: [sage-devel] Re: How to make package managers cry

2018-05-11 Thread Ralf Stephan
On Wednesday, May 9, 2018 at 8:48:04 PM UTC+2, Erik Bray wrote: > > Yes--I have in the past suggested we use either Town Crier, https://trac.sagemath.org/ticket/22176 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this grou

[sage-devel] Re: Checking an already installed package?

2018-05-07 Thread Ralf Stephan
Alternatively, there is ./sage -p -s pkg which does not remove the build directory. One needs it for instance when debugging with lldb because there the build dir is needed to access the source. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. T

[sage-devel] Re: Improving code with AI?

2018-04-29 Thread Ralf Stephan
It needs write access on the repo. -- 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-devel+unsubscr...@googlegroups.com. To post to this group, send email to sa

Re: [sage-devel] Re: Product of two expressions that causes hang

2018-04-26 Thread Ralf Stephan
BTW, that "magic" commit also fixes #25252. -- 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-devel+unsubscr...@googlegroups.com. To post to this group, send em

Re: [sage-devel] Re: Product of two expressions that causes hang

2018-04-26 Thread Ralf Stephan
On Thursday, April 26, 2018 at 2:55:49 PM UTC+2, Erik Bray wrote: > > Thanks for checking! Wow, I would not have guessed that. Do you have > any idea if problem is fixed in general, or just in that one case? > I have no idea what the general problem is (except that mul::eval is prone to loops

[sage-devel] Re: Product of two expressions that causes hang

2018-04-25 Thread Ralf Stephan
By bisection I find the issue is fixed with the commit https://github.com/pynac/pynac/commit/c4b2a4a42c6f01f0db6c3d54d493a049806e which fixes a power problem and apparently prevents the extraction of 2 mentioned earlier. Anyway please open a ticket for the doctest. Regards, -- You received

[sage-devel] Re: Product of two expressions that causes hang

2018-04-25 Thread Ralf Stephan
Note also that the master branch of Pynac on github is not the same code as the Pynac in Sage, although mul.cpp has not changed since. But there may have been distant changes with side effects. For example 0.7.19 as in #24838 with rc3 does not crash. -- You received this message because you ar

Re: [sage-devel] Re: Product of two expressions that causes hang

2018-04-25 Thread Ralf Stephan
On Tuesday, April 24, 2018 at 5:15:17 PM UTC+2, Erik Bray wrote: > > sqrt(2) * ((I - 1)*sqrt(2) - 2) > > Then for some reason it decides there's an overall coeffecient of -2!, > That is probably what should be fixed. and rewrites the expression as: > > -2*sqrt(2)*(-(1/2*I - 1/2)*sqrt(2) + 1)

[sage-devel] Re: dontfactor parameter in factor() still factoring.

2018-04-16 Thread Ralf Stephan
On Monday, April 16, 2018 at 3:21:35 PM UTC+2, Dorian Sabaz wrote: > > *sage:* p.factor(dontfactor=[k]) > > 1/2*(pi*n + k*t)/k # bad (factors k still: > dontfactor not recognized for k), 1/2 factored as should be. > > *sage:* p.factor(k) > > 1/2*(pi*n + k*t)/k

[sage-devel] Re: Wrong result for definite integral of sin(x)*exp(I*x)

2018-04-15 Thread Ralf Stephan
Not Sage, it's Maxima: (%i2) integrate(sin(x)*exp(%i*x),x,-%pi,0); log(- 1) (%o2) + %i %pi 2 On Sunday, April 15, 2018 at 6:44:23 PM UTC+2, Eric Gourgoulhon wrote: > > Hi, > > Indeed, this s

Re: [sage-devel] SCIP integration into sage

2018-04-14 Thread Ralf Stephan
On Friday, April 13, 2018 at 11:28:25 AM UTC+2, vdelecroix wrote: > > On 13/04/2018 11:20, Francesco Biscani wrote: > > So basically these acedemics, I imagine funded with taxpayers' money, > are > > preventing the general public to use software they paid for? > > This is indeed a problem with

[sage-devel] Re: How much do we support the casual user

2018-03-28 Thread Ralf Stephan
Ask yourself, are these arguments you give for current is_prime(x) behaviour not just the inertia of your thinking. Wolfram tells me plainly "1/3 (2^23 + 1) is a prime number"---no ambiguity, no attempt to show a glimpse of algebraic truth. Pari gives ? isprime((2^23+1)/3) %1 = 1 Giac: >> is_p

[sage-devel] Re: How much do we support the casual user

2018-03-27 Thread Ralf Stephan
Nils, See https://trac.sagemath.org/ticket/21067 for a rational factor_list(). -- 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-devel+unsubscr...@googlegroup

[sage-devel] Re: Possible bug in gen_legendre_P (associated Legendre polynomials)

2018-03-27 Thread Ralf Stephan
On Tuesday, March 27, 2018 at 11:20:02 AM UTC+2, James Womack wrote: > > I have created a ticket on Sage trac for this issue: > https://trac.sagemath.org/ticket/25034 > Thanks. > As I mention in the ticket, I think that this issue raises a question as > to whether the Func_assoc_legendre_P cl

[sage-devel] Re: How much do we support the casual user

2018-03-27 Thread Ralf Stephan
On Tuesday, March 27, 2018 at 10:08:18 AM UTC+2, Simon King wrote: > > ...since your code is (implicitly!) asking for prime numbers in QQ. > > However, I agree that it is (for most users) unintended behaviour, and > as a corollary to "explicit is better than implicit", we have "implicit > is n

[sage-devel] How much do we support the casual user

2018-03-27 Thread Ralf Stephan
Hello, I thought I'd try Sage for a casual computation. I was interested in which numbers of the form (2^n - (-1)^n)/3 are prime. I first tried out n=23: sage: (2^23+1)/3 2796203 sage: _.is_prime() False sage: factor(2796203) 2796203 It turns out that Rational.is_prime does not exist and the fal

Re: [sage-devel] How much do we support optional packages.

2018-03-25 Thread Ralf Stephan
On Monday, March 26, 2018 at 1:09:32 AM UTC+2, Dima Pasechnik wrote: > > TLDR; "supported platform" and "blocker ticket" are merely engineering > terms. There are not and cannot be as precise > as mathematical theorems :-) > Still, if a standard package fails doctests on all systems it's a blocke

[sage-devel] Re: Possible bug in gen_legendre_P (associated Legendre polynomials)

2018-03-22 Thread Ralf Stephan
arb agrees here: sage: CBF(1/2).legendre_P(1,1) [-0.8660254037844386 +/- 5.90e-17] So I'd suggest using complex balls for your numerics until the bug is fixed. Thanks, P.S. Still someone should contact DLMF with the right arguments. -- You received this message because you are subscribed to th

[sage-devel] zero problem

2018-03-14 Thread Ralf Stephan
Hi, Is the symbolic ring the only one where equality is polymorphic? Comparison in SR can mean 1. "try to prove with certainty" or 2. "check if numeric zero". Other rings may have different features. But are there other such constructs? -- You received this message because you are subscribed t

Re: [sage-devel] Re: lib*.so conflict

2018-03-06 Thread Ralf Stephan
ik > wrote: > > > > > > On Monday, March 5, 2018 at 9:48:25 AM UTC, Ralf Stephan wrote: > >> > >> I'm interested in a fix because it prevents clean patchbot results on > >> OpenSuSE > > > > > > Erik has an implementation of such feat

[sage-devel] Re: lib*.so conflict

2018-03-05 Thread Ralf Stephan
I'm interested in a fix because it prevents clean patchbot results on OpenSuSE > >- How to tell "configure" not to install the Sage-shipped version ? I >think I am able to look at the configuration of the Sage-shipped packages >for which this happens in order to understand what is

[sage-devel] Re: redirecting docstrings

2018-03-02 Thread Ralf Stephan
I finally found https://trac.sagemath.org/ticket/22611 which explains things and helps. -- 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-devel+unsubscr...@go

[sage-devel] redirecting docstrings

2018-03-01 Thread Ralf Stephan
Hello, several bug tickets are about the wrong docstring showing in IPython. In one case it is necessary to "redirect" from one function to another (or to rewrite both functions). In another case a doctest of a wrapped class should be shown instead of that from the wrapping class. Both cases inv

Re: [sage-devel] Re: trac issues

2018-02-27 Thread Ralf Stephan
On Monday, February 26, 2018 at 8:06:49 PM UTC+1, Erik Bray wrote: > > I finally tracked down the issue. Someone installed a "zulip_plugin" Thanks. Does that mean zulip no longer gets trac messages? -- You received this message because you are subscribed to the Google Groups "sage-devel" gro

[sage-devel] trac issues

2018-02-26 Thread Ralf Stephan
Hello, the last days any ticket change did not refresh the page in chromium here, so I always have to reload the page. Moreover, multiple copies of ticket changes now appear on zulip. Seems something wrong with trac. Can you help please? -- You received this message because you are subscribed

Re: [sage-devel] Re: question central to how functions work

2018-02-24 Thread Ralf Stephan
It seems sqrt is special. The global (not member) function sqrt also is a Python not a symbolic function, and the symbolic expression printed as "sqrt(2)" is actually 2^(1/2), i.e., not containing a symbolic function (class Function). However, I agree that RR(-2).sqrt() should return something

[sage-devel] question central to how functions work

2018-02-24 Thread Ralf Stephan
sage: RR(-2).sqrt() 1.41421356237310*I sage: type(_) In https://trac.sagemath.org/ticket/24428 the case is made to always return the same element type from element functions. So is this a bug? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

[sage-devel] Re: How should ordering of constants be defined?

2018-02-16 Thread Ralf Stephan
On Saturday, February 17, 2018 at 8:22:13 AM UTC+1, Ralf Stephan wrote: > > This baffles me and I would like to know why the computation differs from > the above. > Ah ok, _richcmp_ is Py2 specific. Then we want to do the symbolic check before the inexact ones by changing Expression

[sage-devel] Re: Sage 8.1 eats memory while 7.5.1 did not

2018-02-16 Thread Ralf Stephan
On Friday, February 16, 2018 at 10:05:02 AM UTC+1, Dima Pasechnik wrote: > > guppy.hpy() finds 149 objects > dict of sympy.core.assumptions.ManagedProperties > on the heap > The solution of the original issue did not involve sympy so I was trying to reproduce this, but when trying to SAGE_ROOT/l

[sage-devel] Re: How should ordering of constants be defined?

2018-02-16 Thread Ralf Stephan
On Saturday, February 17, 2018 at 8:22:13 AM UTC+1, Ralf Stephan wrote: > > IThis calls Expression._richcmp_(pi, pi, Py_LT) > Py_LE of course. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group

[sage-devel] Re: How should ordering of constants be defined?

2018-02-16 Thread Ralf Stephan
I'm afraid the issue is more complicated. On Friday, February 16, 2018 at 5:04:30 PM UTC+1, Erik Bray wrote: > > On Python 2 this works: > > sage: bool(pi <= pi) > True > > This works fine because the Constant class implements __eq__, and so > if asking if pi <= pi that's good enough for it.

[sage-devel] coercion cache in doctests not erased

2018-02-06 Thread Ralf Stephan
Hi, a doctest in line 1051 of parent.pyx indirectly can influence the doctest in line 1514 which checks the coercion cache. While I could change the latter doctest, is there either 1) a way to completely erase that cache, or 2) a way to restart Sage doctesting within one file to get a fresh inst

[sage-devel] Re: Bug in positivity test of a real expression

2018-02-05 Thread Ralf Stephan
Argh, we cannot return Unknown from bool() because of Python. Still, we can avoid calling Maxima for numeric questions: https://trac.sagemath.org/ticket/24658 This is a really tiny ticket and should be easy to review. -- You received this message because you are subscribed to the Google Groups

[sage-devel] Re: Bug in positivity test of a real expression

2018-02-04 Thread Ralf Stephan
I think we should refrain from calling Maxima with bool(...) because our tests are good enough. Moreover with https://trac.sagemath.org/ticket/24345 we could then simply return Unknown. Please review. On Monday, February 5, 2018 at 8:12:49 AM UTC+1, Ralf Stephan wrote: > > Actually Sage&#

[sage-devel] Re: Bug in positivity test of a real expression

2018-02-04 Thread Ralf Stephan
Actually Sage's logic is fine here, the bug with bool(val>0) is in Maxima.The default with bool(relation) is to use RIF and at the default setting it cannot decide, so ultimately Maxima is called: (%i2) is (%pi-(1116521080257783321*2^(23/2))/1029347477390786609545>0); (%o2)

[sage-devel] Re: Bug in positivity test of a real expression

2018-02-04 Thread Ralf Stephan
With bool(val<0) ultimately (val<0).test_relation() is called which does: sage: RIF(val) 0.?e-15 sage: RIF(val) < 0 False Regards. -- 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,

[sage-devel] Re: trac not usable using https

2018-01-30 Thread Ralf Stephan
Found out I had to reload the ssh information. Sorry for the noise. -- 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-devel+unsubscr...@googlegroups.com. To po

[sage-devel] trac not usable using https

2018-01-30 Thread Ralf Stephan
After a make distclean I can no longer push to trac via https (of git trac) ralf@ark:~/sage> git trac push 24604 --branch=u/rws/24604 Pushing to Trac #24604... Specified remote branch: u/rws/24604 To trac.sagemath.org:sage.git * [new branch]HEAD -> u/rws/24604 Traceback (most recent

[sage-devel] sagemath problems

2018-01-28 Thread Ralf Stephan
Hello, processing of ticket actions is quite slow and zulip.sagemath.org gives a 502, both since at least yesterday. Can someone please have a look? Regards, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop

[sage-devel] deprecation question

2018-01-19 Thread Ralf Stephan
Hi, Is deprecation necessary for class member functions starting with underscore, i.e. a weak "internal use" indicator? -- 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 emai

[sage-devel] Re: Result of coefficients depends on names

2018-01-18 Thread Ralf Stephan
On Thursday, January 18, 2018 at 9:17:01 PM UTC+1, Samuel Lelievre wrote: > Should there be a note about that in the documentation of the `poly` > method for symbolic expressions? I'd rather change the name to say rewrite_as_polynomial_in(x). I think it's clear enough that an expression does not

[sage-devel] Re: Result of coefficients depends on names

2018-01-14 Thread Ralf Stephan
expr.poly(x) does not really make expr a polynomial in x, it's a quite useless method. If you give no parameter to ex.coefficients() it takes the lexicographically first variable. So instead of ex.poly(x).coefficients do ex.coefficients(x), and you get: sage: (zeta*diff(f(tau), tau)).coefficient

Re: [sage-devel] Feature requests: Composition of binary relations

2018-01-13 Thread Ralf Stephan
I think it's completely ok to wait with Cython unless of course it's required, for example if you write an interface. If there are performance problems affecting Sage in general then the patchbots will complain, else it's a matter of code that only gets executed on demand. Regards, -- You rec

Re: [sage-devel] Re: refactoring process

2018-01-12 Thread Ralf Stephan
On Friday, January 12, 2018 at 10:16:12 AM UTC+1, Jeroen Demeyer wrote: > > On 2018-01-11 10:58, Ralf Stephan wrote: > > I don't understand. What case exacty cannot be handled in your opinion? > > Just the usual problem with "git merge" that you get conflicts i

[sage-devel] Re: refactoring process

2018-01-11 Thread Ralf Stephan
On Wednesday, January 10, 2018 at 10:33:32 AM UTC+1, Jeroen Demeyer wrote: > > I like the idea of using tools to automate refactoring. > With C++ you have clang but with Python there is always the need to support Cython, and there seems no tool except Pycharm that does it. > ***However***, th

[sage-devel] replace is_X functions / refactoring process

2018-01-09 Thread Ralf Stephan
Hi, I stumbled into misunderstanding the is_Set function from sets/set.py, thinking without looking that it determines the set property of a class. But it just does isinstance(X, Set_generic), so why not write that? In https://trac.sagemath.org/ticket/24443 it emerges there are several such use

[sage-devel] Re: `solve`, list of single variable, and `solution_dict=True` results in a bug

2018-01-05 Thread Ralf Stephan
Thanks for the report. I opened https://trac.sagemath.org/ticket/24477 Regards, -- 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-devel+unsubscr...@googlegroup

[sage-devel] Re: Difference between the R set and other sets

2017-12-31 Thread Ralf Stephan
On Sunday, December 31, 2017 at 9:36:45 AM UTC+1, Martin R wrote: > > Besides, I somewhat doubt that you want the category of sets - the objects > would be *arbitrary* sets then. I am guessing that you want to consider > only subsets of complex numbers, perhaps together with infinity, right? Or

[sage-devel] Difference between the R set and other sets

2017-12-30 Thread Ralf Stephan
Hi, a formal symbolic "element of" function is necessary to represent solver results from SymPy. The second parameter to it would be a set, i.e., one of the usual domains used in calculus, or a finite set of numbers. This needs conversion of sets to the symbolic ring. The problem is: "r" (the R

[sage-devel] blocker making patchbot fail

2017-12-18 Thread Ralf Stephan
Hello, The previously noticed blocker #24378 is in review but https://trac.sagemath.org/ticket/24284 is now coming up frequently too so I changed its priority. Please review. Regards, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscri

Re: [sage-devel] Re: About solve(x*abs(x)==1, x)

2017-12-14 Thread Ralf Stephan
On Thursday, December 14, 2017 at 6:17:00 AM UTC+1, Jori Mäntysalo wrote: > > I don't use. I was asked about this by a man who teaches course about > "Computer programs for mathematics and statistics". And he is not happy > about this. > Tell him solving in general is hard, esp. if there are

[sage-devel] Re: About solve(x*abs(x)==1, x)

2017-12-14 Thread Ralf Stephan
On Thursday, December 14, 2017 at 1:36:27 AM UTC+1, rjf wrote: > > Whether there is a feasible "upgrade" to just use sympy's > solve is perhaps another path. > Indeed, with Sage-8.1: sage: solve(x*abs(x)==1, x, algorithm='sympy') ValueError: Absolute values cannot be inverted in the complex d

[sage-devel] Merge fails of positive ticket HOWTO

2017-12-08 Thread Ralf Stephan
Hi, A positive-review ticket was sent back because of merge conflict. Somewhere there has to be the info which other ticket caused it so I can provide a conflict fix. I also remember Volker giving me a web address once in such a case but it's buried in a ticket. So, I want to put a howto in a W

[sage-devel] Re: ECL says: THROW: The catch RAT-ERR is undefined

2017-11-27 Thread Ralf Stephan
On Sunday, November 26, 2017 at 6:56:41 PM UTC+1, Richard_L wrote: > > Do we have a convention concerning calls to upstream packages like maxima? > That is, which side of the interface is responsible for the scan to > determine whether the main code invoked upstream should be executed: the > cal

[sage-devel] Re: ECL says: THROW: The catch RAT-ERR is undefined

2017-11-26 Thread Ralf Stephan
The expression triggering the error has an output size of 59 pages. It is attached and the crash can be confirmed by giving ex.simplify_trig(). Apart from the ECL problem clearly some optimization in manifolds is in order, especially since the expression does not contain trig functions. Regards,

[sage-devel] Re: ECL says: THROW: The catch RAT-ERR is undefined

2017-11-26 Thread Ralf Stephan
Since this is dependent on #22801 this ticket needs a followup bugfix ticket. -- 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-devel+unsubscr...@googlegroups.

[sage-devel] Re: ECL says: THROW: The catch RAT-ERR is undefined

2017-11-26 Thread Ralf Stephan
On Sunday, November 26, 2017 at 12:54:04 AM UTC+1, Richard_L wrote: > > Calling ...simplify_trig() results in a traceback, somewhat elided here: > So what's behind that ellipsis? You see, we have doctests for simplify_trig() that are constantly checked by our patchbots so we would know if simpli

[sage-devel] Re: Sage (pynac ?) doesn't evaluate some (trivial) identities.

2017-11-13 Thread Ralf Stephan
In general if an immediate simplification does not happen it's a Pynac omission, simplify or simplify_full failings are Maxima omissions. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails fro

[sage-devel] Re: Pattern matching in Sage

2017-11-12 Thread Ralf Stephan
Is the documentation really so bad that you couldn't find http://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/expression_conversions.html Of course Sage uses pattern matching, e.g. to convert expressions. I'm not reverting that positive on that ticket but I urge the author to rewrite

[sage-devel] Re: problem with roots of a quadratic over a power series ring

2017-11-11 Thread Ralf Stephan
It's because of sage: F.content() Ideal (-2*t - 3*t^2 - t^3, 1, 1) of Power Series Ring in t over Rational Field Every coefficient of R is divided by the content using // but the operation coerces into the rationals. Maybe somehow converting to a multivariate polynomial will work? -- You rece

[sage-devel] Re: Symbolic Matrix Calculus in Sagemath

2017-11-08 Thread Ralf Stephan
Hello, Sage's symbolic support for matrices is limited. However, Sage contains packages that may be used instead, like SymPy. For their matrix expression / equation solving capabilities see http://docs.sympy.org/latest/modules/matrices/expressions.html http://docs.sympy.org/latest/modules/matrice

[sage-devel] Re: Segfault in Expression.coefficients involving symbolic functions

2017-11-03 Thread Ralf Stephan
On Thursday, November 2, 2017 at 11:23:11 PM UTC+1, Eric Gourgoulhon wrote: > > Is this a known bug? > Thanks for the report. I opened https://trac.sagemath.org/ticket/24147 Regards, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe

[sage-devel] Re: broken docbuild in SageMath 8.1.beta9

2017-10-23 Thread Ralf Stephan
Please see https://groups.google.com/forum/#!searchin/sage-devel/docbuild$20reference|sort:date/sage-devel/R9k7wmTv7MM/gQKPDOS5CQAJ -- 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,

[sage-devel] Re: broken docbuild in SageMath 8.1.beta9

2017-10-23 Thread Ralf Stephan
Confirmed. 'make doc' works however. I have seen such discrepancy before... -- 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-devel+unsubscr...@googlegroups.com

[sage-devel] Re: Segfault while multiplying polynomial and symbolic expression

2017-10-20 Thread Ralf Stephan
Symbolics and finite field elements don't mix. To prevent segfaults there is this critical ticket: https://trac.sagemath.org/ticket/21391 It needs some work however. It would give you TypeError: Multiplication of symbolic variable and an element of a ring with positive characteristic. -- You r

[sage-devel] Re: Bug? Sympy, Fricas & Giac can solve this simple integral, why not Maxima?

2017-10-19 Thread Ralf Stephan
The immediate reason is that maxima returns: Principal Value (%o4) 2 and Sage since #7377 (7 years ago) catches "Principal Value" and makes it divergent. See https://trac.sagemath.org/ticket/7377 for reasons this was introduced. There are tickets that urge to fix

[sage-devel] Re: trac can't be reached

2017-10-19 Thread Ralf Stephan
Thanks. It seems back again. -- 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-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-dev

[sage-devel] trac can't be reached

2017-10-19 Thread Ralf Stephan
Hi, trac.sagemath.org can be pinged but refuses to connect. Any help? -- 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-devel+unsubscr...@googlegroups.com. To

[sage-devel] Re: VOTE: inclusion of OpenSSL in Sage

2017-10-19 Thread Ralf Stephan
After the previous comments I'd like to change my vote from Yes to |X| No Regards, -- 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-devel+unsubscr...@google

[sage-devel] Re: Using C++ library from Sage

2017-10-18 Thread Ralf Stephan
On Wednesday, October 18, 2017 at 4:31:16 PM UTC+2, Eric Gourgoulhon wrote: > > Any example of an existing C++ / Sage interaction would also be > appreciated. > src/sage/libs for example pynac, polybori, or singular -- You received this message because you are subscribed to the Google Groups

[sage-devel] Re: VOTE: inclusion of OpenSSL in Sage

2017-10-17 Thread Ralf Stephan
First, to voice my opinion: [X] Require OpenSSL to be installed on the system. I really think that the Mac folks should resolve this and not require Sage to make awkward choices. As to the vote: |X| Yes, we should fully support OpenSSL now, and clarify the licensing issue. Regards, -- You r

Re: [sage-devel] proposal: remove libogg and libtheora completely from sage

2017-10-10 Thread Ralf Stephan
On Tuesday, October 10, 2017 at 5:10:35 PM UTC+2, Erik Bray wrote: > > It raises the question: Who added these packages to > Sage in the first place, and what for? > Weren't they added because of earlier giac versions? If so they are no longer needed now I believe. -- You received this message

[sage-devel] Re: recipe for target 'ecl-16.1.2.p4' fail

2017-10-10 Thread Ralf Stephan
On Tuesday, October 10, 2017 at 3:07:57 PM UTC+2, Johannes Martin wrote: > > Actually, setting SAGE_GCC_INSTALL=yes didn't help. > Apology, it should have read SAGE_INSTALL_GCC. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from

[sage-devel] Re: problem with abs on integration

2017-10-09 Thread Ralf Stephan
This is https://trac.sagemath.org/ticket/13773 Sage cannot translate Maxima's "if" construct. However, since beta7 there is the cases function in Sage which can now represent such condition/expression pairs, so just an interface is needed. The explanation for the difference between x+2 and x-2 i

[sage-devel] Re: recipe for target 'ecl-16.1.2.p4' fail

2017-10-09 Thread Ralf Stephan
Offhand this could be https://trac.sagemath.org/ticket/21811 and Johannes could try to install with SAGE_GCC_INSTALL=yes Regards, -- 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, se

Re: [sage-devel] Re: segfault matrix integer dense

2017-10-05 Thread Ralf Stephan
On Thursday, October 5, 2017 at 12:46:14 PM UTC+2, Jeroen Demeyer wrote: > > On 2017-10-05 07:41, Ralf Stephan wrote: > > Replacing sig_str() with sig_on() in matrix_integer_dense.pyx:_cinit > > resolves it. > > Probably sig_str() is broken in the new Cython. > >

[sage-devel] Re: segfault matrix integer dense

2017-10-04 Thread Ralf Stephan
Replacing sig_str() with sig_on() in matrix_integer_dense.pyx:_cinit resolves it. Probably sig_str() is broken in the new Cython. -- 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, se

[sage-devel] Re: segfault matrix integer dense

2017-10-04 Thread Ralf Stephan
Same on OpenSuSE. Backtrace: #2 0x7fffe67d4194 in flint_memory_error () at memory_manager.c:44 #3 0x7fffe67da428 in flint_malloc (size=size@entry=18446744073709551608) at memory_manager.c:58 #4 0x7fffe6860c86 in fmpz_mat_init (mat=mat@entry=0x7ffd9efe07c0, rows=92233720368

[sage-devel] Re: let's make FriCAS optional

2017-09-26 Thread Ralf Stephan
+1 -- 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-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit

Re: [sage-devel] Trouble while compiling sage---- compiling ends during plot3d

2017-09-13 Thread Ralf Stephan
On Monday, September 4, 2017 at 9:16:49 AM UTC+2, Jeroen Demeyer wrote: > > There is the message "Killed" which can normally only happen if > something external kills Sage. I had exactly this "Killed" yesterday and could resolve it by deleting my $HOME/.sage folder. Regards, -- You received

[sage-devel] Re: Sage's handling of complex I

2017-09-11 Thread Ralf Stephan
On Monday, September 11, 2017 at 12:00:15 PM UTC+2, Marc Mezzarobba wrote: > > IMO, fix embedded number fields so that they coerce into QQbar. Great, thanks. So it's an algebra bug after all, and I can now mark the fails as "known bug" instead of trying to find a feeble workaround. -- You rec

[sage-devel] Sage's handling of complex I

2017-09-11 Thread Ralf Stephan
Hello, The unresolved issue of different types of "complex I" continues to make things difficult. For example with pynac-0.7.11 `sin(I)` simplifies to `I*sinh(1)` because Pynac recognizes a multiple of (number field) `I` as argument to `sin` and divides by number field `I` to get the argument o

[sage-devel] Re: Some polynomial timings

2017-09-04 Thread Ralf Stephan
Also giac functionality is already in Sage, flint would need a new release and a Sage upgrade On Tuesday, September 5, 2017 at 7:54:10 AM UTC+2, parisse wrote: > > And why not giac? flint is a little faster for basic multivariate > polynomial arithmetic on 1 thread, but giac is multithread and h

[sage-devel] decorators on cdef (member) functions

2017-08-22 Thread Ralf Stephan
Is there a chance one can put a @doc_index decorator on cdef methods in a Cython file? If not then misc.rest_index_of_methods is of limited use and https://trac.sagemath.org/ticket/23670 cannot be resolved. Any ideas? -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
No problem, I may have found a bug because of it. On Monday, August 21, 2017 at 4:09:08 PM UTC+2, Daniel Krenn wrote: > > On 2017-08-21 15:08, Ralf Stephan wrote: > > Ah the citations need a make and will not compile with a simple sage > > -docbuild. So it really is use

[sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
Ah the citations need a make and will not compile with a simple sage -docbuild. So it really is useless and should be disabled to not confuse people like me. Regards, On Monday, August 21, 2017 at 3:05:14 PM UTC+2, Ralf Stephan wrote: > > This is peculiar. When I do 'make doc-

[sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
This is peculiar. When I do 'make doc-clean; sage -docbuild reference' then the abovementioned reference will not compile. But with 'make doc-clean; make doc' in a plain develop branch, then add the reference, finally 'sage -docbuild reference' can compile it. It appears a successful 'make doc'

[sage-devel] sage -docbuild useless

2017-08-21 Thread Ralf Stephan
Hi, I just had made a rst document in reference that built nicely with sage -docbuild. It fails with make doc. I consider it a serious bug because it makes it impossible to refer to other refman documents. Am I missing something? Example: In reference/calculus/index.rst I can refer to :doc:`pol

[sage-devel] Re: Sort method auto completion by relevance.

2017-08-19 Thread Ralf Stephan
As e.g. SymPy has the same problem one might look if it already was addressed in other software using IPython. -- 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 sag

  1   2   3   4   5   6   >