Could you give an example of defining Expression over a domain where
"nothing interesting is known"? I tried several things but so far I
have been unable to produce an example of a value in such a domain.
See below. If you look closely at the exports in expr.spad, then you see
that one cannot really do much with such a domain.
Ralf
(1) -> E := EXPR STRING
(1) Expression(String)
Type: Type
(2) -> e1: E := x1
(2) x1
Type:
Expression(String)
(3) -> e2: E := x2
(3) x2
Type:
Expression(String)
(4) -> paren e1
(4) (x1)
Type:
Expression(String)
(5) -> e1+e2
There are 11 exposed and 7 unexposed library operations named +
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op +
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find a definition or applicable library operation named +
with argument type(s)
Expression(String)
Expression(String)
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
--
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.
