From 2b8dc367eb79698adf39d4fd816dabbeb6d49614 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Thu, 11 Dec 2025 09:31:16 +0100
Subject: [PATCH] Adapt `is_square` docstring

---
 src/NCRings.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/NCRings.jl b/src/NCRings.jl
index 7a1a854fba..24a9c40ede 100644
--- a/src/NCRings.jl
+++ b/src/NCRings.jl
@@ -177,12 +177,12 @@ end
 
 
 @doc raw"""
-    is_square(a::T)  where {T <: NCRingElement}
+    is_square(a::NCRingElement)
 
 Return `true` iff `a` is the square of a value in its own ring.
 See also `is_square(M::MatElem)` which tests whether a matrix has square shape.
 """
-function is_square end
+is_square(::NCRingElement)
 
 @doc raw"""
     sqrt(a::NCRingElem; check::Bool=true)