[Aldor-l] libaxiom.al dependencies part 2

[Ralf Hemmecke]

>> I see the following error:
>>
>> -------------------------------------------------------------------------------
>> ar: creating
>> /home/hemmecke/scratch/fricas/fricas-build/src/aldor/tmp/libaxiom_FS.al
>> (Message Preview)
>> "/home/hemmecke/scratch/fricas/fricas-build/src/aldor/ap/FS.ap", line 1318:
>>                                             (|Apply| |Polynomial|
>> ......................................................^
>> [L1318 C55] #1 (Error) No one possible return type satisfies the context
>> type.
>>  These possible return types were rejected:
>>          -- PolynomialCategory(#1, IndexedExponents(Symbol), Symbol) with
>>                if (#1 has Algebra(Fraction(Integer))) then integrate: (%,
>> Symbol) -> %
>>                else
>>  The context requires an expression of type  with
>>
>> -------------------------------------------------------------------------------
>>
> 
> This is probably something else - FS.spad can trigger a compiler issue
> - but not always.(apologies to Martin if I didn't reply - March was
> somewhat busy).  I tried to send the fix to aldor-l, but it bounced.
> It might be in some archive somewhere - the fix was in sefo.c, if that
> helps.

Oh, could you resend it? Recently at least the aldor svn server was down 
several times.
I don't know what happened to aldor-l but that might have been connected.

Thanks in advance.

Ralf

PS: I really wonder how fast you could find out what the real problem in 
the compiler was. Great!