There's a long thread in 2011 talking about monad,
but that discussion is not very clear and not what
I am going to talk about.
https://groups.google.com/d/msg/fricas-devel/UCFkQGgOOf0/oj9-FygocVgJ
The motivation get me into this topic is simple:
In OpenAxiom, I see there's a Maybe domain instead
oldk1331 wrote:
>
> There's a long thread in 2011 talking about monad,
> but that discussion is not very clear and not what
> I am going to talk about.
> https://groups.google.com/d/msg/fricas-devel/UCFkQGgOOf0/oj9-FygocVgJ
>
> The motivation get me into this topic is simple:
> In OpenAxiom, I
> 1) The default value for nn is incorrect, and nn is not
> updated after being used in K2Z.
>
> Actually, I think argumentless 'random' is a good idea.
I misunderstood a little, my point is:
1) The default value of nn should not be 1.
2) We should use "1+random(nn)" in this case to avoid 0.
--
> You seem to want to use '>>' to convert functions from
> T to Union(T, "failed") into functions from
> Union(T, "failed") to Union(T, "failed").
No, it doesn't create new functions, just "combine" them.
Say we want to apply a series of functions, first f, then g:
x:INT, f:INT->INT, g:INT->INT
I discovered this bug while I am digging another one:
Martin's orignal integral: integrate((a + b*x)/((3 + x^2)*(1 - x^2)^(1/3)), x)
fails. However integrate(1/((3 + x^2)*(1 - x^2)^(1/3)), x) succeeds
while integrate(a/((3 + x^2)*(1 - x^2)^(1/3)), x) fails:
(1) -> integrate(a/((3 + x^2)*(1 -
This is from sci.math.symbolic, today:
===
Sadly, I am now finding that the FriCAS web interface refuses to respond
after I submitted a pseudo-elliptic integral mentioned in a post of
Sat, 20 Aug 2016 08:46:09 +0200 to another thread earlier today while
forgetting to invoke