| version 1.26, 2008/01/18 00:48:07 |
version 1.28, 2012/10/12 01:20:29 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.25 2005/07/24 09:02:40 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.27 2012/09/16 01:53:08 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. |
|
|
| $Example 7: [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) $ |
$Example 7: [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) $ |
| $ [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::$ |
$ [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::$ |
| ( ) |
( ) |
| |
$Example 8: /gb.options [(StopDegree) 11] def Onverbose $ |
| |
$ [ [(x^10+y^10-1) (x^5*y^5 -1)] (x,y) $ |
| |
$ [ [ (x) 1 ] ]] gb pmat ; $ |
| |
( ) |
| (cf. gb, groebner, groebner_sugar, syz. ) |
(cf. gb, groebner, groebner_sugar, syz. ) |
| ]] putUsages |
]] putUsages |
| |
|
|
|
| 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 |
![[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