: vmax ( u v -- w ) [ max ] 2map ;
: vmin ( u v -- w ) [ min ] 2map ;
+: vsupremum ( seq -- vmax ) [ ] [ vmax ] map-reduce ;
+: vinfimum ( seq -- vmin ) [ ] [ vmin ] map-reduce ;
+
: v. ( u v -- x ) [ * ] [ + ] 2map-reduce ;
: norm-sq ( v -- x ) [ absq ] [ + ] map-reduce ;
: norm ( v -- x ) norm-sq sqrt ;