Go to the first, previous, next, last section, table of contents.
dp_subddp_ht(dpoly1)/dp_ht(dpoly2).
The coefficient of the result is always set to 1.
[162] dp_subd(<<1,2,3,4,5>>,<<1,1,2,3,4>>); (1)*<<0,1,1,1,1>>
dp_red, dp_red_mod.
Go to the first, previous, next, last section, table of contents.