Hi...

I happened to find Singular-related rpm packages on my Fedora-34 system.

$ dnf list \*[sS]ingular\*
> Fedora 34 - x86_64                               13 kB/s | 6.6 kB
> 00:00
> Fedora 34 openh264 (From Cisco) - x86_64        1.7 kB/s | 989  B
> 00:00
> Fedora Modular 34 - x86_64                       21 kB/s | 6.5 kB
> 00:00
> Fedora 34 - x86_64 - Updates                     17 kB/s | 4.8 kB
> 00:00
> Fedora 34 - x86_64 - Updates                    1.4 MB/s | 5.4 MB
> 00:03
> Fedora Modular 34 - x86_64 - Updates             22 kB/s | 6.2 kB
> 00:00
> google-chrome                                    12 kB/s | 1.3 kB
> 00:00
> google-chrome                                   6.4 kB/s | 3.5 kB
> 00:00
> RPM Fusion for Fedora 34 - Free                 8.4 kB/s | 6.8 kB
> 00:00
> RPM Fusion for Fedora 34 - Free - Updates        10 kB/s | 5.6 kB
> 00:00
> RPM Fusion for Fedora 34 - Free - Updates       107 kB/s | 334 kB
> 00:03
> RPM Fusion for Fedora 34 - Nonfree               13 kB/s | 7.1 kB
> 00:00
> RPM Fusion for Fedora 34 - Nonfree - Updates     12 kB/s | 6.6 kB
> 00:00
> RPM Fusion for Fedora 34 - Nonfree - Updates     38 kB/s |  66 kB
> 00:01
> Installed Packages
> Singular.x86_64                               4.2.0p2-3.fc34
> @updates
> Singular-libpolys.x86_64                      4.2.0p2-3.fc34
> @updates
> Singular-libs.x86_64                          4.2.0p2-3.fc34
> @updates
> Available Packages
> Singular-devel.i686                           4.2.0p2-3.fc34
> updates
> Singular-devel.x86_64                         4.2.0p2-3.fc34
> updates
> Singular-doc.x86_64                           4.2.0p2-3.fc34
> updates
> Singular-emacs.x86_64                         4.2.0p2-3.fc34
> updates
> Singular-libpolys.i686                        4.2.0p2-3.fc34
> updates
> Singular-libpolys-devel.i686                  4.2.0p2-3.fc34
> updates
> Singular-libpolys-devel.x86_64                4.2.0p2-3.fc34
> updates
> Singular-libs.i686                            4.2.0p2-3.fc34
> updates
> Singular-polymake.x86_64                      4.1.1p3-24.fc34
> fedora
> Singular-surfex.x86_64                        4.2.0p2-3.fc34
> updates
> gap-pkg-singular.noarch                       2020.12.18-2.fc34
> fedora
> gap-pkg-singular-doc.noarch                   2020.12.18-2.fc34
> fedora
> perl-Lingua-EN-PluralToSingular.noarch        0.21-11.fc34
> fedora
> polymake-singular.i686                        4.3-4.fc34
> fedora
> polymake-singular.x86_64                      4.3-4.fc34
> fedora
> python3-jupyter-kernel-singular.noarch        0.9.9-5.fc34
> fedora
> python3-pysingular.x86_64                     0.9.7-7.fc34
> updates
> singularity.x86_64                            3.8.0-1.fc34
> updates
> $ dnf info Singular
> Last metadata expiration check: 0:14:18 ago on Wed 18 Aug 2021 05:07:01 PM
> JST.
> Installed Packages
> Name         : Singular
> Version      : 4.2.0p2
> Release      : 3.fc34
> Architecture : x86_64
> Size         : 28 M
> Source       : Singular-4.2.0p2-3.fc34.src.rpm
> Repository   : @System
> From repo    : updates
> Summary      : Computer Algebra System for polynomial computations
> URL          : https://www.singular.uni-kl.de/
> License      : GPLv2 or GPLv3
> Description  : Singular is a computer algebra system for polynomial
>              : computations, with special emphasis on commutative and
>              : non-commutative algebra, algebraic geometry, and
> singularity
>              : theory.
>

But there exists no fedora.txt file in sage pkgs directory.

$ ls build/pkgs/singular/distros/
> conda.txt   freebsd.txt   macports.txt  repology.txt
> debian.txt  homebrew.txt  nix.txt
>

Isn't it possible to use them in Sage?

Kazuyoshi
-- 
Kazuyoshi Furutaka

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CANjERveZZ11JxrzDpWF7HXETeD9wDMi%3DJv9237j-89EZhcUCiQ%40mail.gmail.com.

Reply via email to