I guess by adding this new signature, it will cause problems for type conferencing in compiler/interpreter.
There will be much more possibilities to consider. IIRC, there's already performance issues when compiling expressions with lots of "/", for example when solving radical roots for degree 3/4 polynomials. The recent radical denesting file may be a similar case. So it makes sense to let user do the coercion manually: f : % d : S f/(d::%) - Qian On 5/3/24 01:22, Ralf Hemmecke wrote:
It is, of course, only a convenience, but I find it somewhat weird that SPAD does not allow to divide a rational number by an integer. The available signatures only say http://fricas.github.io/api/Fraction.html#l4672616374696f6e-2f /: (%, %) -> % /: (S, S) -> % but not /: (%, S) -> % Would it be a bad idea to add such an implementation to Fraction? Or even add a default implementationn like ((x: %) / (s: S)): % == numer(x) / (s*denom(x) to QuotientFieldCategory? Ralf
-- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/1ea1d62e-fe8d-4842-9866-78d94c7ca194%40gmail.com.