Changes
http://wiki.axiom-developer.org/276TheResultLooksLikeARecordButIsntARecord/diff
--
Well, actually, this is one of the problem why people might find it hard to
work with Axiom.
Of course, Axiom returns for $L$ the best it could. If I write
\begin{axiom}
ans := [2, divide(10*2,21)]
\end{axiom}
then it is clear that the type over which the list is formed have to be made
equal.
So we get 'List Any'.
But maybe, it would have been wiser if Axiom had warned about such a
construction or Axiom should rather
interpret the outer brackets in
\begin{axiom}
[1, [2,3]]
\end{axiom}
as 'makeRecord'.
\begin{axiom}
makeRecord(1, [2,3])
\end{axiom}
Anyway, the question is also why someone wants to have
\begin{axiom}
L := map (t +-> [t, divide (10*t,21)], expand (1..21-1));
\end{axiom}
in the first place. Wouldn't be
\begin{axiom}
LL := map (t +-> divide (10*t,21), expand (1..21-1))
\end{axiom}
be sufficient? The argument $t$ is implicitly given through the list structure.
And why not even just compute the following?
\begin{axiom}
L3 := map (t +-> divide (10*t,21).remainder, expand (1..21-1))
\end{axiom}
And as for ')set message any off' is good (no confusion) and bad (no hint what
one could do with the expression).
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
