I'm trying to understand the difference between the next two dummy
packages. The first one
)abbrev package TST Test
Test(R: Ring): with
g : Float -> Float
== add
g y == y
and it works as I expect:
(4) -> g 12
(4) 12.0
Type: Float
but a slightly different version
)abbrev package TST Test
Test(R: Algebra(Float)): with
g : Float -> Float
== add
g y == y
doesn't work:
(6) -> g 12
There are 1 exposed and 0 unexposed library operations named
g having 1 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op g
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 g with argument type(s)
PositiveInteger
Perhaps you should use "@" to indicate the required return
type, or "$" to specify which version of the function you
need.
What is the difference?
--
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.
