The REDUCE algebraic computation system

Let Cl(O_K[G]) denote the locally free class group, that is the group of stable isomorphism classes of locally free O_K[G]-modules, where O_K is the ring of algebraic integers in the number field K and G is a finite group. We show how to compute the Swan ...

Let G be a doubly transitive permutation group on a set X. A doubly homogeneous superscheme is formed by the orbits on the set of triples of X of G. Let α be a point of aset X and let H be a transitive group on X\{α}. Then from the combinatorial ...