OTOH creation functions are typically included in domains, so if no signatures contains '%' then it resonable to suspect that nobady is going to create something of that type. However, note that in principle one can create data outside given type and then pretend to it.
If you think in terms of using "pretend" for an ordinary SPAD program, then you are not programming SPAD.
As said before, "pretend" should only be used if nothing else is possible. Inhabiting packages with "elements" is certainly not a reasonable way of using SPAD.
Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
