Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-09 Thread Waldek Hebisch
Martin Baker wrote: > > Also an explanation of the type parameters. Is it obvious what types are > required here? > > BezoutMatrix(R, UP, M, Row, Col) : Exports == Implementation where >R: Ring >UP : UnivariatePolynomialCategory R >Row : FiniteLinearAggregate R >Col :

[fricas-devel] comments style for mathematical algorithms

2016-10-09 Thread oldk1331
I'm making a standalone thread for this topic. > I would like to add some comments for subSylvesterMatrix, > I'd prefer add a reference to the book which this algorithm > is based on, like "-- Page 20, Definition 1.4.2, Symbolic > Integration Transcendental Functions, second edition", > instead

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-09 Thread oldk1331
> What bug are you fixing? First I thought that you corrected > problem with non-one based indexing. Yes, the original "maxC-minC-2*j" and "maxC-minC+1-i-j" is incorrect. There's another problem as your test shows: The minIndex of Row is minColIndex! The patch of patch is here: diff --git

Re: [fricas-devel] jupyter notebook

2016-10-09 Thread Kurt Pagani
Am 10.10.2016 um 00:03 schrieb Arthur Ralfs: > On 10/09/2016 01:07 PM, Waldek Hebisch wrote: >> axserver may be sever due to Martin Rubey, he wrote about it in >> the mailing list. >> >> There was also work by Kai Kaminsky -- some info is in "contributions" >> section on the wiki. >> > >

Re: [fricas-devel] jupyter notebook

2016-10-09 Thread Arthur Ralfs
On 10/09/2016 01:07 PM, Waldek Hebisch wrote: Kurt Pagani wrote: By accident I landed at http://mathbrane.ca/axiom/index.html a website by A.C. Ralfs, I guess. Apparently he is the one we owe the xhtml version of the 'book'. There's also a link to a "panserver". Can anybody tell me whether

Re: [fricas-devel] jupyter notebook

2016-10-09 Thread Kurt Pagani
Thank you, just what I've been looking for. https://groups.google.com/forum/#!searchin/fricas-devel/axserver|sort:relevance/fricas-devel/WiF69URN9Bk/fMhOserfdHsJ http://axiom-wiki.newsynthesis.org/AxiomUI After all it seems to me that the visionary synopsis by Kai Kaminski (2008) still is an

Re: Re: [fricas-devel] jupyter notebook

2016-10-09 Thread Waldek Hebisch
Kurt Pagani wrote: > > May I ask what's the state of OpenMath? > > (1) -> OMserve(9000, 10)$OpenMathServerPackage > >>> System error: >The function BOOT::OM-MAKECONN is undefined. > > > Where are all the Lisp functions referred to in omdev.spad , omserver.spad > etc.? A "grep" in the

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-09 Thread Waldek Hebisch
> > fix an indexing bug in bezout.spad. What bug are you fixing? First I thought that you corrected problem with non-one based indexing. However: iM := IndexedMatrix(POLY INT, 7, -3) vR := IndexedVector(POLY INT, -3) vC := IndexedVector(POLY INT, 7) T2 := BezoutMatrix(POLY INT, UP(x, POLY

Re: Re: [fricas-devel] jupyter notebook

2016-10-09 Thread Kurt Pagani
May I ask what's the state of OpenMath? (1) -> OMserve(9000, 10)$OpenMathServerPackage >> System error: The function BOOT::OM-MAKECONN is undefined. Where are all the Lisp functions referred to in omdev.spad , omserver.spad etc.? A "grep" in the algebra folder doesn't show anything

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-09 Thread Kurt Pagani
I'd prefer the reference to a book or paper as well, because one needs a context, Isolated excerpts usually are not very helpful. * In dubio for both.* *@Ralf* By the way, http://fricas.github.io/api might need an update ;) On 9 October 2016 at 18:12, Martin Baker wrote:

Re: [fricas-devel] [PATCH] fix an indexing bug in bezout.spad

2016-10-09 Thread Martin Baker
On 09/10/16 09:47, oldk1331 wrote: I would like to add some comments for subSylvesterMatrix, I'd prefer add a reference to the book which this algorithm is based on, like "-- Page 20, Definition 1.4.2, Symbolic Integration Transcendental Functions, second edition", instead of repeating the