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
  • Subject: [mg102434] Re: DOCS: debugger + theorem prover
  • From: Chris Osborn <chrisosb at>
  • Date: Sun, 9 Aug 2009 06:05:57 -0400 (EDT)
  • References: <h4ueve$iqm$> <h50sp6$6v4$>

On Aug 1, 3:01 am, David Bailey <d... at> 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 Bailey

Thanks, David.
I may just have to try your package out!


  • 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