[BACK]Return to k0-cohom.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/k0-cohom.sm1 between version 1.1 and 1.2

version 1.1, 2000/05/03 06:42:07 version 1.2, 2000/07/31 01:21:41
Line 1 
Line 1 
 %%  $OpenXM$  %%  $OpenXM: OpenXM/src/k097/lib/minimal/k0-cohom.sm1,v 1.1 2000/05/03 06:42:07 takayama Exp $
   
 %%  These macros should be moved to dr.sm1 with usages.  %%  These macros should be moved to dr.sm1 with usages.
 /define_ring_variables {  /define_ring_variables {
Line 8 
Line 8 
      /v0 v def       /v0 v def
      v { dup /p set (/) 2 1 roll ( $) p ($. def ) } map cat       v { dup /p set (/) 2 1 roll ( $) p ($. def ) } map cat
      /v set       /v set
      v message  %     v message
      [(parse) v] extension       [(parse) v] extension
   ] pop    ] pop
   popVariables    popVariables
 } def  } def
   [(define_ring_variables)
   [(It binds  a variable <<a>> in the current ring to the sm1 variable <<a>>.)
    (For example, if x is a variable in the current ring, it defines the sm1)
    (variable x by /x (x) def)
   ]] putUsages
   
 /boundp {  /boundp {
   /arg1 set    /arg1 set
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>