On 13 October 2017 at 20:53, oldk1331 <[email protected]> wrote: > > You said Boolean has 'Finite', and size()$Boolean is 2. > So Boolean should have Canonical.
Canonical is not about the number of values in a domain, it is about how equality is defined. Although Boolean has only two possible values it has many possible representations of this theses values, in particular, one unique representation for False but many equivalent representations for True. > BTW, Canonical is not used extensively in FriCAS, it is missing > in many places. > Yes, that is true. It is probably only present where the authors had a particular use for it. -- 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.
