factorials and binomials simplification - nusum less verbose
Subject: factorials and binomials simplification - nusum less verbose
From: Robert Dodier
Date: Tue, 11 Jul 2006 10:39:18 -0600
Giovanni,
> I'm using Maxima within the theorem prover Hol Light, through an interface
> written by John Harrison.
Hmm, that sounds interesting. Maybe you can tell us more about this.
> I'd like to avoid the string "Dependent equations eliminated: (1)".
>From looking at the code from which that message originates (src/solve.lisp),
it appears that linsolvewarn : false; should disable that message.
I didn't try that.
HTH
Robert Dodier