free_associative_algebra.md

CurrentModule = Oscar

Free Associative Algebras

Two-sided ideals

Types

The OSCAR type for two-sided ideals in a free associative algebra is FreeAssAlgIdeal{T}, where T is the element type of the algebra.

Constructors

ideal(R::FreeAssAlgebra, g::Vector{T}) where T <: FreeAssAlgElem
ideal(g::Vector{T}) where T <: FreeAssAlgElem

Ideal Membership

ideal_membership(a::FreeAssAlgElem, I::FreeAssAlgIdeal, deg_bound::Int)