>
> ------=_Part_2554_892907778.1466815552155
> Content-Type: multipart/alternative;
> boundary="----=_Part_2555_1070671760.1466815552155"
>
> ------=_Part_2555_1070671760.1466815552155
> Content-Type: text/plain; charset=UTF-8
>
> > Fact that ')show' shows operations
> > which are not present in the domain is a bug, but it does
> > not violate any mathematicl rules.
>
> What I meant is that )show UP gives
> divide : (%,%) -> Record(quotient: %,remainder: %) if R has FIELD
> while )show UP(x,INT) gives
> divide : (%,%) -> Record(quotient: %,remainder: %)
> as if INT has FIELD, which is not.
Yes.
> What do you think of the patch?
Which patch? Your ')show List(Type)' patch is applied.
The problem shows with this patch. I am affraid that
evaluating types is tricky, in principle given
'UP(expr, INT)' you need to evaluate 'expr' first.
--
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.
