Why "Please excuse"? I think you are talking to people who want to
answer this questions (if possible).
This works for me:
(3) -> a case fail
(3) true
Type: Boolean
sage: a=fricas('integrate(x*sin(1/x), x=0..1)')
sage: fricas("%s case fail"%a.name())
true
I hope that helps.
Bill Page.
On 15 August 2016 at 05:28, 'Martin R' via FriCAS - computer algebra
system <[email protected]> wrote:
> Please excuse, yet another sage-interface related question.
>
> How do I get the actual "branch" of a Union type? In the example below, I'd
> like to get something like "failed". (or,
> List(OrderedCompletion(Expression(Integer))) when relevant, but I couldn't
> find an example producing this).
>
> Martin
>
> (14) -> a := integrate(x*sin(1/x), x=0..1)
>
> (14) "failed"
> Type: Union(fail:
> failed,...)
> (15) -> typeOf(a)
>
> (15)
> Union(f1: OrderedCompletion(Expression(Integer)),f2:
> List(OrderedCompletion(E
> xpression(Integer))),fail: failed,pole: potentialPole)
> Type:
> Type
> (16) -> dom(a)
>
> (16)
> (Union (: f1 (OrderedCompletion (Expression (Integer))))
> (: f2 (List (OrderedCompletion (Expression (Integer))))) (: fail
> failed)
> (: pole potentialPole))
> Type:
> SExpression
> (17) ->
>
> --
> 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.
--
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.
