OpenXM/src/kan96xx/Kan/usage.sm1 - diff

Return to usage.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.12, 2005/06/15 02:22:51

version 1.15, 2013/09/22 01:06:20

Line 1

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.11 2004/09/17 00:47:09 takayama Exp $

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.14 2013/09/20 06:02:19 takayama Exp $

%% usage.sm1

%% [(key word)

%% [( )

Line 171

( Dx and Dy are corresponding differential operators to the )

( space variables x and y. Try show_ring to see the commutation)

( relations.)

(Example: contiguity of 1F1. Eb b = (b-1) Eb)

( [ [(x) (a,b)] ring_of_differential_difference_operators )

( [[(Dx) 1]] weight_vector 0] define_ring )

( [ ( x Dx (x Dx+b-1) -x (x Dx+a) ). )

( ( (x Dx +b-1) - (b-1) Eb ). ] /ff set )

( ff {dehomogenize homogenize} map /ff2 set )

( [ff2] groebner /gg set )

( gg dehomogenize 0 get /gg set )

( gg [(Dx)] eliminatev /gg2 set )

( gg2 pmat )

]

] putUsages

Line 332 def

Line 343 def

$ [(getAttribute) myarg (sugar)] extension :: $

]] putUsages

[(note-class)

[

$Example 1: [(object) [ ] [1,2]] [(class) (tree)] dc /ff set $

$ ff (array) dc :: $

$cf. data_conversion, kan96xx/Kan/kclass.c (KclassDataConversion) $

]] putUsages

[(sm1log)

[

$str sm1log outputs the str to the log file /tmp/sm1log.txt$

]] putUsages