Opened 10 years ago

Closed 10 years ago

#624 closed bug (fixed)

incorrect radical of (redundant) primary component in primary decomposition

Reported by: kroeker@… 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  :	

Change History (1)

comment:1 Changed 10 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.