version 1.9, 2001/01/08 05:26:49 |
version 1.12, 2004/09/10 13:20:23 |
|
|
/* $OpenXM: OpenXM/src/k097/slib.k,v 1.8 2001/01/05 11:14:25 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/slib.k,v 1.11 2003/11/20 09:20:36 takayama Exp $ */ |
/* slib.sm1, standard library. */ |
/* slib.sm1, standard library. */ |
/* April 26-- , 1996 */ |
/* April 26-- , 1996 */ |
/* Don't use function names that is already used as a postscipt macro names*/ |
/* Don't use function names that is already used as a postscipt macro names*/ |
|
|
sm1(f," (poly) data_conversion /FunctionValue set"); |
sm1(f," (poly) data_conversion /FunctionValue set"); |
} |
} |
def PolyR(f,r) { /* parse the polynomial in R */ |
def PolyR(f,r) { /* parse the polynomial in R */ |
sm1(f,r," ,, /FunctionValue set"); |
sm1(f,r," __ /FunctionValue set"); |
} |
} |
def Degree(f,v) { |
def Degree(f,v) { |
sm1(f,v," degree (universalNumber) dc /FunctionValue set"); |
sm1(f,v," degree (universalNumber) dc /FunctionValue set"); |
Line 193 def IntegerToSm1Integer(f) { |
|
Line 193 def IntegerToSm1Integer(f) { |
|
def RingD(vList,weightMatrix,pp) { |
def RingD(vList,weightMatrix,pp) { |
local new0,tmp,size,n,i,j,newtmp,ringpp,argsize; |
local new0,tmp,size,n,i,j,newtmp,ringpp,argsize; |
argsize = Length(Arglist); |
argsize = Length(Arglist); |
|
if (IsArray(vList)) { |
|
sm1(" vList {toString} map from_records /vList set "); |
|
} |
if (argsize == 1) { |
if (argsize == 1) { |
sm1("[", vList, |
sm1("[", vList, |
"ring_of_differential_operators ( ) elimination_order 0 ] define_ring |
"ring_of_differential_operators ( ) elimination_order 0 ] define_ring |
Line 466 def void Pmat(a) { |
|
Line 469 def void Pmat(a) { |
|
sm1(" a pmat "); |
sm1(" a pmat "); |
} |
} |
|
|
|
def void QuoteMode(a) { |
|
if ( a == 0) { |
|
sm1("[(QuoteMode) 0] system_variable "); |
|
}else{ |
|
sm1("[(QuoteMode) 1] system_variable "); |
|
} |
|
} |
|
|