The good news is that stopex.dem works for me. I see the same failure
that Valerij reported in facexp.dem. This is with cvs maxima (gcl-2.50)
on windows.
In addition, running declin.dem I see:
((F(A, X, B, Y, C, Z) 2 - F(2 A, X, 2 B, Y, 2 C, Z)) H(Q)) (H + F)
(C6) EXP1 : ------------------------------------------------------------------
B + A
(2 F(A, X, B, Y, C, Z) - F(2 A, X, 2 B, Y, 2 C, Z)) (H + F) H(Q)
(D6) ----------------------------------------------------------------
B + A
;_
(C7) LINSIMP(EXP1, F)
MACSYMA was unable to evaluate the predicate:
ERREXP1
#0: LCLINEARP(list=[2*F(A,X,B,Y,C,Z),-F(2*A,X,2*B,Y,2*C,Z)],opdum=F)(declin.mac line 39)
#1: LINOPSUM1(list=[2*F(A,X,B,Y,C,Z),-F(2*A,X,2*B,Y,2*C,Z)],opdum=F)(declin.mac line 73)
#2: LAMBDA([[SULIST]],IF FREEOF(OPDUM,SULIST) THEN APPLY("+",SULIST) ELSE LINOPSUM1(SULIST,OPDUM))(sulist=[2*F(A,X,B,Y,C,Z),-F(2*A,X,2*B,Y,2*C,Z)])(declin.mac line 64)
-- an error. Quitting. To debug this try DEBUGMODE(TRUE);)
(C8)
stopex.dem works.