freealg
objectabelianize.Rd
Function abelianize()
returns a freealg
object that is
equivalent to its argument under assumption of Abelianness. The symbols
are placed in alphabetical order.
abelianize(x)
Abelianizing a free group element means that the symbols can commute past one another. Abelianization is vectorized.
Returns an object of class freealg
.
There is a very similar function in the freegroup package. However, the frab package is the best way to work with the free Abelian group.
abelianize(as.freealg("ba + 2abbba + 3abAB"))
#> free algebra element algebraically equal to
#> + 3 + 2aabbb + ab
abelianize(.[rfalg(),rfalg()])
#> free algebra element algebraically equal to
#> 0