Opened 9 years ago

Closed 9 years ago

# incorrect radical of (redundant) primary component in primary decomposition

Reported by: Owned by: kroeker@… somebody minor 4-1-0 and higher singular-libs 4-0-0 primdecGTZ bug primary radical

### 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;

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),
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/..
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