Parent Directory | Revision Log
Links to HEAD: | (view) (download) (annotate) |
Sticky Revision: |
Defined "group builder" group_bvd{'h; 'g; 's} which build a group h from group g where the underlying set of h is s, the operation and equivalence relation in h are the same as in g. The only use for the introduction of group_bvd is to make codes cleaner, nicer, or easier to understand. (See examples in Czf_itt_subgroup, Czf_itt_cyclic_subgroup, and Czf_itt_hom.)
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.
ViewVC Help | |
Powered by ViewVC 1.1.26 |