fricas/gcl/sage PR#207

[Qian Yun]

Hi Waldek,

I wonder if PR#207 is missing on your radar, what's your view on
https://github.com/fricas/fricas/pull/207 ?

- Best,
- Qian

[Waldek Hebisch]

On Mon, Dec 22, 2025 at 09:43:50AM +0800, Qian Yun wrote:
> Hi Waldek,
>
> I wonder if PR#207 is missing on your radar, what's your view on
> https://github.com/fricas/fricas/pull/207 ?

My trouble is that I do not know what problem this attempts
to fix.

AFAICS completely disables readline built into GCL, which is
not a big deal due to rlwrap, but some people may wish to
interact directly with gcl command line.

Another trouble is how to test anything: again there are various
GCL snapshots and I do not know which one is in use.

--
Waldek Hebisch

[Dima Pasechnik]

On Sun, Dec 21, 2025 at 9:51 PM Waldek Hebisch <de...@fricas.org> wrote:
>
> On Mon, Dec 22, 2025 at 09:43:50AM +0800, Qian Yun wrote:
> > Hi Waldek,
> >
> > I wonder if PR#207 is missing on your radar, what's your view on
> > https://github.com/fricas/fricas/pull/207 ?
>
> My trouble is that I do not know what problem this attempts
> to fix.
>
> AFAICS completely disables readline built into GCL, which is
> not a big deal due to rlwrap, but some people may wish to
> interact directly with gcl command line.

one of the two readlines has to go, either the rlwrap's one, or the
built-in one.
Having them both on leads to some weird interactions, doubling up stuff, etc.

>
> Another trouble is how to test anything: again there are various
> GCL snapshots and I do not know which one is in use.

we are talking about GCL 2.7.1 (with a patch it needs, published on
its release page - which is weird, if it doen't build/work without
they should make a new release, but, well...)
https://www.gnu.org/software/gcl/

In Debian/Ubuntu: https://packages.debian.org/trixie/gcl27

Dima



>
> --
> Waldek Hebisch
>
> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/aUjAVIQ8MIsPGihm%40fricas.org.