Thinking loudy: I have noticed few times that tryning to generalize
various domains leads to trouble because interpreter picks
undesirable signatures. So we need some way to limit such
"inventions". We already have exposure, that completely
hides some constructors. But maybe we should have more detailed
control. For example consider constructor as exposed only
when arguments satisfy specific conditions? Or maybe hide
some signatures?
--
Waldek Hebisch
--
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/20230506031310.jkujcwznowi7exfb%40fricas.math.uni.wroc.pl.
