12 lines
204 B
Plaintext
12 lines
204 B
Plaintext
IMPLEMENTATION MathHOF
|
|
|
|
IMPORT Real COMPLETELY
|
|
|
|
DEF shiftX == \\f,x,deltaX. f(x-deltaX)
|
|
|
|
DEF mirrorY == \\f,x. 0-f(x)
|
|
|
|
DEF myCos == \\x. shiftX(sin,x,0-pi/2)
|
|
|
|
DEF myCot == \\x. myCos(x)/sin(x)
|