check if the crash is due to conflicting libraries or wrong linkage

[jakobkroeker]

check ldd

failing input on andromeda ( SL 6.4, gcc 4.7.2 ), gap4r6p2 gap4r6p5

LoadPackage("HMAC");

SetFloats( MPC, 100 );

finiteField := GF (11);

rng :=  PolynomialRing( finiteField, 1);
x_1 :=  IndeterminatesOfPolynomialRing( rng )[1];

#SetFloats( MPC, 100 );

finiteField := GF(11);
rng :=  PolynomialRing( finiteField, 1);
x_1 := IndeterminatesOfPolynomialRing( rng )[1];

hmsProblem := rec( complexCriticalValues := [ infinity, .0e0, .1e1, .2e1, .8e1, .5e1 ], criticalValues := [ [ infinity, infinity ], [ 0, 0 ], [ 1, 0 ], 
       [ 2, 0 ], [ 8, 0 ], [ 5, 0 ] ], dataType := "HurwitzMapSearchProblem", 
        normalizationRules := [ rec( dataType := "NormalizationRule", multiplicity := 2, polynomialId := 1, root := infinity ), 
         rec( dataType := "NormalizationRule", multiplicity := 2, polynomialId := 2, root := 0 ), 
         rec( dataType := "NormalizationRule", multiplicity := 2, polynomialId := 3, root := 1 ) ], 
       shapes := [ rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ), 
         rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ), rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ), 
         rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ), rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ), 
         rec( dataType := "Shape", degree := 4, partition := [ 2, 1, 1 ] ) ] );

polTuple := [ x_1^2+Z(11)*x_1+Z(11)^2, x_1^4+Z(11)^8*x_1^3+Z(11)^6*x_1^2, x_1^4+Z(11)^8*x_1^3+Z(11)^2*x_1^2+x_1+Z(11), 
   x_1^4+Z(11)^8*x_1^3-x_1^2+Z(11)*x_1+Z(11)^2, x_1^4+Z(11)^8*x_1^3+Z(11)*x_1^2+Z(11)^3*x_1+Z(11)^4, 
   x_1^4+Z(11)^8*x_1^3+Z(11)^9*x_1^2+Z(11)^4*x_1-Z(11)^0 ] ;

lifter := Hurwitz@HMAC.HurwitzMapLifter( polTuple, finiteField, hmsProblem );

liftOptions := @HMAC@PadicLift.LiftOptions();
liftOptions.setVerbose( true );

# liftOptions.setVerboseLevel( 3 );
# SetInfoLevel(InfoHMAC,3);

liftOptions.setVerboseLevel( 1 );
liftOptions.setInitialLiftDepth( 10 );
liftOptions.setLatticeDimIncrementFkt( function(val) return val+5; end );
liftOptions.setInitialLatticeDim( 1 );
liftOptions.setMaxLatticeDim( 131 );

mapCandidates := lifter.computeApproxHurwitzMapsOptimized( liftOptions ); 

[jakobkroeker]

maybe that is the problem: ( using different gmp versions)

    linux-vdso.so.1 =>  (0x00007fffb12f6000)
    libmpfi.so.0 => /home/agag/kroeker/Projects/gap4r6p5/pkg/float-0.5.10/bin/x86_64-unknown-linux-gnu-gcc-default64/extern/lib/libmpfi.so.0 (0x00007fcf0b37b000)
    libmpc.so.2 => /usr/lib64/libmpc.so.2 (0x00007fcf0b145000)
    libcxsc.so.2 => /home/agag/kroeker/Projects/gap4r6p5/pkg/float-0.5.10/bin/x86_64-unknown-linux-gnu-gcc-default64/extern/lib/libcxsc.so.2 (0x00007fcf0a9b7000)
    libfplll.so.0 => /home/agag/kroeker/Projects/gap4r6p5/pkg/float-0.5.10/bin/x86_64-unknown-linux-gnu-gcc-default64/extern/lib/libfplll.so.0 (0x00007fcf0a6f3000)
    libmpfr.so.4 => /home/agag/kroeker/Projects/gap4r6p5/pkg/float-0.5.10/bin/x86_64-unknown-linux-gnu-gcc-default64/extern/lib/libmpfr.so.4 (0x00007fcf0a498000)
    libgmp.so.10 => /home/agag/kroeker/Projects/gap4r6p5/extern/gmp-5.0.5/../../bin/x86_64-unknown-linux-gnu-gcc-default64/extern/gmp-5.0.5/lib/libgmp.so.10 (0x00007fcf0a22d000)
    libstdc++.so.6 => /usr/local/lib/../lib64/libstdc++.so.6 (0x00007fcf09ef1000)
    libgcc_s.so.1 => /usr/local/lib/../lib64/libgcc_s.so.1 (0x00007fcf09cdc000)
    libc.so.6 => /lib64/libc.so.6 (0x00007fcf09949000)
    libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x00007fcf096fa000)
    libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x00007fcf0949f000)
    libm.so.6 => /lib64/libm.so.6 (0x00007fcf0921b000)
    /lib64/ld-linux-x86-64.so.2 (0x0000003535600000)

[jakobkroeker]

another guess is that gap fails to grab more memory and the pointer is NULL in fplll.C