Next:
stdstack
Up:
Primitive Operators
Previous:
show_user_dictionary
spol
<< f g spol [ [c d] r] >> poly f, g, c, d, r; r is the s-polynomial of f and g. r = c f + d g
Nobuki Takayama 2020-11-24