| version 1.15, 2004/05/04 08:03:30 |
version 1.17, 2004/05/13 05:52:53 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.14 2004/05/04 07:48:47 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.16 2004/05/04 08:29:35 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 |
| /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 |
|
|
| /ans set |
/ans set |
| }{ } |
}{ } |
| ifelse |
ifelse |
| |
ans getRing (oxRingStructure) dc /gb.oxRingStructure set |
| %% |
%% |
| env1 restoreOptions %% degreeShift changes "grade" |
env1 restoreOptions %% degreeShift changes "grade" |
| |
|
|
|
| ( array ds; ds is the degree shift ) |
( array ds; ds is the degree shift ) |
| ( ) |
( ) |
| (gb.authoHomogenize 1 [default]) |
(gb.authoHomogenize 1 [default]) |
| |
(gb.oxRingStructure ) |
| ( ) |
( ) |
| $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -1) ( x y Dx Dy -1)] (x,y) $ |
$Example 1: [ [( (x Dx)^2 + (y Dy)^2 -1) ( x y Dx Dy -1)] (x,y) $ |
| $ [ [ (Dx) 1 ] ] ] gb pmat ; $ |
$ [ [ (Dx) 1 ] ] ] gb pmat ; $ |
|
|
| (r is the return value format of reduction;) |
(r is the return value format of reduction;) |
| (r=[h,c0,syz,input], h = c0 f + \sum syz_i g_i) |
(r=[h,c0,syz,input], h = c0 f + \sum syz_i g_i) |
| (basis is given in the argument format of gb.) |
(basis is given in the argument format of gb.) |
| |
$h[1,1](D)-homogenization is used.$ |
| (cf. reduction, gb, ecartd.gb, gb.reduction.test ) |
(cf. reduction, gb, ecartd.gb, gb.reduction.test ) |
| $Example:$ |
$Example:$ |
| $ [[( 2*(h-x-y) Dx + h^2 ) ( 2*(h-x-y) Dy + h^2 )] $ |
$ [[( 2*(h-x-y) Dx + h^2 ) ( 2*(h-x-y) Dy + h^2 )] $ |
![[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