> Unfortunately we often write the same mathematical logic in a few places.
I agree that code duplication must be avoid.
I'd like to use the solve function, but AskPositiveHandler will still need to iterates through assumptions to feed solve.
If this patch is accepted, there will be one place to change when someone find how to use solve correctly. Again, to use solve correctly means to be sure that it gives all solutions.
sign and positive share a lot, one must call the other, my idea was that sign call positive, but it could be the inverse and the code I wrote could mostly be moved to refine_sign.