Ralf Hemmecke
2008-06-16 12:57:44 UTC
Hi Martin,
First, right, wonderful. It's easy to add LinearOrder and Cycle as you
did on
http://axiom-wiki.newsynthesis.org/SandBoxSpeciesAldor
by just copying the aldor code from the AC repository.
However, there must be a bug. Look at the output of
[[1,2,3],[1,2,2]]
? The double 2 is wrong.
Ralf
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
First, right, wonderful. It's easy to add LinearOrder and Cycle as you
did on
http://axiom-wiki.newsynthesis.org/SandBoxSpeciesAldor
by just copying the aldor code from the AC repository.
However, there must be a bug. Look at the output of
\begin{axiom}
labels: SetSpecies ACINT := set [i::ACINT for i in 1..3]
)set output tex off
)set output algebra on
[structures(labels)$Cycle(ACINT)]$ACLIST(Cycle(ACINT))
\end{axiom}
How can this belabels: SetSpecies ACINT := set [i::ACINT for i in 1..3]
)set output tex off
)set output algebra on
[structures(labels)$Cycle(ACINT)]$ACLIST(Cycle(ACINT))
\end{axiom}
[[1,2,3],[1,2,2]]
? The double 2 is wrong.
Ralf
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php