OpenXM/src/k097/help.k - diff

Return to help.k CVS log

Up to [local] / OpenXM / src / k097

version 1.4, 2000/12/12 13:58:21

version 1.6, 2000/12/29 07:19:39

Line 1

/* $OpenXM: OpenXM/src/k097/help.k,v 1.3 2000/12/10 09:34:27 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/help.k,v 1.5 2000/12/28 00:08:13 takayama Exp $ */

if (K00_verbose)

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

Line 270 HelpAdd(["IsString",

["IsString(obj) returns true if << obj >> is a string (object obj).",

"Example: if (IsString(\"abc\")) Println(\"Hello\"); ;"]]);

HelpAdd(["IsRing",

["IsRing(obj) returns true if << obj >> is a ring (object obj)."

]]);

HelpAdd(["IsSm1Integer",

["IsSm1Integer(obj) returns true if << obj >> is an integer of sm1(object obj)."]]);

Line 368 def IsSm1Integer(ob) {

Line 372 def IsSm1Integer(ob) {

sm1(ob , " isInteger /FunctionValue set ");

}

def IsRing(ob) {

sm1(ob , " isRing /FunctionValue set ");

}

def CancelNumber(rn) {

local tmp;

sm1(" [(cancel) ",rn," ] mpzext /tmp set ");

Line 376 def CancelNumber(rn) {

Line 384 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"; }