On 11 October 2017 at 03:17, Ralf Hemmecke wrote:
>
>> Is there a theory about that?
>
> Have you read the thesis of Doye?
http://axiom-wiki.newsynthesis.org/public/refs/doye-aldor-phd.pdf
The thesis provides a lot of useful background and definitions but I
think it stops
On 10/11/2017 06:30 AM, oldk1331 wrote:
> Well, is 'coerce/retract' mentioned in category theory?
Most probably not. It's just that these names are in FriCAS. It's more
of a "fricas convention".
>From your other mail I learned that you do not want to remove
coerce/retract, but rather you would