| version 1.5, 2002/02/09 06:21:02 |
version 1.6, 2002/09/08 10:49:50 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/order.c,v 1.4 2001/05/04 01:06:24 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/order.c,v 1.5 2002/02/09 06:21:02 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "stackm.h" |
#include "stackm.h" |
| Line 59 void showRing(level,ringp) |
|
| Line 59 void showRing(level,ringp) |
|
| char *mtype; |
char *mtype; |
| extern char *F_isSameComponent; |
extern char *F_isSameComponent; |
| POLY f; |
POLY f; |
| |
POLY fx; |
| |
POLY fd; |
| |
POLY rf; |
| fp = stdout; |
fp = stdout; |
| |
|
| N=ringp->n; M = ringp->m; L = ringp->l; C = ringp->c; |
N=ringp->n; M = ringp->m; L = ringp->l; C = ringp->c; |
| Line 81 void showRing(level,ringp) |
|
| Line 84 void showRing(level,ringp) |
|
| fprintf(fp,"\n"); |
fprintf(fp,"\n"); |
| fprintf(fp,"where "); |
fprintf(fp,"where "); |
| for (i=M; i<N; i++) { |
for (i=M; i<N; i++) { |
| fprintf(fp," %s %s - %s %s = 1, ",TransD[i],TransX[i], |
fx = cxx(1,i,1,ringp); fd = cdd(1,i,1,ringp); |
| TransX[i],TransD[i]); |
rf = ppSub(ppMult(fd,fx),ppMult(fx,fd)); |
| |
fprintf(fp," %s %s - %s %s = %s, ",TransD[i],TransX[i], |
| |
TransX[i],TransD[i],POLYToString(rf,'*',0)); |
| } |
} |
| fprintf(fp,"\n\n"); |
fprintf(fp,"\n\n"); |
| } |
} |