Revision history [back]

You can access the source code of the solve function by typing, from a Sage shell:

sage: solve??

And then see which other function is called depending on the kind of input. Then you can iterate on what is actually called in your concrete example.