On 5/16/24 14:00, Waldek Hebisch wrote:
Yes, this is limitation of current compiler. It would be relatively easy to allow more general conditions, but important part of current handling involves inference and inference is only implemented for 'has' and boolean combinations of 'has' conditions.
I hope you have noticed that the "is" construction works in the "add" part, but not in the "with" part of the domain.
OK, I will rewrite my program. 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/6905bffc-67d9-4e73-afc1-735ffbcef851%40hemmecke.org.
