Re: [fricas-devel] INSTALL

2021-04-23 Thread Waldek Hebisch
On Tue, Apr 20, 2021 at 12:25:51AM +0200, Ralf Hemmecke wrote: > > May I ask you whether you really find the attached INSTALL file easier > to read than install.rst. Yes. I have now put updated install.rst at: http://math.uni.wroc.pl/~hebisch/fricas/install.rst I do not know if it will format

[fricas-devel] Possible bug in Library domain for matrices

2021-04-23 Thread Tobias Neumann
This seems like a bug in Library to me: Working example: matx1 := matrix([[0,x1],[0,0]]) :: Matrix(Expression(Integer)) lib := library("mat.lib") lib.'matx1 := matx1; lib.'matx1 Failing to read back when somehow when there is a non-trivial kernel in the matrix, like sqrt(x), or exp(x), etc..

Re: [fricas-devel] Possible bug in Library domain for matrices

2021-04-23 Thread Tobias Neumann
Hi Ralf, thanks, this is great. While this is not entirely what I am looking for in my specific case, I was looking for such an output format before. (I read in a few MB large matrix expression and wanted to check if saving and loading it from a Library would be faster). In some cases I

Re: [fricas-devel] Possible bug in Library domain for matrices

2021-04-23 Thread Ralf Hemmecke
Hi Tobias, I cannot help you with the Library domain, but perhaps the new Format1D domain can help you. (See current github repo, you would have to compile from the HEAD there.) Format1D is not perfect, but I have created it in order to cut output from FriCAS back to the input line. I would be

Re: [fricas-devel] Possible bug in Library domain for matrices

2021-04-23 Thread Waldek Hebisch
On Fri, Apr 23, 2021 at 12:02:55PM -0700, Tobias Neumann wrote: > This seems like a bug in Library to me: > > Failing to read back when somehow when there is a non-trivial kernel in the > matrix, like sqrt(x), or exp(x), etc.. > > matx1 := matrix([[0,sqrt(x1)],[0,0]]) ::