Opened 8 years ago

Closed 8 years ago

#649 closed bug (fixed)

more bugs in 'char_series()'

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: factory Version: 4-0-0
Keywords: factory bugs char_series Cc:

Description

Hello,

after the recent factory patch I still observe issues in char series: 

ring rng = 0,(  xy, xr, xl, xa, xj),lp;

ideal I = -17/21*xl*xa*xj+35/53*xj+25/6,
-51/80*xr*xj^2+107/13*xr+27/52*xl,
-69/125*xy*xr*xl+55/57*xy-67/41*xa,
55/9*xy^2*xr-17/110*xl*xj-121/116*xa^2*xj;

char_series(I); // crashes after 16 hours

////////////////////////////////////////
ring rng = 0,(xu, xd, xy, xb, xh),lp;

ideal I = -134/61*xd*xb*xh-120/47*xd-43/47*xy*xh^2,
-11/10*xu*xy+2/41*xu*xb^2+19/34*xh,
-119/94*xu^2-67/71*xd*xy+59/24*xb^2,
-31/118*xd*xy*xb-57/56;

char_series(I); // crashes after 20 hours

///////////////////////////////////////

ring rng = 0,( xs, xt, xb ,xf, xq),lp;

ideal I = -91/110*xs*xq^2-76/117*xq+139/138,
57/124*xt*xf^2+113/122*xb^2*xq-47/40,
3/83*xb*xf+23/16*xb+136/115*xf,
85/12*xs*xt*xb-23/22*xt^2*xq-54/113;

char_series(I); // crashes after 50 hours

///////////////////////////////////////

ring rng = 0,( xw, xq, xy, xo, xz),lp;

ideal I = -37/47*xw^2*xy+129/113*xo-61/107*xz^2,
-6/7*xw*xq^2-63/64*xq*xz+1/2*xy,
2/19*xw+1/10*xy^2*xo-37/2*xz,
-14/31*xw^2*xz+16*xq*xy*xz+16/55;

char_series(I); // crashes after 65 hours

////////////////////////////////////////

ring rng = 0,(xf, xw, xy, xm, xt),dp;
ideal I = 108/59*xf*xt-14*xw*xt+31/11,
-45/76*xf*xm^2-75/76*xw^2+70/41*xm*xt^2,
111/46*xy^2*xm+58/139*xy*xt^2+43/29,
-51/58*xy-41/65*xm^2+87/125;

char_series(I); // crashes after 60 hours.

///////////////////////////////////////

ring rng = 0,( xt, xr, xw, xc, xn),dp;
ideal I = -139/126*xt*xw^2-9/31*xw*xc^2+18*xw*xn,
-59/84*xw*xc^2-7/93,
-55/14*xt^2*xn-7/20*xr^2*xw-34/3,
-3*xt*xn^2-28/61*xw;

char_series(I); // crashes after 6 hours

here is a detailed report of the first example 

Singular for x86_64-Linux version 4.0.0 (4.0.0, 64 bit) Sep 22 2014 18:05:59 #0e8dab2|MM
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=1411980053
built-in modules: {}
AC_CONFIGURE_ARGS =  '--prefix=/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release' '--enable-gfanlib' --enable-omalloc  OMALLOC_LIBS='/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/omalloc/libomalloc.l
a' 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-spie
lwiese/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/lipmanresolve-release/Singular-spielwiese/BUILD -I/home/j
kroeker/lipmanresolve-release/Singular-spielwiese/BUILD/factory/include',
CC = gcc,FLAGS : -g -O2  -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 -lpthread  (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
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 Singular : signal 11 (v: 4004):
current line:>>char_series(I);<<
Segment fault/Bus error occurred at 7fff654e4c60 because of 10206 (r:1411980053)
please inform the authors
trying to restart...
 :	/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        \
Auf Wiedersehen.

and the last example: 

Singular for x86_64-Linux version 4.0.0 (4.0.0, 64 bit) Sep 22 2014 18:05:59 #0e8dab2|MM
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=1411724153
built-in modules: {}
AC_CONFIGURE_ARGS =  '--prefix=/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/release' '--enable-gfanlib' --enable-omalloc  OMALLOC_LIBS='/home/jkroeker/lipmanresolve-release/Singular-spielwiese/BUILD/omalloc/libomalloc.l
a' 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-spie
lwiese/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/lipmanresolve-release/Singular-spielwiese/BUILD -I/home/j
kroeker/lipmanresolve-release/Singular-spielwiese/BUILD/factory/include',
CC = gcc,FLAGS : -g -O2  -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 -lpthread  (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
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 Singular : signal 11 (v: 4004):
current line:>>char_series(I);<<
Segment fault/Bus error occurred at 7fff66567790 because of 10206 (r:1411724153)
please inform the authors
trying to restart...
 :	/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        \
Auf Wiedersehen.

Change History (1)

comment:1 Changed 8 years ago by Oleksandr

Resolution: → fixed
Status: new → closed

is fixed. please verify

Note: See TracTickets for help on using tickets.