Opened 9 years ago

Closed 9 years ago

#642 closed bug (fixed)

genus() example failing on some systems

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: genus bug Cc:

Description

The following example for genus() fails at least on some systems.

input: 

/////////////////////////////////
LIB("normal.lib");
ring rng = 0, (T(1),T(2),T(3),y,x ),(dp(3),dp(2) );
ideal I = x^9+y*x^5-y^5+y^3,T(3)*x^2-y^3+y,T(3)*y^2-x^7-y*x^3,T(2)*y-x^4,T(2)*x^3-T(3)*y+x^3,T(1)-T(3)*x,T(3)^2+T(2)*x-y*x^5-y^2*x+x,T(2)*T(3)-y^2*x^2+x^2,T(2)^2+T(2)-T(3)*x;
I = std(I);
dim(I);
def J =  equidim(std(I))[1];
J;
genus(J,"pri"); //=6, wrong!
genus(J);  //=9
genus(J,"nor"); //=9
/////////////////////////////////

output: 

/////////////////////////////////
commit :1becceace5fa1d9bbbf815b5ac22752118958578
Date:   Wed Aug 6 09:31:23 2014 +0200
/////////////////////////////////
Singular for x86_64-Linux version 4.0.0 (4.0.0, 64 bit) Aug  1 2014 19:26:19 #8fec174|M
with
        GMP(5.0.2),NTL(5.4.2),factory(@(#) factoryVersion = 4.0.0),
        static readline,Plural,DBM,
        dynamic modules,dynamic p_Procs,OM_NDEBUG,SING_NDEBUG,CC:OPTIMIZE,random=1407331308
built-in modules: {}
AC_CONFIGURE_ARGS =  '--prefix=/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release' '--enable-gfanlib' 'CFLAGS=' 'LDFLAGS=' 'LIBS=' 'CPPFLAGS=' 'CXXFLAGS=' '--enable-omalloc' 'OMALLOC_LIBS=/home/jkroeker/lipmanresolve-
release/Singular-spielwiese/BUILD/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD' '--with-Singular' 'RESOURCES
_LIBS=/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/resources/libresources.la' 'RESOURCES_INCLUDES=-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. ' 'FACTORY_LIBS=/home/jkroeker/lipmanresolve-release/
Singular-spielwiese/BUILD/factory/libfactory.la' 'FACTORY_INCLUDES=-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/../factory/include -I/home/jkroeker/l
ipmanresolve-release/Singular-spielwiese/BUILD -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/factory/include'  OMALLOC_LIBS='/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/omalloc/libomalloc.la' OMALLOC
_INCLUDES='-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD' --with-Singular RESOURCES_LIBS='/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUI
LD/resources/libresources.la' RESOURCES_INCLUDES='-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. ' FACTORY_LIBS='/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/factory/libfactory.la' FACTORY_INCLUDES=
'-I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/../factory/include -I/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD -I/home/jkroeker/li
pmanresolve-release/Singular-spielwiese/BUILD/factory/include',
CC = gcc,FLAGS :  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -funroll-loops,
CXX = g++,FLAGS :  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -fno-rtti -fno-threadsafe-static
s -fno-enforce-eh-specs -fconserve-space -funroll-loops,
DEFS : ,CPPFLAGS : ,
LDFLAGS :  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -funroll-loops -rdynamic -Wl,-undefined,
dynamic_lookup,LIBS : -lreadline -lncurses -lrt  (ver: 4.6.3)
argv[0]   :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/Singular
SearchPath:     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB:/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/factory:/home/jkroeker/lipmanresolve-rel
ease/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/libexec/singular/MOD:/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin
Singular  :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/Singular
BinDir    :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin
ProcDir   :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/libexec/singular/MOD
RootDir   :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/..
DataDir   :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share
DefaultDir:     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release
InfoFile  :
IdxFile   :
HtmlDir   :
ManualUrl :     www.singular.uni-kl.de/Manual/
ExDir     :
Path      :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin:/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jkroeker/lipmanresolve-release/Singular-s
pielwiese/BUILD/release/libexec/singular/MOD:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/home/jkroeker/local/bin:/usr/local/sage/local/bin
emacs     :
xemacs    :
SingularEmacs:  /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/Singular
EmacsLoad :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs/.emacs-singular
EmacsDir  :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs
SingularXterm:  /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/Singular
xterm     :     /usr/bin/xterm
EmacsDir  :     /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs
Available HelpBrowsers: dummy, emacs, 
Current HelpBrowser: dummy 
                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.0.0
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Dec 2013
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/normal.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/algebra.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/matrix.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/nctools.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/random.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/reesclos.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/locnormal.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/modstd.lib (4.0.0.0,May_2014)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/parallel.lib (4.0.0.0,Dec_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/tasks.lib (4.0.0.0,Dec_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/resources.lib (4.0.0.0,Dec_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/modular.lib (4.0.0.0,May_2014)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/hnoether.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/primitiv.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/ring.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/inout.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/presolve.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/elim.lib (4.0.0.1,Jan_2014)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/primdec.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/absfact.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/triang.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/sing.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/poly.lib (4.0.0.0,Jun_2013)
// ** loaded /home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB/general.lib (4.0.0.1,Jan_2014)
1
J[1]=x^9+y*x^5-y^5+y^3
J[2]=T(3)*x^2-y^3+y
J[3]=T(3)*y^2-x^7-y*x^3
J[4]=T(2)*y-x^4
J[5]=T(2)*x^3-T(3)*y+x^3
J[6]=T(1)-T(3)*x
J[7]=T(3)^2+T(2)*x-y*x^5-y^2*x+x
J[8]=T(2)*T(3)-y^2*x^2+x^2
J[9]=T(2)^2+T(2)-T(3)*x
6 //wrong!
9
9

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: → fixed
Status: new → closed

fixed by Gerhard with 9d64ac1396fb685bb6ccdd847af6a90e4787e883

Note: See TracTickets for help on using tickets.