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:
>
>> Hi
>>
>> 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.
>>
>> John
>>
>
>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.