Am Freitag, den 30.10.2009, 21:30 +0100 schrieb Dieter Kaiser:
> Do we have a change of the values or the use of the global flags $domain
> and $m1pbranch?
Yes, it has changed with revision 1.55 of simp.lisp. This is a diff:
--- float.lisp 2009/03/29 06:24:51 1.54
+++ float.lisp 2009/06/14 21:10:50 1.55
@@ -1002,12 +1002,9 @@
((not ($bfloatp p)) (list '(mexpt) p n))
((equal (cadr p) 0) ($bfloat 0))
((and (< (cadr p) 0) (ratnump n))
- ($bfloat
- ($expand (list '(mtimes)
- ($bfloat (let (($domain '$complex)
- ($m1pbranch t))
- (power -1 n)))
- (exptbigfloat (bcons (fpminus (cdr p))) n)))))
+ (mul2 (let ($numer $float $keepfloat $ratprint)
+ (power -1 n))
+ (exptbigfloat (bcons (fpminus (cdr p))) n)))
((and (< (cadr p) 0) (not (integerp n)))
(cond ((or (equal n 0.5) (equal n bfhalf))
(exptbigfloat p '((rat simp) 1 2)))
The use of the flags $domain and $m1pbranch has been cut out.
Dieter Kaiser