Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-03-03 16:45:01 -0800 (Mon, 03 Mar 2003)
Revision: 4151
Log message:
- Defined subset, subStructure (which can be used for semigroup, monoid,
group, etc.), cyclic group (including the power operation for a group
and cyclic subgroups); and proved corresponding theorems.
- Adopted Alexei's new syntax.
- Removed "itt_abelian_group" module, and moved "isCommutative" to "itt_
grouplikeobj".
Note: The subset module is rather incomplete. It only includes what I
currently will use.