Please, how to add an user category instance for Integer ?
I have
)abbrev category DPARSE DParse
DParse() : Category == Join(Type) with
dParseL : List String -> Product(%, List String)
and need to assert and implement the instance of DParse for Integer.
After this, it must be possible to apply, for example,
dParseL(["(", "I", "12", ")"]) : Product(Integer, List String)
--> (12, [])
May be, this needs to define a domain Integer1 which includes
Integer and adds the assertion and implementation of DParse:
)abbrev domain INTEGER1 Integer1
Integer1(): Exports == Implementation where
Exports == DParse() -- `with' ?
Implementation == Integer add
rep := Integer
dParseL(lexs : List String) : Product(%, List String) ==
construct(0, []) $ Product(%, List String)
--
-- dummy implementation, for testing
Of course, this fails to compile.
Can you, please, correct this?
Thanks,
------
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.
