Changes http://wiki.axiom-developer.org/358VariableIsApparentlyAlwaysAssumedToBePositive/diff --
??changed:
r case Integer and incr(s) case Integer =>
- [low s, high s, [EMAIL PROTECTED]
+ [low s, high s, r*incr(s)]$Rep
r case S and incr(s) case S =>
??changed:
r case S and incr(s) case S =>
- [low s, high s, r+s]$Rep %%one interpretation
+ [low s, high s, r+incr(s)]$Rep %%one interpretation
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
