| version 1.23, 2005/06/16 08:40:04 |
version 1.24, 2005/06/23 03:23:26 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.22 2004/09/10 13:20:22 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.23 2005/06/16 08:40:04 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. |
|
|
| $ [ [(x^2+y^2-4). (x y -1).] ] pgb :: $ |
$ [ [(x^2+y^2-4). (x y -1).] ] pgb :: $ |
| $Example 2: [ [(x^2+y^2) (x y)] (x,y) [ [(x) -1 (y) -1] ] ] pgb :: $ |
$Example 2: [ [(x^2+y^2) (x y)] (x,y) [ [(x) -1 (y) -1] ] ] pgb :: $ |
| $Example 3: [ [(x^2+y^2 + x y ) (x y)] (x,y) [ [(x) -1 (y) -1] ] ] $ |
$Example 3: [ [(x^2+y^2 + x y ) (x y)] (x,y) [ [(x) -1 (y) -1] ] ] $ |
| $ [(reduceOnly)] setAttributeList pgb :: $ |
$ [(reduceOnly) 1] setAttributeList pgb :: $ |
| (cf. gb, groebner, groebner_sugar, syz. ) |
(cf. gb, groebner, groebner_sugar, syz. ) |
| ]] putUsages |
]] putUsages |
| |
|
|
|
| $ [ [ (x) -1 (y) -1] ] ] gb_h pmat ; $ |
$ [ [ (x) -1 (y) -1] ] ] gb_h pmat ; $ |
| $ This is fine because grade(v_1) = grade(v_2)+1 for all vectors. $ |
$ This is fine because grade(v_1) = grade(v_2)+1 for all vectors. $ |
| $Example 5: [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] $ |
$Example 5: [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] $ |
| $ [(reduceOnly)] setAttributeList gb_h pmat $ |
$ [(reduceOnly) 1] setAttributeList gb_h pmat $ |
| ( ) |
( ) |
| (cf. gb, groebner, syz_h. ) |
(cf. gb, groebner, syz_h. ) |
| ]] putUsages |
]] putUsages |
![[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