On Wed, Oct 28, 2020 at 10:23:11PM +0100, Ralf Hemmecke wrote: > 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?
Well, we have this thing called ChangeLog: 2009-12-04 Waldek Hebisch <[email protected]> * src/interp/trace.boot, src/interp/i-analy.boot, src/interp/buildom.boot, src/interp/i-coerce.boot, src/interp/parse.boot, src/interp/i-output.boot, src/interp/i-spec2.boot, src/interp/g-cndata.boot, src/interp/setq.lisp, src/interp/i-funsel.boot, src/interp/i-eval.boot, src/interp/br-con.boot, src/interp/i-spec1.boot, src/interp/clammed.boot: Replace 'Domain' by 'Type' and 'Subdomain(Domain)' by 'Category'. And there was discussion in the mailing list. All references type 'Domain' is documentation should be replaced by 'Type'. But 'Domain' is used quite a lot with different meaning so it is hard to search for and some erroneous reference my still remain... -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/20201028213740.GA33709%40math.uni.wroc.pl.
