Re: [fricas-devel] what RetractableTo should actually export

2017-10-11 Thread Bill Page
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

Re: [fricas-devel] what RetractableTo should actually export

2017-10-11 Thread Ralf Hemmecke
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