Hello,
Here is a typical computational task.
Given bases of two abelian groups A_1 and A_2, A_2 \subset A_1,
compute the structure of A_1/A_2.
For instance, if A_1 has a basis {a - b, c} and A_2 has a basis
{a - b - c, -a + b - c}, then A_1/A_2 is isomorphic to Z/2Z.
I'm wondering, is there a straightforward formulation and solution
of this problem in terms of the GAP system?
Thank you.
-- Lyosha
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
