Please, could you explain the below simple issues about the domain
system and function types in Spad ?
1. I try the possibility of mySelect2 below:
-------------------------- t.spad -------------------------------
)abbrev package FOO Foo
Foo() : with
mySelect1 : SetCategory -> Any
mySelect2 : (D : SetCategory) -> D
==
add
mySelect1(D : SetCategory) : Any ==
has(D, Field) => coerce(1 :: D) $AnyFunctions1(D)
mySelect2(D : SetCategory) : D ==
has(D, Field) => 1 :: D
-----------------------------------------------------------------
Is anything wrong in this Spad program?
It is compiled, but then, I fail to run it in the interpreter.
All these fail:
-> mySelect1(Fraction(Integer))
-> mySelect1(Fraction(Integer)) :: Fraction(Integer)
-> mySelect1(Fraction(Integer)) :: Any
-> coerce(mySelect1(Fraction(Integer))) $AnyFunctions1(Fraction(Integer))
...
,
and the same is with mySelect2.
How to run mySelect1 and mySelect2 ?
Thank you in advance for explanation,
------
Sergei
[email protected]
--
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.
