Implement == for algebra

JuliaAlgebra · May 27, 2024 · 48ab7c1 · 48ab7c1
1 parent 8255fe5
commit 48ab7c1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/arithmetic.jl b/src/arithmetic.jl
@@ -91,7 +91,7 @@ function MA.operate_to!(
     X::AlgebraElement,
     Y::AlgebraElement,
 )
-    @assert parent(res) === parent(X) === parent(Y)
+    @assert parent(res) == parent(X) == parent(Y)
     MA.operate_to!(coeffs(res), -, coeffs(Y))
     MA.operate_to!(coeffs(res), +, coeffs(res), coeffs(X))
     return res
@@ -103,7 +103,7 @@ function MA.operate_to!(
     X::AlgebraElement,
     Y::AlgebraElement,
 )
-    @assert parent(res) === parent(X) === parent(Y)
+    @assert parent(res) == parent(X) == parent(Y)
     mstr = mstructure(basis(parent(res)))
     MA.operate_to!(coeffs(res), mstr, coeffs(X), coeffs(Y))
     return res

diff --git a/src/types.jl b/src/types.jl
@@ -26,6 +26,9 @@ end
 
 basis(A::StarAlgebra) = A.basis
 object(A::StarAlgebra) = A.object
+function Base.:(==)(a::StarAlgebra, b::StarAlgebra)
+    return a.basis == b.basis
+end
 
 struct AlgebraElement{A,T,V} <: MA.AbstractMutable
     coeffs::V