Precisely I cannot explain it...because using software is not same coding software ..people , not me, are coding SAGE (and other modules included into it)
Usually : assume() is Python call for "assuming something", and if not true..then software stops But here, it's a constraint...it's a parameter for next Python functions (here solve)...and the solve() function will get rid of not integer roots. I assume this behavior, but I am not sure,..again..because I had never written SAGE code. I don't know really why you need to solve "induction problem"..but if you really want to do (and have no other ideas about how to do that using different maths ways)...then search again on Internet, browse forum python (not necessarily SAGE) and maybe you will see the light in your dark quest. Dominiqe. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
