Changes http://wiki.axiom-developer.org/358VariableIsApparentlyAlwaysAssumedToBePositive/diff --
??changed: -Note that the lexicographic order is not particular kind to segments, which can have infinitely many elements and hence if allowed to increment by arbitrary elements of the domain. Axiom has 'UNISEG' which allows expansion into 'Stream S' but even there, the increment is limited to an "integer". +Note that the lexicographic order is not particular kind to segments, which can have infinitely many elements if allowed to increment by arbitrary elements of the domain. Axiom has 'UNISEG' which allows expansion into 'Stream S' but even there, the increment is limited to an "integer". -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
