version 1.33, 2000/12/29 07:19:40 |
version 1.34, 2001/01/05 11:14:28 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.32 2000/12/10 09:34:28 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.33 2000/12/29 07:19:40 takayama Exp $ */ |
#define DEBUG 1 |
#define DEBUG 1 |
Sordinary = false; |
Sordinary = false; |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
Line 1476 HelpAdd(["IsSameIdeal_h", |
|
Line 1476 HelpAdd(["IsSameIdeal_h", |
|
"cf. ReParse" |
"cf. ReParse" |
]]); |
]]); |
|
|
def ReParse(a) { |
/* |
local c; |
Output of S* functions may cause a trouble because it uses Schreyer orders. |
if (IsArray(a)) { |
In this case, use ReParse(). |
c = Map(a,"ReParse"); |
*/ |
}else{ |
|
sm1(a," toString . /c set"); |
|
} |
|
return(c); |
|
} |
|
HelpAdd(["ReParse", |
|
["Reparse(obj): obj", |
|
"It parses the given object in the current ring.", |
|
"Outputs from SlaScala, Sschreyer may cause a trouble in other functions,", |
|
"because it uses the Schreyer order.", |
|
"In this case, ReParse the outputs from these functions.", |
|
"cf. IsExaxt_h" |
|
]]); |
|
|
|
def ScheckIfSchreyer(s) { |
def ScheckIfSchreyer(s) { |
local ss; |
local ss; |