Please find attached a little modification of your code.
Unfortunately, I am still unable to use "embed1".
(4) -> Z2:=CyclicGroup(2,'a)
(4) CyclicGroup(2,a)
Type: Domain
(5) -> Z3:=CyclicGroup(3,'b)
(5) CyclicGroup(3,b)
Type: Domain
(6)
Hello,
There are many easy examples of this when you use the Axiom interpreter.
Perhaps the following is related:
Trying to implement free products of monoids
FreeProductMonoid(M1:Monoid,M2:Monoid)
(see attachment, not very elegant, but I don't know how to avoid "mixed
lists" otherwise). I am
