| version 1.3, 2000/06/08 08:35:02 |
version 1.6, 2001/04/12 06:48:25 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport0.c,v 1.2 1999/11/06 10:37:30 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport0.c,v 1.5 2000/12/28 00:07:14 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "stackm.h" |
#include "stackm.h" |
|
|
| break; |
break; |
| case Spoly: |
case Spoly: |
| if (strcmp(key,"poly")==0) { |
if (strcmp(key,"poly")==0) { |
| |
rob = obj; |
| return(rob); |
return(rob); |
| }else if (strcmp(key,"integer")==0) { |
}else if (strcmp(key,"integer")==0) { |
| if (obj.lc.poly == ZERO) return(KpoInteger(0)); |
if (obj.lc.poly == ZERO) return(KpoInteger(0)); |
| Line 1376 int c,l,m,n,cc,ll,mm,nn; |
|
| Line 1377 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 1737 struct object rule; |
|
| Line 1738 struct object rule; |
|
| } |
} |
| n = getoaSize(rule); |
n = getoaSize(rule); |
| |
|
| if (of.tag != Spoly) { |
if (of.tag == Spoly) { |
| |
}else if (of.tag ==Sclass && ectag(of) == CLASSNAME_recursivePolynomial) { |
| |
return(KreplaceRecursivePolynomial(of,rule)); |
| |
}else{ |
| errorKan1("%s\n"," KoReplace(): The first argument must be a polynomial."); |
errorKan1("%s\n"," KoReplace(): The first argument must be a polynomial."); |
| } |
} |
| f = KopPOLY(of); |
f = KopPOLY(of); |
|
|
| } |
} |
| /* 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); |
| } |
} |
| |
|