// $Id$

$functor Prime-Product (G1 : Group) (G2 : Group) : Group;

E = (<G1.E> <G2.E>);

"*" (s11 s12) (s21 s22) = (<G1."*" s11 s21> <G2."*" s12 s22>);


$functor PP-Zn-Zm (P1 : { $const N = s; }) (P2 : { $const N = s; }) : Group;

$module PP = Prime-Product (Zn (P1)) (Zn (P2));

$use PP;

E = <PP.E>;

"*" t1 t2 = <PP."*" t1 t2>;