| version 1.43, 2012/12/23 01:27:54 |
version 1.44, 2013/09/22 01:26:07 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.42 2010/08/30 04:17:17 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.43 2012/12/23 01:27:54 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include <string.h> |
#include <string.h> |
| #include <sys/types.h> |
#include <sys/types.h> |
|
|
| #include <stdlib.h> |
#include <stdlib.h> |
| #include <unistd.h> |
#include <unistd.h> |
| #include <sys/wait.h> |
#include <sys/wait.h> |
| |
#include <sys/time.h> |
| |
#include <time.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "stackm.h" |
#include "stackm.h" |
| #include "extern.h" |
#include "extern.h" |
| Line 177 struct object Kextension(struct object obj) |
|
| Line 179 struct object Kextension(struct object obj) |
|
| else { |
else { |
| system(KopString(getoa(obj,1))); exit(0); |
system(KopString(getoa(obj,1))); exit(0); |
| } */ |
} */ |
| |
}else if (strcmp(key,"date")==0) { |
| |
if (size != 1) errorKan1("%s\n","[(date)] extension."); |
| |
struct timeval tm; |
| |
gettimeofday(&tm,NULL); |
| |
rob = KpoString(ctime(&((time_t)tm.tv_sec))); |
| }else if (strcmp(key,"defaultPolyRing")==0) { |
}else if (strcmp(key,"defaultPolyRing")==0) { |
| if (size != 2) errorKan1("%s\n","[(defaultPolyRing) n] extension."); |
if (size != 2) errorKan1("%s\n","[(defaultPolyRing) n] extension."); |
| rob = KdefaultPolyRing(getoa(obj,1)); |
rob = KdefaultPolyRing(getoa(obj,1)); |