First-class functions/Use numbers analogously: Difference between revisions

m
Line 63:
(numbers,invers) := ([x,y,z],[xi,yi,zi])
multiplier(a:Float,b:Float):(Float->Float) == (m +-> a*b*m)
[(multiplier(number,inver)) 0.5 for number in numbers for inver in invers]
</lang>Output:
<lang Axiom> [0.5,0.5,0.5]
136

edits