Waldek, Bill, yes, for correctness we need to distinguish the inner domain and outer domain, and it's easy to have a GENSYM() for each Maybe domain.
But that will hurt performance. I think current situation is a good compromise. We can say in documentation that all instances of Maybe share a common value of failed(), and nested usage of Maybe is not recommended, Maybe should not be used as Rep itself but can be part of Rep. Do you agree? On the other hand, OnePointCompletion should be able to nest, and it does. -- 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.
