/* Someone demonstrated this kind of potential bug in maxima. */ /* This shows there is a bug in maxima's "factor". */ s : ( 7 * x**2 - 1 ) * ( 3 * z + 1 ) * x ; s1 : expand ( s**3 - 1 ); factor( s1 ); /* s1 must be factorized, but maxima 5.9.0 failed. */