On 09/09/2015 03:25 AM, Waldek Hebisch wrote: > I would like to do a new release in September.
Hi Waldek, hi Abhinav, currently, the aldor compilation fails for at least two reasons. 1) generalization of the polynomial coefficient domain 2) lodof2. I can probably fix (1) easily via adaptation of initlist.as, but (2) seems to be a bit more involved. The problem is here: https://github.com/fricas/fricas/blob/master/src/algebra/lodof2.spad#L81 SG ==> Record(point : Union(F, "infinity"), lpf : LL, dxt : PositiveInteger) CB ==> Set SG In Aldor, the Record type is not of type SetCategory. I wonder why the SPAD compiler doesn't complain here, but probably Record is treated on a special basis. Anyway, I think, we shouldn't silently accept that Record is of type SetCategory. Looking closer into the code, I think it would be OK to change the above line to CB ==> List SG and adjust the function ge_minimal accordingly. Similarly, for GEM ==> Set Record(singularity : SG, fos : SP, mge : List US) I don't see a deep reason to keep Set instead of List. Comments? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
