Re: [fricas-devel] improve "dbReadLines"

2024-04-08 Thread Waldek Hebisch
On Sun, Apr 07, 2024 at 08:28:20PM +0800, Qian Yun wrote: > > > On 4/7/24 08:21, Waldek Hebisch wrote: > > > > I admit that my long term plan is somewhat different: to do > > substantial developements at Spad level. That means for example > > I agree with this long term goal. > On this

Re: [fricas-devel] improve "dbReadLines"

2024-04-07 Thread Martin Baker
On 07/04/2024 13:28, Qian Yun wrote: I wonder if i-output.boot is a good target to port to Spad first. About 10 years ago I wrote some SPAD code to implement the functionality of the 2D output (algebraFormat) code in 'i-output.boot':

Re: [fricas-devel] improve "dbReadLines"

2024-04-07 Thread Ralf Hemmecke
On 4/7/24 14:28, Qian Yun wrote: On this subject, I find that you can call Spad function from Boot. I wonder if i-output.boot is a good target to port to Spad first. Have you seen https://github.com/fricas/fricas/blob/master/src/input/outputtest.input ? Right, Format2D is not exactly doing

Re: [fricas-devel] improve "dbReadLines"

2024-04-07 Thread Qian Yun
On 4/7/24 08:21, Waldek Hebisch wrote: I admit that my long term plan is somewhat different: to do substantial developements at Spad level. That means for example I agree with this long term goal. better file handling on Spad level. Of course, there is question how much time Spad plan

Re: [fricas-devel] improve "dbReadLines"

2024-04-06 Thread Waldek Hebisch
On Sat, Apr 06, 2024 at 10:17:08AM +0800, Qian Yun wrote: > I'd like to improve "dbReadLines" from br-search.boot > into the following: > > > read_text_stream stream == > if stream then > [read_line stream while not EOFP stream] > > read_text_file filename == >

[fricas-devel] improve "dbReadLines"

2024-04-05 Thread Qian Yun
I'd like to improve "dbReadLines" from br-search.boot into the following: read_text_stream stream == if stream then [read_line stream while not EOFP stream] read_text_file filename == handle_input_file(filename, function read_text_stream, []) It's more correct (closes