On Thu, May 16, 2024 at 02:24:50PM +0200, Ralf Hemmecke wrote:
> 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.
Yes, I know. 'with' part needs more than 'add' part.
--
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/ZkX-SXWa-L19-RWO%40fricas.org.
