// $Id$

$use Arithm;

$module Z2 : Group;

E = 0;

Inv s1 = <Rem s1 2>;

"*" s1 s2 = <Rem <"+" s1 s2> 2>;


$interface Group0 = Group $where { $func E = 0; };

$module Z3 : Group0;

Inv s1 = <Rem <"-" 3 <Rem s1 3>> 3>;

"*" s1 s2 = <Rem <"+" s1 s2> 3>;


$functor Zn (Param : { $const N = s; }) : Group0;

Inv s1 = <Rem <"-" &N <Rem s1 &N>> &N>;

"*" s1 s2 = <Rem <"+" s1 s2> &N>;