Dear Waldek,
do you happen to know why
)abbrev package EXPORT ExportType
ExportType(x: Ring): with
baseRing: () -> Ring
== add
baseRing() == x
works, but
)abbrev domain USE UseType
UseType: with
useRing: Ring -> Integer
== add
useRing R == 1
doesn't?
Martin
(2) -> )co test.spad )co USE
(2) -> )sh USE
UseType is a package constructor
Abbreviation for UseType is USE
This constructor is exposed in this frame.
-------------------------------Operations --------------------------------
useRing : Ring -> Integer
(2) -> useRing(Integer)$USE
There are 1 exposed and 0 unexposed library operations named useRing
having 1 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op useRing
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
useRing with argument type(s)
Domain
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
-~----------~----~----~----~------~----~------~--~---
