> In this last case I must be able to recognize the domain :
> Expression Complex Integer or Expression XXXX Complex YYYYYYY, as
> Expression Fraction Complex Integer and Expression Complex Fraction
> Integer or others.
What does "Expression(X)" actually tell you? Why the X at all?
Is the imaginary i an element of Expression(Integer)?
Ralf
(1) -> a: Expression(Integer) := sqrt(-1)
+---+
(1) \|- 1
Type: Expression Integer
(2) -> b: Expression(Integer) := %i
There are 1 exposed and 0 unexposed library operations named complex
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op complex
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
complex with argument type(s)
NonNegativeInteger
PositiveInteger
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(2) -> c: Complex Integer := %i
(2) %i
Type: Complex Integer
(3) -> b:=c::Expression(Integer)
Cannot convert from type Complex Integer to Expression Integer for
value
%i
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
