Function: min
Section: operators
C-Name: gmin
Prototype: GG
Help: min(x,y): minimum of x and y.
Description:
(small, small):small minss($1, $2)
(small, int):int gminsg($1, $2)
(int, small):int gmings($1, $2)
(int, int):int gmin($1, $2)
(small, mp):mp gminsg($1, $2)
(mp, small):mp gmings($1, $2)
(mp, mp):mp gmin($1, $2)
(small, gen):gen gminsg($1, $2)
(gen, small):gen gmings($1, $2)
(gen, gen):gen gmin($1, $2)
Doc: creates the minimum of $x$ and $y$ when they can be compared.