Noncommutative Polynomials

Stream: Is there code for X?

[Iván Renison]

Do we have a definition on noncommutative polynomials? I know about FreeAlgebra, but I don't know if we have a definition of noncommutative polynomials similar to the definition of normal polynomials

[Jireh Loreaux]

No, but what would it buy you over FreeAlgebra (besides parallelism between the API)?

[Iván Renison]

I don't know, the parallelism with the Polynomial API would be the main thing. I should read in more detail FreeAlgebra

[Iván Renison]

Thanks

[Iván Renison]

And R⟨X⟩ notation would be nice