Ralf Hemmecke wrote:
>
> > IntegralDomain(): Category ==
> > -- Join(CommutativeRing, Algebra(%:CommutativeRing), EntireRing) with
> > Join(CommutativeRing, Algebra(%), EntireRing) with
> > ...
> >
> > I do not understand why we have 'Algebra(%)' here. That is where
> > coerce:%->% comes from. What do you suppose was the intention of the
> > version that is commented out?
>
> Algebra(%) sounds like what Martin wanted in a recent thread.
>
> As for the "%: CommutativeRing" I can only guess. But it looks like
> giving the compiler some help. Maybe at some point it didn't find out by
> itself that % fulfils the requirements for being an argument of Algebra.
>
> This "--" line is no proper Aldor, because ":" has to do with
> declaration and I don't see what kind of declaration that should be.
> Would this make any sense in SPAD?
>
The '--' is invalid in FriCAS. In old Spad ':' here meant
almost the same as 'pretend'. Given that I can guess that in
the past compiler had trouble with the current line and the
one commented out worked around the problem.
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
