Hi Martin,
You have several of these remarks (see below) in src/gseries.as.nw.
I don't know how you found this workaround. But that seems to be a bug
in the compiler and for now I don't bother to go deeper into it. It
looks totally strange to me.
Maybe we should agree to mark references to compiler bugs in AC with the
word "CompilerBug" so that we can find them easily later.
What I don't understand is why you haven't put a test case into
test/gseries.as.nw which demostrates this behaviour. Or are you telling
me that this problem only appears in Axiom? Then why isn't there a #if
Axiom ... #endif around this workaround?
Another remark: You have certainly realised that neither
\adname[ACPrimitiveArray]{new} nor \adname[CycleIndexSeries]{sum}
produces a hyperlink in the .dvi The reason is that "new" in
ACPrimitiveArray has no associated +++ environment, so ALLPROSE does not
recognise that this is a newly defined function.
Instead of \adname[CycleIndexSeries]{sum} you should have written
\adname[FormalPowerSeriesCategory]{sum}. ALLPROSE is not (yet) that
smart to figure that out itself.
Ralf
....................................................................
\begin{ToDo}
\begin{mrx}
10-Feb-2007: unfortunately, without the following chunk \xAxiom{}
complains
about not finding \adname[ACPrimitiveArray]{new}. See also
\adname[CycleIndexSeries]{sum}.
\end{mrx}
\end{ToDo}
<<implementation: OrdinaryGeneratingSeries>>=
Rep == FormalPowerSeries Integer; import from Rep;
sum(g: Generator %): % == per sum(rep s for s in g);
@
\begin{ToDo}
\begin{mrx}
10-Feb-2007: unfortunately, without the following chunk \xAxiom{}
complains:
\begin{adsnippet}
coefficient(cycleIndexSeries()$SetPartition ACINT, 4)
Looking in PrimitiveArray(FormalPowerSeries(
SparseDistributedPolynomial(
ACFraction(ACInteger()),
CycleIndexVariable(),
SparseIndexedPowerProduct(CycleIndexVariable(),
ACMachineInteger()))))
for new with code 937065024
>> System error:
FOAM-USER::|fiRaiseException| is invalid as a function.
\end{adsnippet}%$
\end{mrx}
\end{ToDo}
<<implementation: CycleIndexSeries>>=
sum(g: Generator %): % == per sum(rep s for s in g);
@
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
