version 1.2, 1999/11/06 10:37:30 |
version 1.4, 2000/07/17 02:58:45 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport0.c,v 1.3 2000/06/08 08:35:02 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
Line 1376 int c,l,m,n,cc,ll,mm,nn; |
|
Line 1376 int c,l,m,n,cc,ll,mm,nn; |
|
if (!(cc<=ll && ll<=mm && mm<=nn && nn <= n)) return(1); |
if (!(cc<=ll && ll<=mm && mm<=nn && nn <= n)) return(1); |
if (!(cc<c || ll < l || mm < m || nn < n)) { |
if (!(cc<c || ll < l || mm < m || nn < n)) { |
if (WarningNoVectorVariable) { |
if (WarningNoVectorVariable) { |
warningKan("Ring definition: there is no variable to represent vectors.\n"); |
warningKanNoStrictMode("Ring definition: there is no variable to represent vectors.\n"); |
} |
} |
} |
} |
if (!(cc<=c && ll <= l && mm <= m && nn <= n)) return(1); |
if (!(cc<=c && ll <= l && mm <= m && nn <= n)) return(1); |
Line 2260 struct object KgbExtension(struct object obj) |
|
Line 2260 struct object KgbExtension(struct object obj) |
|
obj1 = getoa(obj,1); |
obj1 = getoa(obj,1); |
if (obj1.tag != Sarray) errorKan1("%s\n","[(toes) array] gbext poly"); |
if (obj1.tag != Sarray) errorKan1("%s\n","[(toes) array] gbext poly"); |
return(KvectorToSchreyer_es(obj1)); |
return(KvectorToSchreyer_es(obj1)); |
|
}else if (strcmp(key,"toe_") == 0) { |
|
if (size != 2) errorKan1("%s\n","[(toe_) array] gbext poly"); |
|
obj1 = getoa(obj,1); |
|
if (obj1.tag == Spoly) return(obj1); |
|
if (obj1.tag != Sarray) errorKan1("%s\n","[(toe_) array] gbext poly"); |
|
return(KpoPOLY(arrayToPOLY(obj1))); |
}else if (strcmp(key,"isOrdered") == 0) { |
}else if (strcmp(key,"isOrdered") == 0) { |
if (size != 2) errorKan1("%s\n","[(isOrdered) poly] gbext poly"); |
if (size != 2) errorKan1("%s\n","[(isOrdered) poly] gbext poly"); |
obj1 = getoa(obj,1); |
obj1 = getoa(obj,1); |
|
|
} |
} |
/* if (Strict) errorKan1("%s\n"," "); */ |
/* if (Strict) errorKan1("%s\n"," "); */ |
if (Strict) errorKan1("%s\n",str); |
if (Strict) errorKan1("%s\n",str); |
|
return(0); |
|
} |
|
|
|
warningKanNoStrictMode(str) |
|
char *str; |
|
{ |
|
extern int Strict; |
|
int t; |
|
t = Strict; |
|
Strict = 0; |
|
warningKan(str); |
|
Strict = t; |
return(0); |
return(0); |
} |
} |
|
|