<< f homogenize g >> poly f,g; array of poly f,g; [(degreeShift) (value)] homogenize [shiftD shiftUV] [(degreeShift) (reset)] homogenize [null null] [(degreeShift) shiftD ] homogenize [shiftD shiftUV] [(degreeShift) [shiftD shiftUV]] homogenize [shiftD shiftUV] [(degreeShift) [ ] fv] homogenize hfv [(degreeShift) shiftD fv] homogenize hfv [(degreeShift) [shiftD shiftUV] fv] homogenize hfv shiftD : degree shift vector for (0,1)-h homogenization shiftUV : degree shift vector for (-1,1)-s homogenization (internal for ecart.) fv : polynomial or vector of polynomials. Example: [(x) ring_of_differential_operators 0] define_ring [(degreeShift) [[1 0] [0 1]] [(x+1). (Dx+1).]] homogenize :: [(degreeShift) (value)] homogenize :: Note. min of ord (-1,1)[0,1] is min {-1,1, 1+1,1+0} = -1 =m Degree of H is b-a+v(i)-m where v=[0,1] Side effects: It changes h-degree shift vector and s-degree shift vector in homogenizeObject_go(), which is called from ecart division codes as well as the function homogenize. DegreeShift is automatically reset when set_up_ring is called.

Nobuki Takayama 2020-11-24