Martin Rubey <[EMAIL PROTECTED]> writes:
> Unfortunately, it's not completely intuitive how to change the test. I first
> thought it should be
>
> op = operator("exp"::Symbol)$CommonOperators =>
>
> but this is not quite correct, since, in theory, the semantics of exp could
> depend on the arguments of TranscendentalManipulations(R, F). So the proper
> fix is probably
>
> op = operator("exp"::Symbol)$F =>
>
> which is not really nice. Note that the only domains that implement
> ExpressionSpace are EXPR, AN and FortranExpression. AN does not contain
> operators, I do not know about FortranExpression. EXPR however implements
> operator as follows:
>
> operator op ==
> belong?(op)$AF => operator(op)$AF
> belong?(op)$EF => operator(op)$EF
> belong?(op)$CF => operator(op)$CF
> belong?(op)$LF => operator(op)$LF
> belong?(op)$FSF => operator(op)$FSF
> belong?(op)$FSD => operator(op)$FSD
> belong?(op)$ESD => operator(op)$ESD
> nullary? op and has?(op, SYMBOL) => operator(kernel(name op)$K)
> (n := arity op) case "failed" => operator name op
> operator(name op, n::NonNegativeInteger)
>
> so it does the hard work for us...
I should have added: there are occurences of properties set conditionally,
only, in the current algebra these conditions are always satisfied. From
COMBF:
if F has ElementaryFunctionCategory then
iGamma2(l: List F, t: SE): F ==
a := first l; x := second l
differentiate(a, t)*kernel(opdiff, [opGamma2 [dm, x], dm, a])
- differentiate(x, t)* x ** (a - 1) * exp(-x)
setProperty(opGamma2, SPECIALDIFF, iGamma2@((List F, SE)->F)
pretend None)
of course, here the condition is satisfied exactly when we have Gamma2...
Martin
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
