Better example (independent of limsubst) (%i1) limit(a*x,x,inf); (%o1) infinity Barton -----maxima-bounces at math.utexas.edu wrote: ----- >Maybe?Richard?is?refereeing?to?the?(unreported?)?bug: > >?(%i7)?limit(f(a*x),x,inf),?limsubst?:?true; >???1>?(RATLIM?((MTIMES?SIMP)?$A?$X)) >???<1?(RATLIM?$INFINITY) >?(%o7)?f(infinity)