Adapt some show functions

Project.toml

@@ -19,12 +19,12 @@ lib4ti2_jll = "1493ae25-0f90-5c0e-a06c-8c5077d6d66f"
 libsingular_julia_jll = "ae4fbd8f-ecdb-54f8-bbce-35570499b30e"
 
 [compat]
-AbstractAlgebra = "0.40.8"
+AbstractAlgebra = "0.41"
 BinaryWrappers = "~0.1.1"
 CxxWrap = "0.14"
 Libdl = "1.6"
 LinearAlgebra = "1.6"
-Nemo = "0.43"
+Nemo = "0.44"
 Pidfile = "1.3"
 Pkg = "1.6"
 Random = "1.6"

docs/src/GF.md

@@ -59,7 +59,7 @@ Singular.degree(::N_GField)
 
 ```jldoctest
 julia> R,w = FiniteField(7, 2, "w")
-(Finite Field of Characteristic 7 and degree 2, w)
+(Finite field of characteristic 7 and degree 2, w)
 
 julia> w^48 == 1
 true

docs/src/alghom.md

@@ -35,7 +35,7 @@ IdentityAlgebraHomomorphism(D::PolyRing)
 
 ```jldoctest
 julia> L = FiniteField(3, 2, "a")
-(Finite Field of Characteristic 3 and degree 2, a)
+(Finite field of characteristic 3 and degree 2, a)
 
 julia> R, (x, y, z, w) = polynomial_ring(L[1], ["x", "y", "z", "w"];
  ordering=:negdegrevlex)

docs/src/caller.md

@@ -70,7 +70,7 @@ julia> Singular.LibNctools.isCentral(x) # base ring A is inferred from x
 0
 
 julia> Singular.LibCentral.center(A, 3) # base ring cannot be inferred from the plain Int 3
-Singular ideal over Singular G-Algebra (QQ),(x,y,z,t),(dp(4),C) with generators (t, 4*x*y + z^2 - 2*z)
+Singular ideal over Singular G-algebra (QQ),(x,y,z,t),(dp(4),C) with generators (t, 4*x*y + z^2 - 2*z)
 ```
 
 ## Global Interpreter Variables

docs/src/ideal.md

@@ -363,12 +363,10 @@ julia> I = Ideal(R, x^2*y + 2y + 1, y^2 + 1)
 Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x^2*y + 2*y + 1, y^2 + 1)
 
 julia> F1 = fres(std(I), 0)
-Singular Resolution:
-R^1 <- R^2 <- R^1
+Singular resolution: R^1 <- R^2 <- R^1
 
 julia> F2 = sres(std(I), 2)
-Singular Resolution:
-R^1 <- R^2 <- R^1
+Singular resolution: R^1 <- R^2 <- R^1
 ```
 
 ### Differential operations

docs/src/index.md

@@ -53,12 +53,11 @@ julia> G = std(I)
 Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x - y, y^2 + 1)
 
 julia> Z = syz(G)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 y^2*gen(1)-x*gen(2)+y*gen(2)+gen(1)
 
 julia> F = fres(G, 0)
-Singular Resolution:
-R^1 <- R^2 <- R^1
+Singular resolution: R^1 <- R^2 <- R^1
 
 julia> F[1]
 Singular ideal over Singular polynomial ring (QQ),(x,y),(dp(2),C) with generators (x - y, y^2 + 1)

docs/src/modp.md

@@ -65,7 +65,7 @@ Coerce a Singular or Flint integer value into the field.
 
 ```jldoctest
 julia> R = Fp(23)
-Finite Field of Characteristic 23
+Finite field of characteristic 23
 
 julia> a = R(5)
 5
@@ -90,7 +90,7 @@ $[0, p)$.
 
 ```jldoctest
 julia> R = Fp(23)
-Finite Field of Characteristic 23
+Finite field of characteristic 23
 
 julia> a = R(5)
 5

docs/src/module.md

@@ -77,7 +77,7 @@ julia> v2 = vector(R, x^2 + 1, 2x + 3y, x)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 
 julia> M = Singular.Module(R, v1, v2)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 ```
@@ -116,7 +116,7 @@ julia> v2 = vector(R, x^2 + 1, 2x + 3y, x)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 
 julia> M = Singular.Module(R, v1, v2)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 
@@ -162,13 +162,13 @@ julia> v3 = x*v1 + y*v2 + vector(R, x, y + 1, y^2)
 x^2*y*gen(2)+x^2*y*gen(1)+x^2*gen(1)+2*x*y*gen(3)+2*x*y*gen(2)+y^2*gen(3)+3*y^2*gen(2)+x*gen(2)+2*x*gen(1)+y*gen(2)+y*gen(1)+gen(2)
 
 julia> M = Singular.Module(R, v1, v2, v3)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 x^2*y*gen(2)+x^2*y*gen(1)+x^2*gen(1)+2*x*y*gen(3)+2*x*y*gen(2)+y^2*gen(3)+3*y^2*gen(2)+x*gen(2)+2*x*gen(1)+y*gen(2)+y*gen(1)+gen(2)
 
 julia> G = std(M; complete_reduction=true)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 y^2*gen(3)+x*gen(1)+y*gen(2)+gen(2)
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
@@ -199,24 +199,24 @@ julia> v = y*v1+x*v2+z*v3
 x^2*gen(3)-y^2*gen(3)+x*z*gen(2)-x*z*gen(1)+y*z*gen(2)+y*z*gen(1)
 
 julia> M = Singular.Module(R, v1, v2, v3)
-Singular Module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with generators:
 -y*gen(3)+z*gen(2)
 x*gen(3)-z*gen(1)
 x*gen(2)+y*gen(1)
 
 julia> B = std(M; complete_reduction=true)
-Singular Module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with generators:
 y*gen(3)-z*gen(2)
 x*gen(2)+y*gen(1)
 x*gen(3)-z*gen(1)
 y*z*gen(1)
 
 julia> V = Singular.Module(R, v)
-Singular Module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with generators:
 x^2*gen(3)-y^2*gen(3)+x*z*gen(2)-x*z*gen(1)+y*z*gen(2)+y*z*gen(1)
 
 julia> reduce(V,B)
-Singular Module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y,z),(dp(3),C), with generators:
 0
 
 ```
@@ -240,12 +240,12 @@ julia> v2 = vector(R, (x + 1)*x, (x*y + 1)*x, x)
 x^2*y*gen(2)+x^2*gen(1)+x*gen(3)+x*gen(2)+x*gen(1)
 
 julia> M = Singular.Module(R, v1, v2)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y^2*gen(2)+x*y*gen(1)+y*gen(3)+y*gen(2)+y*gen(1)
 x^2*y*gen(2)+x^2*gen(1)+x*gen(3)+x*gen(2)+x*gen(1)
 
 julia> Z = syz(M)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*gen(1)-y*gen(2)
 ```
 
@@ -268,13 +268,12 @@ julia> v2 = vector(R, x^2 + 1, 2x + 3y, x)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 
 julia> M = std(Singular.Module(R, v1, v2))
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^2*gen(1)+x*gen(3)+2*x*gen(2)+3*y*gen(2)+gen(1)
 
 julia> F = sres(M, 0)
-Singular Resolution:
-R^3 <- R^2
+Singular resolution: R^3 <- R^2
 
 julia> M1 = Singular.Matrix(M)
 [x + 1, x^2 + 1
@@ -308,12 +307,12 @@ julia> v2 = vector(R, x^5 + 1, 2x^3 + 3y^2, x^2)
 x^5*gen(1)+2*x^3*gen(2)+x^2*gen(3)+3*y^2*gen(2)+gen(1)
 
 julia> M = Singular.Module(R, v1, v2)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 x^5*gen(1)+2*x^3*gen(2)+x^2*gen(3)+3*y^2*gen(2)+gen(1)
 
 julia> N = jet(M,3)
-Singular Module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(dp(2),C), with generators:
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
 2*x^3*gen(2)+x^2*gen(3)+3*y^2*gen(2)+gen(1)
 ```
@@ -346,7 +345,7 @@ julia> v3 = v1 + v2
 y*gen(2)+y*gen(1)
 
 julia> M = Singular.Module(R, v1, v2, v3)
-Singular Module over Singular polynomial ring (QQ),(x,y),(ds(2),C), with Generators:
+Singular module over Singular polynomial ring (QQ),(x,y),(ds(2),C), with generators:
 x*gen(1)+y^2*gen(2)
 -x*gen(1)+y*gen(2)+y*gen(1)-y^2*gen(2)
 y*gen(2)+y*gen(1)

docs/src/noncommutative.md

@@ -72,7 +72,7 @@ matrix with all relevant entries set to `a`.
 julia> R, (x, y) = polynomial_ring(QQ, ["x", "y"]);
 
 julia> G, (x, y) = GAlgebra(R, 2, Singular.Matrix(R, [0 x; 0 0]))
-(Singular G-Algebra (QQ),(x,y),(dp(2),C), spluralg{n_Q}[x, y])
+(Singular G-algebra (QQ),(x,y),(dp(2),C), spluralg{n_Q}[x, y])
 
 julia> y*x
 2*x*y + x
@@ -90,10 +90,10 @@ by a two-sided ideal. Continuing with the above example:
 
 ```jldoctest GAlgebra
 julia> I = Ideal(G, [x^2 + y^2], twosided = true)
-Singular two-sided ideal over Singular G-Algebra (QQ),(x,y),(dp(2),C) with generators (x^2 + y^2)
+Singular two-sided ideal over Singular G-algebra (QQ),(x,y),(dp(2),C) with generators (x^2 + y^2)
 
 julia> Q, (x, y) = QuotientRing(G, std(I))
-(Singular G-Algebra Quotient Ring (QQ),(x,y),(dp(2),C), spluralg{n_Q}[x, y])
+(Singular G-algebra quotient ring (QQ),(x,y),(dp(2),C), spluralg{n_Q}[x, y])
 ```
 
 ### WeylAlgebra
@@ -122,7 +122,7 @@ that due to the ordering constraint on G-algebras, the orderings `:neglex`,
 
 ```jldoctest
 julia> R, (x, y, dx, dy) = WeylAlgebra(ZZ, ["x", "y"])
-(Singular G-Algebra (ZZ),(x,y,dx,dy),(dp(4),C), spluralg{n_Z}[x, y, dx, dy])
+(Singular G-algebra (ZZ),(x,y,dx,dy),(dp(4),C), spluralg{n_Z}[x, y, dx, dy])
 
 julia> (dx*x, dx*y, dy*x, dy*y)
 (x*dx + 1, y*dx, x*dy, y*dy + 1)
@@ -132,7 +132,7 @@ The ideals of G-algebras are left ideals by default.
 
 ```jldoctest
 julia> R, (x1, x2, x3, d1, d2, d3) = WeylAlgebra(QQ, ["x1" "x2" "x3"; "d1" "d2" "d3"])
-(Singular G-Algebra (QQ),(x1,x2,x3,d1,d2,d3),(dp(6),C), spluralg{n_Q}[x1, x2, x3, d1, d2, d3])
+(Singular G-algebra (QQ),(x1,x2,x3,d1,d2,d3),(dp(6),C), spluralg{n_Q}[x1, x2, x3, d1, d2, d3])
 
 julia> gens(std(Ideal(R, [x1^2*d2^2 + x2^2*d3^2, x1*d2 + x3])))
 7-element Vector{spluralg{n_Q}}:
@@ -166,7 +166,7 @@ ordering must be global.
 
 ```jldoctest
 julia> R, (x, y) = FreeAlgebra(QQ, ["x", "y"], 5)
-(Singular letterplace Ring (QQ),(x,y,x,y,x,y,x,y,x,y),(dp(10),C,L(3)), slpalg{n_Q}[x, y])
+(Singular letterplace ring (QQ),(x,y,x,y,x,y,x,y,x,y),(dp(10),C,L(3)), slpalg{n_Q}[x, y])
 
 julia> (x*y)^2
 x*y*x*y
@@ -180,7 +180,7 @@ possibility of constructing one-sided ideals.
 
 ```jldoctest
 julia> R, (x, y, z) = FreeAlgebra(QQ, ["x", "y", "z"], 4)
-(Singular letterplace Ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z),(dp(12),C,L(3)), slpalg{n_Q}[x, y, z])
+(Singular letterplace ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z),(dp(12),C,L(3)), slpalg{n_Q}[x, y, z])
 
 julia> gens(std(Ideal(R, [x*y + y*z, x*x + x*y - y*x - y*y])))
 8-element Vector{slpalg{n_Q}}:
@@ -204,7 +204,7 @@ represented using commutative data structures, and the function
 
 ```jldoctest
 julia> R, (x, y, dx, dy) = WeylAlgebra(QQ, ["x", "y"])
-(Singular G-Algebra (QQ),(x,y,dx,dy),(dp(4),C), spluralg{n_Q}[x, y, dx, dy])
+(Singular G-algebra (QQ),(x,y,dx,dy),(dp(4),C), spluralg{n_Q}[x, y, dx, dy])
 
 julia> p = (dx + dy)*(x + y)
 x*dx + y*dx + x*dy + y*dy + 2
@@ -223,7 +223,7 @@ iterators have the same behavior as in the commutative case.
 
 ```jldoctest
 julia> R, (x, y, z) = FreeAlgebra(QQ, ["x", "y", "z"], 6)
-(Singular letterplace Ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z,x,y,z,x,y,z),(dp(18),C,L(3)), slpalg{n_Q}[x, y, z])
+(Singular letterplace ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z,x,y,z,x,y,z),(dp(18),C,L(3)), slpalg{n_Q}[x, y, z])
 
 julia> p = (1 + x*z + y)^2
 x*z*x*z + x*z*y + y*x*z + y^2 + 2*x*z + 2*y + 1
@@ -241,7 +241,7 @@ julia> show(collect(exponent_words(p)))
 [[1, 3, 1, 3], [1, 3, 2], [2, 1, 3], [2, 2], [1, 3], [2], Int64[]]
 
 julia> B = MPolyBuildCtx(R)
-Builder for an element of Singular letterplace Ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z,x,y,z,x,y,z),(dp(18),C,L(3))
+Builder for an element of Singular letterplace ring (QQ),(x,y,z,x,y,z,x,y,z,x,y,z,x,y,z,x,y,z),(dp(18),C,L(3))
 
 julia> push_term!(B, QQ(2), [3,2,1,3]);
 

docs/src/resolution.md

@@ -108,8 +108,7 @@ julia> I = Ideal(R, w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 Singular ideal over Singular polynomial ring (QQ),(w,x,y,z),(dp(4),C) with generators (w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 
 julia> F = fres(std(I), 0)
-Singular Resolution:
-R^1 <- R^5 <- R^6 <- R^2
+Singular resolution: R^1 <- R^5 <- R^6 <- R^2
 
 julia> n = length(F)
 3
@@ -134,12 +133,10 @@ julia> I = Ideal(R, w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 Singular ideal over Singular polynomial ring (QQ),(w,x,y,z),(dp(4),C) with generators (w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 
 julia> F = fres(std(I), 3)
-Singular Resolution:
-R^1 <- R^5 <- R^6 <- R^2
+Singular resolution: R^1 <- R^5 <- R^6 <- R^2
 
 julia> M = minres(F)
-Singular Resolution:
-R^1 <- R^5 <- R^5 <- R^1
+Singular resolution: R^1 <- R^5 <- R^5 <- R^1
 
 julia> B = betti(M)
 3×4 Matrix{Int32}:
@@ -164,11 +161,9 @@ julia> I = Ideal(R, w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 Singular ideal over Singular polynomial ring (QQ),(w,x,y,z),(dp(4),C) with generators (w^2 - x*z, w*x - y*z, x^2 - w*y, x*y - z^2, y^2 - w*z)
 
 julia> F = fres(std(I), 3)
-Singular Resolution:
-R^1 <- R^5 <- R^6 <- R^2
+Singular resolution: R^1 <- R^5 <- R^6 <- R^2
 
 julia> M = minres(F)
-Singular Resolution:
-R^1 <- R^5 <- R^5 <- R^1
+Singular resolution: R^1 <- R^5 <- R^5 <- R^1
 ```
 

docs/src/transExt.md

@@ -60,13 +60,13 @@ Coerce a Flint integer value into the field.
 
 ```jldoctest
 julia> F1, (a, b, c) = FunctionField(QQ, ["a", "b", "c"])
-(Function Field over Rational Field with transcendence basis n_transExt[a, b, c], n_transExt[a, b, c])
+(Function field over Rational field with transcendence basis n_transExt[a, b, c], n_transExt[a, b, c])
 
 julia> x1 = a*b + c
 a*b + c
 
 julia> F2, (a1, a2, a3) = FunctionField(Fp(5), 3)
-(Function Field over Finite Field of Characteristic 5 with transcendence basis n_transExt[a1, a2, a3], n_transExt[a1, a2, a3])
+(Function field over Finite field of characteristic 5 with transcendence basis n_transExt[a1, a2, a3], n_transExt[a1, a2, a3])
 
 julia> x2 = a1^5 + a2*a3^4
 a1^5 + a2*a3^4
@@ -98,7 +98,7 @@ n_transExt_to_spoly(x::n_transExt; parent::PolyRing)
 
 ```jldoctest
 julia> F1, (a, b, c) = FunctionField(QQ, ["a", "b", "c"])
-(Function Field over Rational Field with transcendence basis n_transExt[a, b, c], n_transExt[a, b, c])
+(Function field over Rational field with transcendence basis n_transExt[a, b, c], n_transExt[a, b, c])
 
 julia> x = F1(5)*a
 5*a
@@ -122,7 +122,7 @@ julia> p = n_transExt_to_spoly(y, parent_ring = S)
 a^2*b + a*b + b^2
 
 julia> F2, = FunctionField(Fp(7), 4)
-(Function Field over Finite Field of Characteristic 7 with transcendence basis n_transExt[a1, a2, a3, a4], n_transExt[a1, a2, a3, a4])
+(Function field over Finite field of characteristic 7 with transcendence basis n_transExt[a1, a2, a3, a4], n_transExt[a1, a2, a3, a4])
 
 julia> B = transcendence_basis(F2)
 4-element Vector{n_transExt}:

docs/src/vector.md

@@ -71,7 +71,7 @@ julia> R, (x, y) = polynomial_ring(QQ, ["x", "y"])
 (Singular polynomial ring (QQ),(x,y),(dp(2),C), spoly{n_Q}[x, y])
 
 julia> M = FreeModule(R, 3)
-Free Module of rank 3 over Singular polynomial ring (QQ),(x,y),(dp(2),C)
+Free module of rank 3 over Singular polynomial ring (QQ),(x,y),(dp(2),C)
 
 julia> v2 = M([x + 1, x*y + 1, y])
 x*y*gen(2)+x*gen(1)+y*gen(3)+gen(2)+gen(1)
@@ -98,7 +98,7 @@ julia> R, (x, y) = polynomial_ring(QQ, ["x", "y"])
 (Singular polynomial ring (QQ),(x,y),(dp(2),C), spoly{n_Q}[x, y])
 
 julia> M = FreeModule(R, 5)
-Free Module of rank 5 over Singular polynomial ring (QQ),(x,y),(dp(2),C)
+Free module of rank 5 over Singular polynomial ring (QQ),(x,y),(dp(2),C)
 
 julia> v = gens(M)
 5-element Vector{svector{spoly{n_Q}}}:

src/Singular.jl

@@ -46,7 +46,7 @@ import AbstractAlgebra: AbstractAlgebra, diagonal_matrix, factor,
  identity_matrix, kernel, number_of_columns, ncols, number_of_generators, ngens, number_of_rows, nrows, order,
  preimage, zero_matrix, expressify
 
-import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent
+import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent, terse, is_terse
 
 import Nemo: add!, addeq!, base_ring, canonical_unit,
  change_base_ring, characteristic, check_parent, codomain,