From 1a09e3c8828acff5a8b9c429fb6015476a34db0a Mon Sep 17 00:00:00 2001
From: ThomasBreuer <sam@math.rwth-aachen.de>
Date: Wed, 15 Sep 2021 23:10:13 +0200
Subject: [PATCH] better handling of `RadicalGroup` as obsolete name

---
 doc/ref/obsolete.xml |  5 +++++
 lib/obsolete.gd      | 16 +---------------
 2 files changed, 6 insertions(+), 15 deletions(-)

diff --git a/doc/ref/obsolete.xml b/doc/ref/obsolete.xml
index 936f3261917..bc4c12a9e29 100644
--- a/doc/ref/obsolete.xml
+++ b/doc/ref/obsolete.xml
@@ -152,6 +152,7 @@ Here are some further name changes.
 <Index Key="NormedVectors"><C>NormedVectors</C></Index>
 <Index Key="MutableIdentityMat"><C>MutableIdentityMat</C></Index>
 <Index Key="MutableNullMat"><C>MutableNullMat</C></Index>
+<Index Key="RadicalGroup"><C>RadicalGroup</C></Index>
 <Table Align="l|l">
 <Row>
   <Item><E>OLD</E></Item>
@@ -178,6 +179,10 @@ Here are some further name changes.
   <Item><C>MultRowVector</C></Item>
   <Item><Ref Oper="MultVectorLeft"/></Item>
 </Row>
+<Row>
+  <Item><C>RadicalGroup</C></Item>
+  <Item><Ref Attr="SolvableRadical"/></Item>
+</Row>
 </Table>
 
 
diff --git a/lib/obsolete.gd b/lib/obsolete.gd
index 85c70a3c3da..ac1deb7ec60 100644
--- a/lib/obsolete.gd
+++ b/lib/obsolete.gd
@@ -762,20 +762,6 @@ DeclareSynonym( "FirstOp", First );
 ##
 #A  RadicalGroup( <G> )
 ##
-##  <ManSection>
-##  <Attr Name="RadicalGroup" Arg='G'/>
-##
-##  <Description>
-##  is the radical of <A>G</A>, i.e., the largest solvable normal subgroup of <A>G</A>.
-##  <Example><![CDATA[
-##  gap> RadicalGroup(SL(2,5));
-##  <group of 2x2 matrices of size 2 over GF(5)>
-##  gap> Size(last);
-##  2
-##  ]]></Example>
-##  </Description>
-##  </ManSection>
-##
-##  'RadicalGroup' was documented until version 4.11.1.
+##  'RadicalGroup' was renamed in GAP 4.12.
 ##
 DeclareObsoleteSynonym( "RadicalGroup", "SolvableRadical" );