oldk1331 wrote:
>
> Bill, just an early thought:
>
> I think the setProperty/property from BasicOperator
> can be useful in such situation, e.g. attach a 'positive'
> property to a constant (nullary operator) 'x', then
> for example 'x>0' can return ture (well, there's no
> '>' in EXPR), or 'sin(x*%pi)' can return 0. But this
> approach will require deep changes from all over
> the place. Maybe doing so in a new Domain over
> EXPR is cleaner. Just an early thought.
AFAICS properties should be separate from operators. Namely,
during computations conditions may appear and go away
independently form expressions. That is we have some
expression and during part of computation we have extra
codition. Storing conditions in operators would force
rewrite in terms of new operators -- looks unpleasent.
Also, we may have binary propertiess (or higher arity),
would you store them in all involved operators?
--
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 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.
