Opened 9 years ago
Closed 9 years ago
#624 closed bug (fixed)
incorrect radical of (redundant) primary component in primary decomposition
Reported by: | Owned by: | somebody | |
---|---|---|---|
Priority: | minor | Milestone: | 4-1-0 and higher |
Component: | singular-libs | Version: | 4-0-0 |
Keywords: | primdecGTZ bug primary radical | Cc: |
Description
Hello,
for the following input the radical of the (redundant) 7th primary component is not correct:
system("random", 1401092447); LIB("primdec.lib"); LIB("ehv.lib"); ring rng = 23,(x, y, z), dp; ideal I = 9*x*y^2-11*x*z^2, 11*x*y*z^2+4*x^2*z, -3*y^5+x*z-10*y*z; list L1,L2; def RI = std(radical(I)); L1 = primdecGTZ(RI);
output:
> . L1 = primdecGTZ(RI); // ** _ is no standard basis > L1; [1]: [1]: _[1]=z _[2]=y [2]: _[1]=z _[2]=y [2]: [1]: _[1]=y _[2]=x [2]: _[1]=y _[2]=x [3]: [1]: _[1]=y4+11z _[2]=x [2]: _[1]=y4+11z _[2]=x [4]: [1]: _[1]=z+1 _[2]=y2+9 _[3]=x+3y [2]: _[1]=z+1 _[2]=y2+9 _[3]=x+3y [5]: [1]: _[1]=z2-z-1 _[2]=y+9z-5 _[3]=x-11z+4 [2]: _[1]=z2-z-1 _[2]=y+9z-5 _[3]=x-11z+4 [6]: [1]: _[1]=z2-z-1 _[2]=y-9z+5 _[3]=x+11z-4 [2]: _[1]=z2-z-1 _[2]=y-9z+5 _[3]=x+11z-4 [7]: [1]: _[1]=z2-z-1 _[2]=y4+11z _[3]=x [2]: _[1]=1 >
The interesting things happens in zero_decomp() from the point where jmap is initialized by randomLast(100); to "7x+5y+z"
environment:
Singular for x86_64-Linux version 4.0.0 (4.0.0, 64 bit) Jun 10 2014 10:35:02 #d7295ff|MM with GMP(6.0.0),NTL(5.5.2),FLINT(2.3),factory(@(#) factoryVersion = 4.0.0), static readline,Plural,DBM, dynamic modules,dynamic p_Procs,OM_NDEBUG,SING_NDEBUG,CC:OPTIMIZE,random=1402389960 built-in modules: {} AC_CONFIGURE_ARGS = '--prefix=/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/release' 'CFLAGS= -I/usr/local/include' 'LDFLAGS= -L/usr/local/lib64 -L/usr/local/lib' 'CPPFLAGS= -I/usr/local/include' 'CXXFLAGS= -I/usr/local/include' '--enable-omalloc' 'OMALLOC_LIBS=/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/omalloc/libomalloc.la' 'OMALLOC_INCLUDES=-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD' '--with-Singular' 'RESOURCES_LIBS=/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/resources/libresources.la' 'RESOURCES_INCLUDES=-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. ' 'FACTORY_LIBS=/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/factory/libfactory.la' 'FACTORY_INCLUDES=-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/../factory/include -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/factory/include' OMALLOC_LIBS='/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/omalloc/libomalloc.la' OMALLOC_INCLUDES='-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD' --with-Singular RESOURCES_LIBS='/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/resources/libresources.la' RESOURCES_INCLUDES='-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. ' FACTORY_LIBS='/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/factory/libfactory.la' FACTORY_INCLUDES='-I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/.. -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/../factory/include -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD -I/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/factory/include', CC = gcc,FLAGS : -I/usr/local/include -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 : -I/usr/local/include -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-statics -fno-enforce-eh-specs -fconserve-space -funroll-loops, DEFS : ,CPPFLAGS : -I/usr/local/include, LDFLAGS : -L/usr/local/lib64 -L/usr/local/lib -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.7.3) argv[0] : ./singular-spielwiese SearchPath: /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/LIB:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/../factory:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/MOD:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/release/libexec/singular/MOD:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular Singular : /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/Singular BinDir : /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular ProcDir : /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/MOD:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/release/libexec/singular/MOD RootDir : /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/.. DataDir : DefaultDir: /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/release InfoFile : IdxFile : HtmlDir : ManualUrl : www.singular.uni-kl.de/index.php/singular-manual.html ExDir : Path : /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/MOD:/home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/release/libexec/singular/MOD:/usr/lib64/qt-3.3/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/sbin:/usr/sbin:/sbin:/home/agag/kroeker/bin:/usr/lib64/4ti2/bin emacs : /usr/bin/emacs-23.1 xemacs : SingularEmacs: /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/Singular EmacsLoad : EmacsDir : SingularXterm: /home/kroeker/Projects/lipmanresolve-release/Singular-spielwiese/BUILD/Singular/Singular xterm : /usr/bin/xterm EmacsDir :
Note: See
TracTickets for help on using
tickets.