Le forum de XCAS

assume(a>0);solve(1-ln(a)<0,a) // renvoie la liste vide
purge(a);solve(1-ln(a)<0,a) // ok

Vu, je fais pour le moment une correction sans doute partielle dans le source.