| version 1.18, 2004/05/15 12:00:48 |
version 1.19, 2004/06/03 08:10:44 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.17 2004/05/13 05:52:53 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. |
|
|
| [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