Oh, right. I first thought that "Domain" never existed, but that seemingly only applied to the Aldor language.
The original AXIOM Book be Jenks and Sutor mentions "Type: Domain" as a result type for "Polynomial Integer" in this place. Would have been nice if this were still the case, but obviously, it is gone from the code. Maybe just from printing it, because I am not aware of the fact that an actual type "Domain" (which would have to be a category) ever existed. Waldek, do you remember details here? Ralf On 10/28/20 8:48 PM, Neven Sajko wrote: > Hello Ralf, > > Well, I could just replace "Domain" with "Type" in the appropriate > place, but I'm afraid I am not able to fix the book with an > appropriate clarifying comment, as I don't know anything about the > exact relation between the Fricas type "Type" and Fricas domains, or > the history of the "Domain" type (I guess it was removed from > Fricas?). > > Neven > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/2fc8a23b-8938-61a4-9408-ee948064e061%40hemmecke.org.
