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

Return to usage.sm1 CVS log

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

version 1.4, 2002/02/09 06:21:02

version 1.5, 2002/09/08 10:49:50

Line 1

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.3 2000/06/08 08:35:03 takayama Exp $

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.4 2002/02/09 06:21:02 takayama Exp $

%% usage.sm1

%% [(key word)

%% [( )

Line 103

(The user cannot use the variable names h, e, H and E.)

(cf. show_ring, system_variable --- CurrentRing)

( print_switch_status, switch_function)

(Example: [(x,y) ring_of_differential_operators [[(Dx) 1 (Dy) 1]])

( weight_vector 0] define_ring)

( Define the ring of differential operators Q<x,y,Dx,Dy> with the order)

( obtained by refining the partial order defined by the weight vector)

( [x,y,Dx,Dy] = [0,0,1,1] )

(Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 1]])

( define_ring )

(Example: [(x,y,z) ring_of_differential_operators (Dx,Dy) elimination_order 0] define_ring)

( Dx,Dy, and Dz are corresponding differential operators to the )

( space variables x, y and z.)