Ralf Hemmecke wrote:
>
> Since r2087 (corresponds to:
> https://github.com/fricas/fricas/commit/3a1a01ee22ac98ba481431aa7fbee4641ebf0d02
> ), I cannot build libaxiom.al anymore.
>
I tried to build recent FriCAS with not so recent Aldor (from 2013,
I had trouble building newer versions, so I tested this one).
After trying to extract minimal example I arrive at following
code. After changing syntax to Spad and adding duplicate
incomplete definition of SemiRng this code compile in FriCAS.
More precisely, after bootstrap FriCAS knows about all
involved categories and code compile without troubles.
But even if you rename categories (which corresponds to
situation during bootstrap) duplicate definition allows
sucessful compilation.
But the code fails to compile as Aldor. I am not sure if
I am making some silly mistake. Anyway, constructs like this
appear in FriCAS algebra and to build interface we need a
way to compile them.
#include "aldor"
NonAssociativeSemiRng : Category == with;
SemiGroup : Category == with;
BiModule(R : SemiRng, S : SemiRng) : Category == with;
-- BiModule(R : SemiGroup, S : SemiGroup) : Category == with;
SemiRng : Category == Join(NonAssociativeSemiRng, BiModule(%, %), SemiGroup)
-- SemiRng() : Category == Join(NonAssociativeSemiRng, SemiGroup)
--
Waldek Hebisch
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
