Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update Singular to 4.3.1 #33160

Closed
dimpase opened this issue Jan 13, 2022 · 79 comments
Closed

update Singular to 4.3.1 #33160

dimpase opened this issue Jan 13, 2022 · 79 comments

Comments

@dimpase
Copy link
Member

dimpase commented Jan 13, 2022

The previous update was on #32907

See https://www.singular.uni-kl.de/Manual/4-3-0/sing_2998.htm -
in particular, Flint 2.8 is supported.

This ticket also serves as the new target ticket for Singular's ci-sage after Singular/Singular#1131

Depends on #34017
Depends on #34088

CC: @kiwifb @orlitzky @mwageringel @tscrim @slel @dimpase @sagetrac-tmonteil @antonio-rojas

Component: packages: standard

Author: Matthias Koeppe, Michael Orlitzky, Dima Pasechnik

Branch: 9cb5807

Reviewer: Dima Pasechnik, Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/33160

@dimpase dimpase added this to the sage-9.6 milestone Jan 13, 2022
@dimpase

This comment has been minimized.

@dimpase

This comment has been minimized.

@mkoeppe
Copy link
Contributor

mkoeppe commented Jan 23, 2022

Branch: u/mkoeppe/update_singular_to_4_3_0

@mkoeppe
Copy link
Contributor

mkoeppe commented Jan 23, 2022

Commit: 59c12fc

@mkoeppe
Copy link
Contributor

mkoeppe commented Jan 23, 2022

comment:6

Builds OK on macOS, but I'm getting this on docbuilding:

[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/freegb.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../libexec/singular/MOD/freealgebra.so
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/fpalgebras.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/general.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/ring.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/primdec.lib (4.2.1.1,Jul_2021)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/absfact.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/triang.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/random.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/elim.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/matrix.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/nctools.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/polylib.lib (4.2.0.0,Dec_2020)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/inout.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/qhmoduli.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/rinvar.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/zeroset.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/primitiv.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] // ** loaded /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/local/bin/../share/singular/LIB/presolve.lib (4.1.2.0,Feb_2019)
[sagemath_doc_html-none] ------------------------------------------------------------------------
[sagemath_doc_html-none] (no backtrace available)
[sagemath_doc_html-none] ------------------------------------------------------------------------
[sagemath_doc_html-none] Unhandled SIGSEGV: A segmentation fault occurred.
[sagemath_doc_html-none] This probably occurred because a *compiled* module has a bug
[sagemath_doc_html-none] in it and is not properly wrapped with sig_on(), sig_off().
[sagemath_doc_html-none] Python will now terminate.
[sagemath_doc_html-none] ------------------------------------------------------------------------
[sagemath_doc_html-none] /Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/bin/sage-python: line 2: 90459 Segmentation fault: 11  sage -python "$@"
[sagemath_doc_html-none] make[6]: *** [doc-inventory--reference-algebras] Error 139

New commits:

59c12fcbuild/pkgs/singular: Update to 4.3.0

@fchapoton
Copy link
Contributor

comment:7

I have tried to launch an experimental patchbot on the ticket, and it fails, see the latest report's log. Not clear to me if this comes from a wrong experimental patchbot or from the singular update itself.

@dimpase
Copy link
Member Author

dimpase commented Jan 24, 2022

comment:8

The bot should uninstall Singular it has installed, it seems.

The bot can check that the patch touches build/pkgs/FOOBAR/package-version.txt, and
run make FOOBAR-clean.

@fchapoton
Copy link
Contributor

comment:9

I ran my bot twice on this ticket, that could be the reason why it did not re-build singular the second time. Still, why would it fail if the new singular is already built ?

A priori, no need to clean any package afterwards, the bot will just re-build any anterior version when testing another ticket. I can see a problem only when we ask the patchbot to build immediatly a different version of the same package with the same number. This should not happen so often.

@dimpase
Copy link
Member Author

dimpase commented Jan 24, 2022

comment:10

Are you sure you have Singular 4.3.0 installed there? It might be just a confusing error message, and in fact you have 4.2.1 there (but probably not...).

Anyhow, a package upgrade must cause rebuild of everything that depends on it (e.g. sagelib in this case, and sagelib is not rebuilt (thus the error - libfactory-4.2.1, something from the older Singular version, is not found)).

@fchapoton
Copy link
Contributor

comment:11

Thanks, indeed, something wrong happened.

Let me launch the bot again on this one, after testing another ticket.

@fchapoton
Copy link
Contributor

comment:12

argh, once again building singular 4.3, but not sagelib..

EDIT: hmm, in fact, the log says it has built sagelib successfully

EDIT but it does not re-build pynac. Should this happen ?

@dimpase
Copy link
Member Author

dimpase commented Feb 3, 2022

comment:14

Replying to @fchapoton:

argh, once again building singular 4.3, but not sagelib..

EDIT: hmm, in fact, the log says it has built sagelib successfully

EDIT but it does not re-build pynac. Should this happen ?

There is no more pynac spkg. It's merged into sagelib,
and lives in src/sage/symbolic/ginac/ and in src/sage/symbolic/

Could it be that some cython # distutils: declarations for dependent libfactory are missing somewhere
there? (it used to be taken care by the deps of pynac, cf. e.g. https://github.com/sagemath/sage-prod/blob/9.4/build/pkgs/pynac/dependencies).

@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 5, 2022

Dependencies: #33187

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Changed commit from 59c12fc to 2bb054d

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Branch pushed to git repo; I updated commit sha1. New commits:

07bbd64build/pkgs/{gcc,gfortran}/spkg-configure.m4: Accept 12.x
734ba23build/pkgs/gcc/spkg-configure.m4: Reject GCC 4.9.x
35857d8build/pkgs/singular: Add upstream PR 1128 for GCC 12 support
f27ff17build/pkgs/giac/spkg-install.in: Use -std=gnu++11
2bb054dMerge #33187

@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 5, 2022

Changed dependencies from #33187 to #33187, #33296

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

e63b9f2Merge tag '9.5' into t/31529/packages/texlive/add_spkg_configure_m4_and_system_package_information__remove_install_script
8b2490ebuild/pkgs/texlive/spkg-configure.m4: ALso check for fncychap.sty
7b97dd4update list of gentoo packages
016ff89Merge #31529
855314dsrc/doc/bootstrap: Get recommended spkg from build/pkgs/_recommended/dependencies
3164fffbuild/pkgs/_recommended/dependencies: Add git
5e2cf42Merge #33277
16f0197tox.ini: New packages factor 'recommended'
7235c7b.github/workflows/tox.yml: Switch docker workflows from -standard to -recommended
b1c692dMerge #33296

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Changed commit from 2bb054d to b1c692d

@mkoeppe

This comment has been minimized.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

b7fe1a7Merge #33296

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Feb 5, 2022

Changed commit from b1c692d to b7fe1a7

@mkoeppe

This comment has been minimized.

@dimpase
Copy link
Member Author

dimpase commented Feb 7, 2022

Changed dependencies from #33187, #33296 to #33187, #33296, #32211

@mkoeppe
Copy link
Contributor

mkoeppe commented Feb 7, 2022

comment:24

I don't think #32211 is a dependency - Singular will still work with older versions of FLINT. (Otherwise, we would have to bump the minimal flint version in its spkg-configure...)

@vbraun
Copy link
Member

vbraun commented Jul 18, 2022

comment:58

Well this ticket does indeed not build, so I once again waste my time on it.

@mkoeppe
Copy link
Contributor

mkoeppe commented Jul 18, 2022

comment:60

Volker, can we get details please, or is your policy still to withhold this information in order to teach us a lesson?

@dimpase
Copy link
Member Author

dimpase commented Jul 18, 2022

comment:61

I don't have a 32-bit builder, anyway.

@vbraun
Copy link
Member

vbraun commented Jul 18, 2022

comment:62

Same failure that I previously reported on #33134

**********************************************************************
File "src/sage/rings/polynomial/hilbert.pyx", line 583, in sage.rings.polynomial.hilbert.hilbert_poincare_series
Failed example:
    J.hilbert_numerator(algorithm='singular')
Expected nothing
Got:
    overflow at t^22
    overflow at t^21
    overflow at t^20
    overflow at t^19
    overflow at t^18
    120*t^33 - 3465*t^32 + 48180*t^31 - 429374*t^30 + 2753520*t^29 - 13522410*t^28 + 52832780*t^27 - 168384150*t^26 + 445188744*t^25 - 987193350*t^24 + 1847488500*t^23 + 752776200*t^17 + 752776200*t^16 - 1580830020*t^15 + 1673936550*t^14 - 1294246800*t^13 + 786893250*t^12 - 382391100*t^11 + 146679390*t^10 - 42299400*t^9 + 7837830*t^8 - 172260*t^7 - 468930*t^6 + 183744*t^5 - 39270*t^4 + 5060*t^3 - 330*t^2 + 1
**********************************************************************

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 18, 2022

Changed commit from 83c0b03 to 6e9222d

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 18, 2022

Branch pushed to git repo; I updated commit sha1. New commits:

8fe7620build/pkgs/singular: Update to 4.3.0
c36a49bbuild/pkgs/singular: Update to 4.3.0p1
4e69274build/pkgs/singular/patches/1128.patch: Remove (upstreamed)
192efb2build/pkgs/singular: Update to 4.3.1
ea08a04src/sage/rings/polynomial/hilbert.pyx: Restrict a doctest to 64 bit
0679154build/pkgs/singular: Update to 4.3.1p1
9b8e7cbTrac #33134: add random (disabled) test for hilbert_numerator() algorithms.
83af1a8add 32-bit catch-all case
6e9222dMerge #33134

@mkoeppe
Copy link
Contributor

mkoeppe commented Jul 18, 2022

Changed author from Matthias Koeppe to Matthias Koeppe, Michael Orlitzky, Dima Pasechnik

@mkoeppe
Copy link
Contributor

mkoeppe commented Jul 18, 2022

comment:65

I've merged in #33134 and edited that doctest slightly.

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 19, 2022

Changed commit from 6e9222d to 9cb5807

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Jul 19, 2022

Branch pushed to git repo; I updated commit sha1. New commits:

9cb5807src/sage/rings/polynomial/hilbert.pyx: Final fix for the 32-bit result

@mkoeppe
Copy link
Contributor

mkoeppe commented Jul 19, 2022

comment:67

Tested successfully with tox -e docker-debian-buster-i386-standard.

@mkoeppe
Copy link
Contributor

mkoeppe commented Jul 19, 2022

Changed reviewer from Dima Pasechnik to Dima Pasechnik, Matthias Koeppe

@dimpase
Copy link
Member Author

dimpase commented Jul 19, 2022

comment:68

OK, also works (on 64-bit) with SAGE_CHECK=yes

@vbraun
Copy link
Member

vbraun commented Jul 28, 2022

Changed branch from u/mkoeppe/update_singular_to_4_3_0 to 9cb5807

@dimpase
Copy link
Member Author

dimpase commented Oct 21, 2022

comment:70

4.3.1p1 is broken on Fedora 34, as it does not have fstream.h (it does have fstream).
Reported upstream: Singular/Singular#1156

@dimpase
Copy link
Member Author

dimpase commented Oct 21, 2022

Changed commit from 9cb5807 to none

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

6 participants