Hi Martin,
maybe the error is on my side, but already in my previous mail wrt
\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}
I wanted to say something like "I could have understood if 'sum' was
missing", but looking at the dvi I realised that 'sum' is not a
conditional export. I thought I'd made it conditional.
Yes, I made it conditional. But I now realise that I forgot to
unconditionalise it. So OK with respect to "sum".
But how come that you unconditionalise "differentiate"?
If you look at
<<implementation: FormalPowerSeries>>=
if R has with {*: (Integer, %) -> %} then {
<<implementation: FormalPowerSeries differentiate>>
}
@
you see that FormalPowerSeries only implements "differentiate" if there
is an appropriate function *. But the exports of FormalPowerSeries are
FormalPowerSeriesCategory and there "differentiate" now appears without
condition. So if R has not an appropriate * function then
"differentiate" is not implemented for FormalPowerSeries(R) and a that
probably leads to a segfault.
Could you please check via the mailing list whether I might have some
reason to conditionalise that function. You could even criticise me by
telling me that I never give a (good) reason for the condition. But now
we have a bug in AC.
Ralf
-------------------------------------------------------------------------
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
