=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v retrieving revision 1.29 retrieving revision 1.33 diff -u -p -r1.29 -r1.33 --- OpenXM/src/kan96xx/Doc/ecart.sm1 2004/05/28 08:11:31 1.29 +++ OpenXM/src/kan96xx/Doc/ecart.sm1 2004/09/10 13:20:22 1.33 @@ -1,5 +1,6 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.28 2004/05/27 11:13:49 takayama Exp $ -%[(parse) (hol.sm1) pushfile] extension +% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.32 2004/08/31 05:30:20 takayama Exp $ +(hol_loaded) boundp { } +{ [(parse) (hol.sm1) pushfile] extension } ifelse %[(parse) (appell.sm1) pushfile] extension (ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet @@ -89,8 +90,8 @@ ll (0). eq { } { ll getRing /rr set - ll [ [ @@@.Hsymbol rr ,, (1) rr ,, ] - [ (h) rr ,, (1) rr ,, ]] replace + ll [ [ @@@.Hsymbol rr __ (1) rr __ ] + [ (h) rr __ (1) rr __ ]] replace /ll set } ifelse } ifelse @@ -115,7 +116,7 @@ ll (0). eq { } { ll getRing /rr set - ll [ [ @@@.Hsymbol rr ,, (1) rr ,, ] ] replace + ll [ [ @@@.Hsymbol rr __ (1) rr __ ] ] replace /ll set } ifelse } ifelse @@ -1556,6 +1557,7 @@ /univ vars 0 get reverse vars 1 get reverse join def + w-vectors to_int32 /w-vectors set [ 0 1 << w-vectors length 1 sub >> { @@ -1591,11 +1593,11 @@ /gbasis2 gbasis 0 get def } { [ [(1)] ] gbasis rest join ecartd.gb 0 get getRing ring_def - /gbasis2 gbasis 0 get ,,, def + /gbasis2 gbasis 0 get ___ def } ifelse ecartd.begin - flist ,,, /flist set + flist ___ /flist set flist tag 6 eq { flist { gbasis2 reduction } map /ans set }{ @@ -1657,11 +1659,11 @@ /gbasis2 gbasis 0 get def } { [ [(1)] ] gbasis rest join ecarth.gb 0 get getRing ring_def - /gbasis2 gbasis 0 get ,,, def + /gbasis2 gbasis 0 get ___ def } ifelse ecarth.begin - flist ,,, /flist set + flist ___ /flist set flist tag 6 eq { flist { gbasis2 reduction } map /ans set }{ @@ -1847,14 +1849,14 @@ vv isArray { vv from_records /vv set } { } ifelse vv ecart.01Order /wv set [vv ring_of_differential_operators 0] define_ring - ll ,,, /ll set ll dehomogenize /ll set + ll ___ /ll set ll dehomogenize /ll set [ll vv wv] gb 0 get /ll set ecart.begin [vv ring_of_differential_operators vv ecart.stdOrder weight_vector 0 [(weightedHomogenization) 1]] define_ring - ll ,,, {ecart.homogenize01 ecart.dehomogenizeH} map /ans set + ll ___ {ecart.homogenize01 ecart.dehomogenizeH} map /ans set ecart.end /arg1 ans def ] pop @@ -1872,3 +1874,4 @@ ( ) message-quiet +/ecart_loaded 1 def \ No newline at end of file