| version 1.17, 2004/05/13 05:52:53 |
version 1.19, 2004/06/03 08:10:44 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.16 2004/05/04 08:29:35 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.18 2004/05/15 12:00:48 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 14 $hol.sm1, basic package for holonomic systems (C) N.Ta |
|
| Line 14 $hol.sm1, basic package for holonomic systems (C) N.Ta |
|
| message-quiet |
message-quiet |
| |
|
| /gb.warning 0 def |
/gb.warning 0 def |
| /gb.oxRingStructure [ ] def |
/gb.oxRingStructure [[ ] [ ]] 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 |
|
|
| [vsize gtmp] toVectors /gtmp set |
[vsize gtmp] toVectors /gtmp set |
| ggall 0 gtmp put |
ggall 0 gtmp put |
| }{ } ifelse |
}{ } ifelse |
| /arg1 [gg dehomogenize ggall] def |
|
| |
gg getRing (oxRingStructure) dc /gb.oxRingStructure set |
| |
|
| |
/arg1 [gg dehomogenize ggall] def |
| ] pop |
] pop |
| popEnv |
popEnv |
| popVariables |
popVariables |
![[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