On Wednesday, February 29, 2012 3:01:46 PM UTC-8, Snark wrote: > > Le mercredi 29 février, William Stein a écrit: > > > > (1) when you want to apply a theorem, do you just check for the > > > hypotheses then go on, or do you re-do the proof down from the > > > axioms? > > > > Neither. This is a false analogy. Sage doesn't do anything like the > > analogue of redoing proofs "down from the axioms". > > It is quite on the contrary a very good analogy : it does rebuild a good > chunk of my system up from the *minimal* deps, even if many things it > needs is already there. > If you take a look at the Python spkg, for example, it's not a pure vanilla version of Python, it is patched so that it works with Sage. This is true with many of the Sage packages. So a better analogy is that, when you want to apply, well, not a theorem, but a variant on a theorem, you need to reprove it to make sure that your variant holds.
-- John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
