Hi!
Whay I need is to compute within my Maxima package
the quotient of two univariate polynomials
but the remainder might be non-zero so I need
something like "quotient" but possibly faster than "quotient".
Exact division would mean assuming a zero-remainder
which in this case might lead to wrong results.
If this is not available in Maxima my suggestion
would be to implement it as multiplication by
the modular inverse.
In all my tests "fasttimes" is much faster than doing
the product of two polynomials by "expand(...*...)"
even if the polynomials are univariate.
Regards
Fabrizio