FiniteGraph(S): Category == Definition where
S: SetCategory
<snip>
hasTest:()->OutputForm
add
<snip>
hasTest():OutputForm ==
vconcat([_
hconcat(outputForm("S has DirectedGraph(String)"),_
(S has DirectedGraph(String))::OutputForm),_
hconcat(outputForm("S has FiniteGraph(String)"),_
(S has FiniteGraph(String))::OutputForm),_
hconcat(outputForm("S has DirectedGraph(SetCategory)"),_
(S has DirectedGraph(SetCategory))::OutputForm),_
hconcat(outputForm("S has FiniteGraph(SetCategory)"),_
(S has FiniteGraph(SetCategory))::OutputForm)
])
Have you noticed that your program should actually *not* even compile?
Writing
FiniteGraph(SetCategory)
is wrong, since the argument of FiniteGraph has to be
"of type SetCategory" and not SetCategory itself.
Ralf
--
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.
