[Debian-science-sagemath] using Debian Singular in latest Sage beta ?

[Tobias Hansen]

On 2/12/22 12:01, Dima Pasechnik wrote:
> On Sat, Feb 12, 2022 at 11:33 AM Dima Pasechnik <dimpase at gmail.com> wrote:
>>
>> On Sat, Feb 12, 2022 at 11:12 AM Tobias Hansen <thansen at debian.org> wrote:
>>
>>> looks like https://bugs.debian.org/1001806
>>> which should have been fixed in singular 1:4.2.1-p2+ds-6.
>>>
>>> Ubuntu jammy should have 1:4.2.1-p3+ds-1 with the fix, do you have that version installed?
>> So far I tested my Sage patch with 4.1.1 in Debian 11 only.
>> I'll see whether in Jammy it's fixed (perhaps I forgot to install singular-doc)
> 
> nope, this version does not work either:
> 
> root at 81be64be03b7:/sage# apt install singular-doc
> Reading package lists... Done
> Building dependency tree... Done
> Reading state information... Done
> singular-doc is already the newest version (1:4.2.1-p3+ds-1).
> 0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded.
> root at 81be64be03b7:/sage# apt install singular-doc
> Reading package lists... Done
> Building dependency tree... Done
> Reading state information... Done
> singular-doc is already the newest version (1:4.2.1-p3+ds-1).
> 0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded.
> root at 81be64be03b7:/sage# Singular
>                      SINGULAR                                 /  Development
>  A Computer Algebra System for Polynomial Computations       /   version 4.2.1
>                                                            0<
>  by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   May 2021
> FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
> Debian 1:4.2.1-p3+ds-1
>> help;
> // ** Displaying help in browser 'dummy'.
> // ** Use 'system("--browser", <browser>);' to change browser,
> // ** where <browser> can be: "dummy", "emacs".
>    ? No functioning help browser available.
>    ? error occurred in or before STDIN line 1: `help;`
>>
> Auf Wiedersehen.
> root at 81be64be03b7:/sage# uname -a
> Linux 81be64be03b7 5.10.76-linuxkit #1 SMP Mon Nov 8 10:21:19 UTC 2021
> x86_64 x86_64 x86_64 GNU/Linux
> 
> (this is Ubuntu Jammy in a docker container)
> 
> It is probably Ubuntu's own bug - I don't see where singular.hlp or
> singular.info is located.
> Do you know where to report it?
> 
> Dima
> 
The file should be /usr/share/doc/singular/singular.info in singular-doc.

Unless they have "ubuntu" in the version, Ubuntu packages are just exact copies of Debian packages. You should report it in Debian then because probably nobody feels responsible for the package within Ubuntu. So you are already at the right place here.

Best,
Tobias