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: [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


  • Prev by Date: Re: Re: A Sum-like notation for iteration
  • Next by Date: Re: ImageResize
  • Previous by thread: Re: DOCS: debugger + theorem prover
  • Next by thread: Re: Finding the Position of Elements in a List that