Opened 10 years ago

Last modified 10 years ago

#581 closed bug

on my Mac: // ***dError: assume violation — at Version 2

Reported by: anonymous Owned by: Oleksandr
Priority: minor Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-0
Keywords: sca, exterior algebra, assume Cc:

Description (last modified by Oleksandr )

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

Change History (2)

comment:1 Changed 10 years ago by barakat

Sorry, I was not logged in when I created the ticket.

comment:2 Changed 10 years ago by Oleksandr

Component: dontKnowsingular-kernel
Description: modified (diff)
Keywords: exterior algebra added
Owner: changed from somebody to Oleksandr
Note: See TracTickets for help on using tickets.