| version 1.6, 2000/06/09 08:02:01 |
version 1.7, 2000/06/12 08:03:56 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.5 2000/06/08 08:35:01 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.6 2000/06/09 08:02:01 takayama Exp $ |
| %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8 |
%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8 |
| %% rank, rrank, characteristic |
%% rank, rrank, characteristic |
| %% This file is error clean. |
%% This file is error clean. |
| Line 13 hol.version [(Version)] system_variable gt |
|
| Line 13 hol.version [(Version)] system_variable gt |
|
| $hol.sm1, basic package for holonomic systems (C) N.Takayama, 2000, 06/08 $ |
$hol.sm1, basic package for holonomic systems (C) N.Takayama, 2000, 06/08 $ |
| message-quiet |
message-quiet |
| |
|
| |
/gb.warning 0 def |
| /rank.v [(x) (y) (z)] def %% default value of v (variables). |
/rank.v [(x) (y) (z)] def %% default value of v (variables). |
| /rank.ch [ ] def %% characteristic variety. |
/rank.ch [ ] def %% characteristic variety. |
| /rank.verbose 0 def |
/rank.verbose 0 def |
|
|
| } { |
} { |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
|
|
| } { |
} { |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
|
|
| }{ |
}{ |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
|
|
| } { |
} { |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
|
|
| } { |
} { |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
|
|
| }{ |
}{ |
| %% Use the ring structre given by the input. |
%% Use the ring structre given by the input. |
| v isInteger not { |
v isInteger not { |
| (Warning : the given ring definition is not used.) message |
gb.warning { |
| |
(Warning : the given ring definition is not used.) message |
| |
} { } ifelse |
| } { } ifelse |
} { } ifelse |
| rr ring_def |
rr ring_def |
| /wv rr gb.getWeight def |
/wv rr gb.getWeight def |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to hol.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc