| version 1.25, 2005/07/24 09:02:40 |
version 1.27, 2012/09/16 01:53:08 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.24 2005/06/23 03:23:26 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.26 2008/01/18 00:48:07 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. |
|
|
| ggall 0 gtmp put |
ggall 0 gtmp put |
| }{ } ifelse |
}{ } ifelse |
| |
|
| gg getRing (oxRingStructure) dc /gb.oxRingStructure set |
gg length 0 eq { % there is no syzygy |
| |
ggall getRing (oxRingStructure) dc /gb.oxRingStructure set |
| |
}{ |
| |
gg getRing (oxRingStructure) dc /gb.oxRingStructure set |
| |
} ifelse |
| |
|
| /arg1 [gg dehomogenize ggall] def |
/arg1 [gg dehomogenize ggall] def |
| ] pop |
] pop |
|
|
| (Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) ) |
(Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) ) |
| ( (t,x1,x2,x3) -1 -2] annfs :: ) |
( (t,x1,x2,x3) -1 -2] annfs :: ) |
| ( Note that the example 4 uses huge memory space.) |
( Note that the example 4 uses huge memory space.) |
| |
( ) |
| |
(Note: This implementation is stable but obsolete. ) |
| |
(As to faster implementation, we refer to ann0 and ann of Risa/Asir ) |
| |
(Visit http://www.math.kobe-u.ac.jp/Asir ) |
| ]] putUsages |
]] putUsages |
| ( annfs ) messagen-quiet |
( annfs ) messagen-quiet |
| /annfs.verbose fs.verbose def |
/annfs.verbose fs.verbose 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