Re: DOCS: debugger + theorem prover
- To: mathgroup at smc.vnet.net
- Subject: [mg102434] Re: DOCS: debugger + theorem prover
- From: Chris Osborn <chrisosb at gmail.com>
- Date: Sun, 9 Aug 2009 06:05:57 -0400 (EDT)
- References: <h4ueve$iqm$1@smc.vnet.net> <h50sp6$6v4$1@smc.vnet.net>
On Aug 1, 3:01 am, David Bailey <d... at removedbailey.co.uk> wrote: > Chris Osborn wrote: > > Hi All, > > > Does anyone else feel there should be more documentation on the > > interactive debugger, and also on the automated theorem prover? > > I myself find the debugger a bit finicky and would like some > > documentation there. > > > Also, it seems the automated theorem prover is called when the > > arguments to FullSimplify are given in a specific format, > > but that format is not documented. > > > Thanks, > > Chris > > The interactive debugger seems to have almost no documentation! I am > also not convinced that this debugger does its job in the best possible > way. One problem that I believe is particularly limiting, is the fact > that a debug session creates no permanent record of what went on - only > any side calculations are available to examine afterwards. > > I have written an experimental package, DebugTrace that explores an > alternative debugging strategy, and which is available free from my > website - and yes, it does come with documentation! > > David Baileyhttp://www.dbaileyconsultancy.co.uk Thanks, David. I may just have to try your package out! Chris