|
)abbrev package TESTP TestPackage
|
|
TestPackage(R:Field) : with
|
|
mapRange: (Segment(R), Segment(R)) -> (R->R)
|
|
== add
|
|
mapRange(fromRange, toRange) ==
|
|
(a1,a2,b1,b2) := (lo fromRange,hi fromRange,lo toRange,hi toRange)
|
|
(x:R):R +-> b1+(x-a1)*(b2-b1)/(a2-a1)
|