Ralf Hemmecke wrote:
>
>
> 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.
If all fields have SetCategory, then record should have SetCategory
too. Currently Spad cheats and unconditionally asserts SetCategory.
If Aldor unconditionally considers records to _not_ have
SetCategory, then this looks like serious limitation of Aldor.
>
> 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?
List looks better here. Set will do extra work trying to avoid
duplicates. AFAICS both for our usage of CB and GEM duplicates
are impossible, so this should be easy to change.
--
Waldek Hebisch
[email protected]
--
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.
