On Sat, Oct 14, 2017 at 2:44 AM, Bill Page <[email protected]> wrote: > I do not understand 'Boolean' as a category. The 'Boolean' domain > satisfies the following categories: 'OrderedSet', 'Finite', 'Logic'. > Thinking of Boolean as a category in the mathematical sense seems > unnecessarily abstract. > > There is no reason that the two values in Boolean need to be > represented internally by just two values. If that were the case then > it would be appropriate also for Boolean to satisfy the category > 'Canonical'.
You said Boolean has 'Finite', and size()$Boolean is 2. So Boolean should have Canonical. BTW, Canonical is not used extensively in FriCAS, it is missing in many places. >> This 'pretend' is much worse that CONSP. >> > > In what sense? Following previous section, this 'pretend' will be incorrect. While CONSP returns either T or NIL. -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
