Opened 7 years ago

Last modified 5 years ago

#744 new bug

normal.lib: example in char 2 for which normalP() or norTest() is wrong

Reported by: jakobkroeker.academic@… Owned by: laplagne
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-2
Keywords: normalP norTest bug Cc:

Description

for the following example normalP() or norTest() is wrong:

LIB("normal.lib");
ring r=2,(x,y),dp;
ideal i=x5+x2, x4y+x2, y5+y2;
list nor=normalP(i,"withRing");nor;
norTest(i,nor); // test fails! expected is 1,1,1, but we get 0,0,1

used Singular: (commit 886b70589308317468d69ebf1804075670139060)

Singular for x86_64-Linux version 4.0.2 (4020, 64 bit) Sep 21 2015 08:47:26 #886b705|M
with
	GMP(6.0.0),NTL(6.2.0),FLINT(2.4.4),factory(@(#) factoryVersion = 4.0.1),
	static readline,Plural,DBM,
	dynamic modules,dynamic p_Procs,OM_NDEBUG,SING_NDEBUG,CC:OPTIMIZE,eigenvalues,Gauss-Manin system,random=1442818379
built-in modules: {}
AC_CONFIGURE_ARGS =  '--prefix=/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release' '--enable-gfanlib' --enable-omalloc  OMALLOC_LIBS='/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/omalloc/libomalloc.la' OMALLOC_INCLUDES='-I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/.. -I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD' --with-Singular RESOURCES_LIBS='/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/resources/libresources.la' RESOURCES_INCLUDES='-I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/.. ' FACTORY_LIBS='/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/factory/libfactory.la' FACTORY_INCLUDES='-I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/.. -I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/../factory/include -I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD -I/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/factory/include',
CC = gcc,FLAGS : -g -O2  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -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 -Wunknown-pragmas -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 : ,
LDFLAGS :  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -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.9.2 20150212 (Red Hat 4.9.2-6))
argv[0]   :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/Singular
SearchPath:	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share/singular/LIB:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share/factory:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/libexec/singular/MOD:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin
Singular  :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/Singular
BinDir    :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin
ProcDir   :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/libexec/singular/MOD
RootDir   :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/..
DataDir   :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share
DefaultDir:	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release
InfoFile  :	
IdxFile   :	
HtmlDir   :	
ManualUrl :	www.singular.uni-kl.de/Manual/
ExDir     :	
Path      :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../libexec/singular/MOD:/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/libexec/singular/MOD:/usr/local/bin:/usr/local/sbin:/usr/bin:/usr/sbin:/bin:/sbin
emacs     :	
xemacs    :	
SingularEmacs:	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/Singular
EmacsLoad :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs/.emacs-singular
EmacsDir  :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs
SingularXterm:	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/Singular
xterm     :	
EmacsDir  :	/home/jakob/Projects/lipmanresolve/Singular-spielwiese/BUILD/release/bin/../share/singular/emacs
Available HelpBrowsers: firefox-www, dummy, emacs, 
Current HelpBrowser: firefox-www 
                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.0.2
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Feb 2015
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \

Change History (1)

comment:1 Changed 5 years ago by hannes

Owner: changed from somebody to laplagne
Note: See TracTickets for help on using tickets.