f := upp( period ( [(0, 0) 0 (2, 0)[ [(2, 0) 1 (7, 5)] ](7, 5) 0 ( 12, 5 )[ ))
g := (f + 1) * (f - 1)
h := ((f + 1) (f - 1))
assert( g = h )
