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 :
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
> 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
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.
>>
>
>
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
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
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
>
> 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
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
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:
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
11 matches
Mail list logo