magma3 http://www.openmath.org/cd http://www.openmath.org/cd/magma3.ocd 2006-06-01 2004-06-01 1 2 experimental Basic functions for magma theory Initiated by Arjeh M. Cohen 2003-10-03 Edited by AMC 2004-03-02 automorphism_group This is a function with a single argument which must be a magma. It refers to the automorphism group of its argument. direct_product This is an n-ary function whose arguments must be magmas. It refers to the direct product of its arguments. free_magma This symbol represents a binary function. The argument is a list or a set. When evaluated on such an argument, the function represents the free magma generated by the entries of the list or set. The free magma on the letters a, b: