[BACK]Return to hol.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/hol.sm1 between version 1.15 and 1.19

version 1.15, 2004/05/04 08:03:30 version 1.19, 2004/06/03 08:10:44
Line 1 
Line 1 
 % $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.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
Line 415  message-quiet
Line 416  message-quiet
       /ans set        /ans set
     }{ }      }{ }
     ifelse      ifelse
       ans getRing (oxRingStructure) dc /gb.oxRingStructure set
     %%      %%
     env1 restoreOptions  %% degreeShift changes "grade"      env1 restoreOptions  %% degreeShift changes "grade"
   
Line 762  message-quiet
Line 764  message-quiet
   (                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 ; $
Line 919  message-quiet
Line 922  message-quiet
        [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
Line 1882  message-quiet
Line 1888  message-quiet
   (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 )] $

Legend:
Removed from v.1.15  
changed lines
  Added in v.1.19

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>