SBCL specific bug, I think?
"~/tmp/1.input" exists, )read just don't understand "~".
(1) -> )read ~/tmp/1.input
The file ~/tmp/1.input is needed but does not exist.
"probe-file" just works in SBCL, while "sbcl-file-kind"
doesn't recgnoize "~". Maybe more parts can be changed.
The patch is:
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 : Fin
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 of
> 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 a/sr
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.
>>
>
> axserver
Martin Baker wrote:
>
> On 08/10/16 12:54, Waldek Hebisch wrote:
> > Some statements there look wrong. For example:
> >
> > +We can generate a subgroup by either removing a generator or
> > +adding a relation.
> >
> > By adding a relation you form _quotient_ group. Maybe you
> > think about kern
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 thi
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 app
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 a
>
> 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 INT)
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 (unles
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, o
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 conten
fix an indexing bug in bezout.spad.
Also simplify bezout.spad and bezout.input.
https://github.com/oldk1332/fricas/commit/c6b4a1c082bbef2c77e466778911748c07afb732.patch
===
I would like to add some comments for subSylvesterMatrix,
I'd prefer add a reference to the book which this algorithm
is b
14 matches
Mail list logo
