Re: What should "solving" really mean, some literature.
Subject: Re: What should "solving" really mean, some literature.
From: Timo Korvola
Date: 04 Oct 2001 22:44:51 +0300
Daniel Lemire <lemire@ondelette.com> writes:
> Ideally, Richard, I'd like Maxima to allow be to switch "Complex ON"
> or "Complex OFF".
But there is already declare(x,real).
This looks like a bug though:
GCL (GNU Common Lisp) Version(2.4.0) Wed May 9 12:02:00 CDT 2001
Licensed under GNU Library General Public License
Contains Enhancements by W. Schelter
Maxima 5.6 Wed May 9 12:01:49 CDT 2001 (with enhancements by
W. Schelter).
Licensed under the GNU Public License (see file COPYING)
(C1) declare(x,real);
(D1) DONE
(C2) facts();
(D2) [KIND(x, REAL)]
(C3) forget(facts());
(D3) [[(PAR, (REAL, IMAGINARY), COMPLEX)(PAR(CON, GLOBAL))]]
(C4) facts();
(D4) [KIND(x, REAL)]
(C5)
--
Timo Korvola <URL:http://www.iki.fi/tkorvola>;