Changes
http://wiki.axiom-developer.org/358VariableIsApparentlyAlwaysAssumedToBePositive/diff
--
??changed:
-but the Axiom interpreter does not treat [...] as an operator or
+but the Axiom interpreter does not treat $[\dots]$ as an operator or
even a generator. Perhaps this could be considered inconsistent.
??changed:
-I think Axiom is "stupid" to even think that in the definition of h, the x is
symbolic as in POLY INT or EXPR INT. The function definition is complete as
shown by the correct execution of [h(-1.0+0.5*i) for i in 0..2]. A function h
is NOT the same as a value h(x) where x is a variable in EXPR INT. We should
integrate h, not h(x).
-
-Why isn't [h(i) for i in -1.0..0.0 by 0.5] sensible (especially in Axiom)? Why
is the signature of BY given (for any S in SEG S) by (%, Integer)->% and not
(%, S)->% (when S is Float)?
+I think Axiom is "stupid" to even think that in the definition of h, the x is
symbolic as in POLY INT or EXPR INT. The function definition is complete as
shown by the correct execution of $[$h(-1.0+0.5*i) for i in 0..2$]$. A function
h is NOT the same as a value h(x) where x is a variable in EXPR INT. We should
integrate h, not h(x).
+
+Why isn't $[$h(i) for i in -1.0..0.0 by 0.5$]$ sensible (especially in Axiom)?
Why is the signature of BY given (for any S in SEG S) by '(%, Integer)->%' and
not '(%, S)->%' (when S is Float)?
--removed:
The implementation of 'expand' would be more complicated.
-
-William
--removed:
-William
??changed:
dom:=DirectProduct(2,INT)
-a:dom:=directProduct([2,1])
-b:dom:=directProduct([10,8])
-s:SEG dom:=a..b by 3
-expand s
+aa:dom:=directProduct([2,1])
+bb:dom:=directProduct([10,8])
+ss:SEG dom:=aa..bb by 3
+expand ss
\end{axiom}
??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 theret, the increment is limited to an "integer".
+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".
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
