version 1.1, 2001/01/04 12:29:33 |
version 1.2, 2001/01/05 11:14:29 |
|
|
/* $OpenXM$ */ |
/* $OpenXM: OpenXM/src/k097/lib/restriction/complex.k,v 1.1 2001/01/04 12:29:33 takayama Exp $ */ |
/* Document is at k097/Doc/complex.k */ |
/* Document of this module is at k097/Doc/complex.texi */ |
|
|
load["lib/restriction/restriction.k"];; |
load["lib/restriction/restriction.k"];; |
def man(a) { |
|
local lang,n; |
|
n = Length(Arglist); |
|
lang = GetEnv("LANG"); |
|
if (lang == "C" || Length(lang) == 0) { |
|
if (n < 1) { |
|
sm1(" (ls $OpenXM_HOME/lib/k097/help/help-en ) system "); |
|
}else { |
|
sm1(" [(more $OpenXM_HOME/lib/k097/help/help-en/) a] cat system "); |
|
} |
|
}else{ |
|
if (n < 1) { |
|
sm1(" (ls $OpenXM_HOME/lib/k097/help/help-ja ) system "); |
|
}else { |
|
sm1(" [(jless $OpenXM_HOME/lib/k097/help/help-ja/) a] cat system "); |
|
} |
|
} |
|
} |
|
|
|
def Res_solv(m,d,rng) { |
def Res_solv(m,d,rng) { |
local r,rr,ans,ac; |
local r,rr,ans,ac; |
Line 350 def Res_shiftMatrix(m,v,rng) { |
|
Line 332 def Res_shiftMatrix(m,v,rng) { |
|
return(ans); |
return(ans); |
} |
} |
|
|
|
def ChangeRing(f) { |
/* -------- manuals have been written in complex.k ---------------- */ |
local r; |
/* From lib/minimal/minimal.k */ |
r = GetRing(f); |
def ReParse(a) { |
if (Tag(r) == 14) { |
local c; |
SetRing(r); |
if (IsArray(a)) { |
return(true); |
c = Map(a,"ReParse"); |
|
}else{ |
}else{ |
sm1(a," toString . /c set"); |
return(false); |
} |
} |
return(c); |
|
} |
} |
|
|
def void Pmat(a) { |
|
sm1(" a pmat "); |
|
} |
|
|
|
def test2() { |
def test2() { |
RingD("x,y,z"); |
RingD("x,y,z"); |