on my Mac: // ***dError: assume violation

[anonymous]

The following example:

option(noredefine);option(redSB); LIB "matrix.lib"; ring r = (0),(e0,e1,e2,e3),dp; def A = superCommutative(1); setring A; short=0;option(redTail); matrix M[1][4] = e1*e2*e3,e0*e2*e3,e0*e1*e3,e0*e1*e2; nres(M,2);

causes on my Mac the following warnings:

*dError: assume violation at kutil.cc:7169 condition: p.FDeg == p.pFDeg() *dError: assume violation at ../kernel/kInline.h:412 condition: FDeg == this->pFDeg() *dError: T[3] FDeg error: has 4, specified to have 1 *dError: assume violation at sca.cc:798 condition: kTest_TS(strat) *dError: assume violation at kutil.cc:7169 condition: p.FDeg == p.pFDeg() *dError: assume violation at ../kernel/kInline.h:412 condition: FDeg == this->pFDeg() *dError: T[3] FDeg error: has 4, specified to have 1 *dError: assume violation at sca.cc:798 condition: kTest_TS(strat)

The warnings do not appear on a Linux machine. Here is the output of Singular --version

Singular for x86_64-Darwin version 4.0.0 (4.0.0, 64 bit) Jan 22 2014 15:55:40 #14086c2 with

GMP(5.1.3),NTL(5.5.2),static readline,Plural,DBM, dynamic modules,dynamic p_Procs,YYDEBUG=1,ASSUME,MDEBUG=0,OM_CHECK=1,OM_TRACK=4,OM_NDEBUG,PDEBUG,KDEBUG,CC:OPTIMIZE,random=1393345607

built-in modules: { staticdemo} AC_CONFIGURE_ARGS = '--prefix=/Users/mo/software/spielwiese/local' 'LDFLAGS=-L/sw/lib' 'CPPFLAGS=-isystem /sw/include' --enable-omalloc --with-omalloc-dir=/Users/mo/software/spielwiese --with-omalloc-extra-dir=/Users/mo/software/spielwiese --enable-omalloc-trust, CC = gcc,FLAGS : -g -O2 -pipe -fno-common -DOM_NDEBUG -DNDEBUG -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 -funroll-loops -Qunused-arguments, CXX = g++,FLAGS : -pipe -fno-common -DOM_NDEBUG -DNDEBUG -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 -funroll-loops -Qunused-arguments, DEFS : ,CPPFLAGS : -isystem /sw/include, LDFLAGS : -L/sw/lib -pipe -fno-common -DOM_NDEBUG -DNDEBUG -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 -funroll-loops -Qunused-arguments -rdynamic -flat_namespace -Wl,-bind_at_load -Wl,-undefined,dynamic_lookup,LIBS : -lreadline -lncurses -lpthread (ver: 4.2.1 Compatible Apple LLVM 5.0 (clang-500.2.79)) argv[0] : Singular