Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: DOCS: debugger + theorem prover

  • To: mathgroup at smc.vnet.net
  • Subject: [mg102214] Re: DOCS: debugger + theorem prover
  • From: David Bailey <dave at removedbailey.co.uk>
  • Date: Sat, 1 Aug 2009 04:02:23 -0400 (EDT)
  • References: <h4ueve$iqm$1@smc.vnet.net>

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 Bailey
http://www.dbaileyconsultancy.co.uk


  • Prev by Date: Re: Help with concatenating a list with &&
  • Next by Date: Re: Finding the Position of Elements in a List that
  • Previous by thread: Re: How to define a list of functions/variables
  • Next by thread: Re: DOCS: debugger + theorem prover