Hi Waldek, I just saw the recent commit about 0 and 1 in types. Actually, I have not yet commented to your patch, because I first wanted to look up how difficult/reasonable it would be to remove (Zero) and (One) altogether.
You have probably improved type matching by your hack, which is good and thanks for that, but what I really wonder is: Why is there a need for (Zero) and (One) when we coudld just have 0 and 1? Is the reason that (Zero) and (One) count as identifiers and 0 and 1 as numbers? AFAIU, in Aldor 0 and 1 count as special identifiers. Do you think it would be too naive to just replace (Zero) and (One) in all of FriCAS by just 0 and 1? Ralf -- 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/83c59474-0fbc-ca91-1167-deb430884e48%40hemmecke.org.
