version 1.16, 2004/05/04 08:29:35 |
version 1.19, 2004/06/03 08:10:44 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.15 2004/05/04 08:03:30 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. |
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 ; $ |
|
|
[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 |