OpenXM/src/k097/help.k - diff

Return to help.k CVS log

Up to [local] / OpenXM / src / k097

version 1.3, 2000/12/10 09:34:27

version 1.5, 2000/12/28 00:08:13

Line 1

/* $OpenXM: OpenXM/src/k097/help.k,v 1.2 2000/01/21 03:01:25 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/help.k,v 1.4 2000/12/12 13:58:21 takayama Exp $ */

if (K00_verbose)

Println("help.k (help.ccc). 8/6, 1996 --- 8/7, 1996. 3/6, 1997 --- 12/21, 1997.");

Line 376 def CancelNumber(rn) {

sm1(" tmp (denominator) dc (1).. eq { /FunctionValue tmp (numerator) dc def} { /FunctionValue tmp def } ifelse ");

}

def DC_polynomial(obj) {

return(DC(obj,"polynomial"));

}

def DC(obj,key) {

if (IsArray(obj) && key=="polynomial") {

return(Map(obj,"DC_polynomial"));

}

if (key == "string") { return(ToString(obj)); }

else if (key == "integer") { key = "universalNumber"; }

else if (key == "sm1integer") { key = "integer"; }

Line 757 def Tag(f) {

Line 763 def Tag(f) {

if (IsArray(f)) {

return(Map(f,"Tag"));

}else {

ans = sm1(f," tag (universalNumber) dc ");

ans = sm1(f," etag (universalNumber) dc ");

return(ans);

}

HelpAdd(["Tag",

["Tag(f) returns the datatype tags of f where",

"5: string, 9: polynomial, 15: integer(big-num), 16: rational, ",

"17: object, 18:double.",

"18:double, 257: Error ",

"Ex. Tag([Poly(\"0\"), 0]):"

]]);

def Error(s) {

sm1(" s error ");

}

HelpAdd(["Error",

["Error(s) causes an error and outputs a message s."]]);

OutputPrompt ;