sm1_reduction

sm1_reduction([f,g,v,w]|proc=p)

::

return

List

f

Polynomial

g, v, w

List

p

Number (the process number of ox_sm1)

• It reduces f by the set of polynomial g in the homogenized Weyl algebra; it applies the division algorithm to f. The set of variables is v and w is weight vectors to determine the order, which can be ommited. sm1_reduction_noH is for the Weyl algebra.
• The return value is of the form [r,c0,[c1,...,cm],[g1,...gm]] where g=[g1, ..., gm] and r/c0 + c1 g1 + ... + cm gm = 0. r/c0 is the normal form.
• The function reduction reduces reducible terms that appear in lower order terms.
• The functions sm1_reduction_d(P,F,G) and sm1_reduction_noH_d(P,F,G) are for distributed polynomials.

[259] sm1_reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y]]);
[x^2+y^2-4,1,[0,0],[x+y^3-4*y,y^4-4*y^2+1]]
[260] sm1_reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y],[[x,1]]]);
[0,1,[-y^2+4,-x+y^3-4*y],[x+y^3-4*y,y^4-4*y^2+1]]

Reference

sm1_start, sm1_find_proc, d_true_nf

• sm1_xml_tree_to_prefix_string

Go to the first, previous, next, last section, table of contents.