| version 1.49, 2005/06/16 06:21:21 |
version 1.51, 2005/06/23 03:23:27 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.48 2005/02/27 05:28:06 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.50 2005/06/16 08:40:04 takayama Exp $ |
| %% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
| %% This file is error clean. |
%% This file is error clean. |
| |
|
|
|
| (one may use the command ) |
(one may use the command ) |
| ( f (ring) data_conversion /R set) |
( f (ring) data_conversion /R set) |
| (cf. define_ring, define_qring, system_variable, poly (ring) data_conversion) |
(cf. define_ring, define_qring, system_variable, poly (ring) data_conversion) |
| (cf. << __ >>) |
(cf. << __ >>, getRing) |
| ] |
] |
| ] putUsages |
] putUsages |
| |
|
|
|
| } def |
} def |
| [(getRing) |
[(getRing) |
| [(obj getRing rr) |
[(obj getRing rr) |
| (ring rr;) |
(ring rr; ) |
| (getRing obtains the ring structure from obj.) |
(getRing obtains the ring structure from obj.) |
| (If obj is a polynomial, it returns the ring structure associated to) |
(If obj is a polynomial, it returns the ring structure associated to) |
| (the polynomial.) |
(the polynomial.) |
| (If obj is an array, it recursively looks for the ring structure.) |
(If obj is an array, it recursively looks for the ring structure.) |
| |
(cf. ring_def) |
| ]] putUsages |
]] putUsages |
| /toVectors { |
/toVectors { |
| /arg1 set |
/arg1 set |
| Line 4440 $ [ff ff] fromVectors :: $ |
|
| Line 4441 $ [ff ff] fromVectors :: $ |
|
| (Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set ) |
(Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set ) |
| ( ff (gb) getAttribute :: ) |
( ff (gb) getAttribute :: ) |
| ]] putUsages |
]] putUsages |
| |
|
| |
% [(gbCheck) 1 (needSyz) 1 (countDown) 100] (attribute format) |
| |
% --> [(gbCheck) (needSyz) (countDown) 100] (groebner option format) |
| |
% cf. gb |
| |
/configureGroebnerOption { |
| |
/arg1 set |
| |
[/opt /i] pushVariables |
| |
[ |
| |
/opt arg1 def |
| |
opt tag 0 eq { |
| |
/arg1 null def |
| |
} { |
| |
[ |
| |
0 2 opt length 1 sub { |
| |
/i set |
| |
opt i get |
| |
opt i get (countDown) eq { |
| |
opt i 1 add get |
| |
} { } ifelse |
| |
opt i get (stopDegree) eq { |
| |
opt i 1 add get |
| |
} { } ifelse |
| |
} for |
| |
] /arg1 set |
| |
} ifelse |
| |
] pop |
| |
popVariables |
| |
arg1 |
| |
} def |
| |
|
| ; |
; |
| |
|
| |
|