[Axiom-developer] Issue 336

[Waldek Hebisch]

The fix for bug 336 looks fine.  But one thing in original
code looks strange: we are testing if s>0.  s belongs to some
ring which  has RetractableTo(Z) and we test that if s can
be retracted to Z.  Then use s in comparizon.  AFAIU the 
comparison is taken from R and in principle can be quite
different than comparison in Z.  However, the logic really
requires comparison in Z.  So I think that we should 
use here t (that is value retracted to Z) in comparison.

-- 
                              Waldek Hebisch
address@hidden