Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
347 stars 231 forks source link

making EnumerationCurves "rationalCurve" example killed on riscv64 #1886

Closed d-torrance closed 2 years ago

d-torrance commented 3 years ago

From a build of the Ubuntu package on riscv64:

 -- making example results for "rationalCurve"                              
 ulimit -c unlimited; ulimit -t 700; ulimit -m 850000; ulimit -s 8192; ulimit -n 512;  cd /tmp/M2-2989485-0/2-rundir/; GC_MAXIMUM_HEAP_SIZE=400M "/<<PKGBUILDDIR>>/M2/usr-dist/riscv64-Linux-Ubuntu-21.04/bin/M2-binary" -q --int --no-randomize --no-readline --silent --stop --print-width 129 -e 'needsPackage("EnumerationCurves",Reload=>true,FileName=>"/<<PKGBUILDDIR>>/M2/Macaulay2/packages/EnumerationCurves.m2")' <"/tmp/M2-2989485-0/0_rational__Curve.m2" >>"/<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_rational__Curve.errors" 2>&1
/<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_rational__Curve.errors:0:1: (output file) error: Macaulay2 killed by signal 9
/tmp/M2-2989485-0/0_rational__Curve.m2:0:1: (input file)
M2: *** Error 9
 -- 515.246 seconds elapsed
 -- storing example results from output file../../../usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_rational__Curve.out
 -- warning: missing file /<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_rational__Curve.out
 -- making example results for "multipleCover"                               -- 9.98476 seconds elapsed
 -- storing example results from output file../../../usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_multiple__Cover.out
../../m2/debugging.m2:20:6:(1):[9]: error: installPackage: 1 error(s) occurred running examples for package EnumerationCurves:

_rational__Curve.errors
***********************
     -- used 43.6171 seconds

      15517926796875
o12 = --------------
            64

o12 : QQ

i13 : time rationalCurve(4,{4,2})
Killed

../../m2/installPackage.m2:696:14:(1):[8]: --back trace--
../../m2/methods.m2:119:80:(1):[7]: --back trace--

This example is probably too big. It took nearly a minute during a recent amd64 build in Debian:

-- making example results for "rationalCurve"                               -- 53.7263 seconds elapsed
 -- storing example results from output file../../../usr-dist/common/share/doc/Macaulay2/EnumerationCurves/example-output/_rational__Curve.out
d-torrance commented 2 years ago

Another example was killed (NormalToricVarieties::isNef(ToricDivisor)) during the latest build on riscv64 in Debian unstable:

 -- making example results for "isNef(ToricDivisor)"                        
 ulimit -c unlimited; ulimit -t 700; ulimit -m 850000; ulimit -s 8192; ulimit -n 512;  cd /tmp/M2-1140418-0/13-rundir/; GC_MAXIMUM_HEAP_SIZE=400M "/<<PKGBUILDDIR>>/M2/usr-dist/riscv64-Linux-Debian-unreleased/bin/M2-binary" -q --int --no-randomize --no-readline --silent --stop --print-width 77 -e 'needsPackage("NormalToricVarieties",Reload=>true,FileName=>"/<<PKGBUILDDIR>>/M2/Macaulay2/packages/NormalToricVarieties.m2")' <"/tmp/M2-1140418-0/0_is__Nef_lp__Toric__Divisor_rp.m2" >>"/<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/NormalToricVarieties/example-output/_is__Nef_lp__Toric__Divisor_rp.errors" 2>&1
/<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/NormalToricVarieties/example-output/_is__Nef_lp__Toric__Divisor_rp.errors:0:1: (output file) error: Macaulay2 killed by signal 9
/tmp/M2-1140418-0/0_is__Nef_lp__Toric__Divisor_rp.m2:0:1: (input file)
M2: *** Error 9
 -- 618.804 seconds elapsed
 -- storing example results in ../../../usr-dist/common/share/doc/Macaulay2/NormalToricVarieties/example-output/_is__Nef_lp__Toric__Divisor_rp.out
 -- warning: missing file /<<PKGBUILDDIR>>/M2/usr-dist/common/share/doc/Macaulay2/NormalToricVarieties/example-output/_is__Nef_lp__Toric__Divisor_rp.out

...

../../m2/debugging.m2:23:6:(1):[9]: error: installPackage: 1 error(s) occurred running examples for package NormalToricVarieties:

_is__Nef_lp__Toric__Divisor_rp.errors
*************************************
i17 : assert isNef (0*X3_1)

i18 : assert (nefGenerators X3 == 0)

i19 : X4 = kleinschmidt (9,{1,2,3});

i20 : assert (isNef X4_0 and not isAmple X4_0)

i21 : assert all (dim X4 - 1, i -> HH^(i+1)(X4, OO X4_0) == 0)
Killed

../../m2/installPackage.m2:726:18:(1):[8]: --back trace--

This example is also probably too big. It took about 30 seconds on the amd64 build:

 -- making example results for "isNef(ToricDivisor)"                         -- 32.4484 seconds elapsed
 -- storing example results in ../../../usr-dist/common/share/doc/Macaulay2/NormalToricVarieties/example-output/_is__Nef_lp__Toric__Divisor_rp.out
d-torrance commented 2 years ago

Closing - see https://github.com/Macaulay2/M2/issues/2329#issuecomment-1128018084