I've not read all the comments, but i have a question/suggestion.

 

May it be that we are missign the coordinization of TIME and FUEL?

Let's make more simple:

 

10:00 AM : LONDON

11:00 AM : PARIS

12:AM : ROME

 

In this case TIME is not a "continous variable", it's discrete.

So, to be able to move to algebra to make calculus we need a function to move TIME frome discrete to continous, as we did with the POSTISIONS (cities).

 

EDIT: to clarify. TIME in the timesheet is only a set of values. We can call them TIME_A, TIME_B, TIME_C. We need to apply a coordinization to TIME and FUEL as well. I think that the misleading is that that function is identity.

 

So to answer Erik question:

F :: (A -> B) -> (FA -> FB)

i think A -> B is the lookup table itself.

Then FA -> FB is the function that allows to compute position from time in the algebric way.

In this way F, the coordinization, should be well defined. Cool

 

 

P.S.: sorry if i mispelled somthing, but is the first time ever that i talk math in english Big Smile

P.S.S.: sorry if i wrote a lot of  rubbish. Embarassed