10 tip:0
11 max(tip:0)
12 min(0:tip)
13 0::
14 min(0::)
15 roots((tip~100::) - (tip~100::tip))
15 ::p1(p1(tip))::
16 ::p1(p1(tip))::