[sage-devel] Re: Inverse of a p-adic matrix fails. Is this a bug?

2018-01-30 Thread Simon King
Hi! I am afraid I don't know a definitive answer to your question. But at least I find the following a bit strange: sage: d = M.det() sage: d == -1 True sage: d == 0 False So, the inversion of M should work, I think. Let us do compute the inverse "manually" (i.e., by applying Gaussian

Re: [sage-devel] Reworked configure

2018-01-30 Thread Jeroen Demeyer
On 2018-01-30 13:19, Erik Bray wrote: I think the resulting Makefile, and its template, are easier to understand for one. This is unfortunately the part where I disagree and it is also the reason why I am against the current patch. The resulting Makefile uses some macro constructions which

[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

[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

[sage-devel] Re: sagemath problems

2018-01-30 Thread John H Palmieri
Yes, can someone please look into this? zulip hasn't worked in a few days now. John On Sunday, January 28, 2018 at 11:51:39 PM UTC-8, Ralf Stephan wrote: > > Hello, > processing of ticket actions is quite slow and zulip.sagemath.org gives a > 502, both since at least yesterday. Can someone

[sage-devel] Inverse of a p-adic matrix fails. Is this a bug?

2018-01-30 Thread Simon Brandhorst
The following may be a bug or me not understanding p-adic floating point computations: sage: R = Qp(2,type='floating-point',print_mode='terse') sage: M = Matrix(R,4,[0, 0, 1, 1, 2^20, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1]) sage: M.det() 1048575 sage: M.inverse()

[sage-devel] Re: embedding sage in c or c++

2018-01-30 Thread J. Javan
I can see that you have successfully linked against sage. I also have a Qt GUI application which needs to do some mathematics in the background. This application is targeted for windows platforms. I have installed sage from this link

[sage-devel] Re: embedding sage in c or c++

2018-01-30 Thread Jafar Javan
Hi Michael, I can see that you have successfully linked against sage. I also have a Qt GUI application which needs to do some mathematics in the background. This application is targeted for windows platforms. I have installed sage from this link

[sage-devel] Reworked configure

2018-01-30 Thread Erik Bray
Hi anyone interested in Sage (the distribution's) build system, I have a ticket that's been languishing for months now which makes some significant overhauls to how Sage's build/make/Makefile is generated and structured: https://trac.sagemath.org/ticket/21524 I know we're all very busy and that

[sage-devel] Re: TypeError: unsupported operand parent(s) for *: <(1,3)(2,4), (1,4,3,2)> and S4

2018-01-30 Thread Simon King
PS: On 2018-01-30, Simon King wrote: > The coercion model chooses coercion to the left factor's parent, if > there are coercions available in *both* directions. However, if there > only is a coercion from the left factor's parent to the right factor's > parent but not

[sage-devel] Re: TypeError: unsupported operand parent(s) for *: <(1,3)(2,4), (1,4,3,2)> and S4

2018-01-30 Thread Simon King
Dear Hsin-Po Wang, On 2018-01-30, Hsin-Po Wang wrote: > But it is still interesting to see if this is an unintentional bug in, say, > the coercion model and can be fixed. We have sage: S4.has_coerce_map_from(S4.subgroups()[19]) True Hence, the coercion model is