[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.12 and 1.13

version 1.12, 2003/07/05 01:53:32 version 1.13, 2003/07/29 08:36:39
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.11 2003/06/26 08:14:45 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.12 2003/07/05 01:53:32 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 272  message-quiet
Line 272  message-quiet
 /gb.v 1 def  /gb.v 1 def
 /gb.verbose 0 def  /gb.verbose 0 def
 /gb.options [ ] def  /gb.options [ ] def
   /gb.characteristic 0 def
 /gb {  /gb {
   /arg1 set    /arg1 set
   [/in-gb /aa /typev /setarg /f /v    [/in-gb /aa /typev /setarg /f /v
Line 357  message-quiet
Line 358  message-quiet
       } {  } ifelse        } {  } ifelse
       wv isInteger {        wv isInteger {
         [v ring_of_differential_operators          [v ring_of_differential_operators
         0] define_ring          gb.characteristic] define_ring
         /termorder 1 def          /termorder 1 def
       }{        }{
        degreeShift isInteger {         degreeShift isInteger {
          [v ring_of_differential_operators           [v ring_of_differential_operators
           wv weight_vector            wv weight_vector
          0] define_ring           gb.characteristic] define_ring
          wv gb.isTermOrder /termorder set           wv gb.isTermOrder /termorder set
        }{         }{
          [v ring_of_differential_operators           [v ring_of_differential_operators
           wv weight_vector            wv weight_vector
           0            gb.characteristic
           [(degreeShift) degreeShift]            [(degreeShift) degreeShift]
           ] define_ring            ] define_ring
          wv gb.isTermOrder /termorder set           wv gb.isTermOrder /termorder set
Line 477  message-quiet
Line 478  message-quiet
       } {  } ifelse        } {  } ifelse
       wv isInteger {        wv isInteger {
         [v ring_of_polynomials          [v ring_of_polynomials
         0] define_ring          gb.characteristic] define_ring
         /termorder 1 def          /termorder 1 def
       }{        }{
         [v ring_of_polynomials          [v ring_of_polynomials
          wv weight_vector           wv weight_vector
         0] define_ring          gb.characteristic] define_ring
         wv gb.isTermOrder /termorder set          wv gb.isTermOrder /termorder set
       } ifelse        } ifelse
     } {      } {
Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>