Re: [isabelle] Product or function?
The type (real * real) would represent a point, not a graph.
You could represent a graph with (real * real) set, but you'd need to
additionally say that all the first components are distinct.
(real => real) seems a more suitable model.
On Thu, Apr 26, 2012 at 6:31 AM, John Munroe <munddr at gmail.com> wrote:
>> If I want to model a line graph, should I give it the type of a product
>> (real * real) or a function (real => real)? With a product type, would the
>> graph be perceived as a set of pairs?
>> Thanks for the help in advance.
This archive was generated by a fusion of
Pipermail (Mailman edition) and