diff --git a/lib/ringpoly.gd b/lib/ringpoly.gd index 069503b518..4b4e4575f6 100644 --- a/lib/ringpoly.gd +++ b/lib/ringpoly.gd @@ -291,9 +291,7 @@ DeclareAttribute( "CoefficientsRing", IsPolynomialRing ); ## (also avoiding the indeterminates in avoid if given). ##
## is simply a synonym for -## . However, -## we do not recommend to use this synonym which is supported only for the -## backwards compatibility. +## . ## ##