I hate to be a pest but I have looked around and apparently don't
understand some conditional/typing.
For instance after
n : PI
we get.
(9) -> if (n>-3) then true else false
n is declared as being in PositiveInteger but has not been given a
value.
This was also mentioned in:
http://axiom-wiki.newsynthesis.org/DefiniteIntegration
with no update (it's quite old) or response that I can see..
"
n:PositiveInteger
what this tellsFriCAS <http://axiom-wiki.newsynthesis.org/FriCAS>is
that|n|will be assigned an integer value greater than 0 - only that.
After it is actually assigned some value, then it can be used exactly
like that value, but not before.
To me, this is a tremedous waste of an opportunity inFriCAS
<http://axiom-wiki.newsynthesis.org/FriCAS>to to deal with "domain of
computation" issues such as are addressed in other untyped computer
algebra systems by the use of "assumptions" such as:
assume(x,PositiveInteger);
"
I need it for a negative binomial rule/function as per:
https://arxiv.org/pdf/1105.3689.pdf
In GouldBK we never stoop so low as/actually/ use numbers! :)
Ray
--
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.
