expressify n_Z, n_Q , n_Zn, n_Zp

src/number/n_Q.jl

@@ -106,6 +106,10 @@ function show(io::IO, c::Rationals)
    print(io, "Rational Field")
 end
 
+function AbstractAlgebra.expressify(n::n_Q; context = nothing)::Any
+  return AbstractAlgebra.expressify(Rational{BigInt}(n), context = context)
+end
+
 function show(io::IO, n::n_Q)
     libSingular.StringSetS("")
 

src/number/n_Z.jl

@@ -102,6 +102,10 @@ function show(io::IO, c::Integers)
    print(io, "Integer Ring")
 end
 
+function AbstractAlgebra.expressify(n::n_Z; context = nothing)::Any
+  return AbstractAlgebra.expressify(BigInt(n), context = context)
+end
+
 function show(io::IO, n::n_Z)
    libSingular.StringSetS("")
 

src/number/n_Zn.jl

@@ -89,6 +89,14 @@ function show(io::IO, c::N_ZnRing)
    print(io, "Residue Ring of Integer Ring modulo ", characteristic(c))
 end
 
+function AbstractAlgebra.expressify(n::n_Zn; context = nothing)::Any
+  x = BigInt()
+  GC.@preserve n begin
+    ccall((:__gmpz_set, :libgmp), Cvoid, (Ref{BigInt},  Ptr{Any}), x, n.ptr.cpp_object)
+  end
+  return AbstractAlgebra.expressify(x, context = context)
+end
+
 function show(io::IO, n::n_Zn)
    libSingular.StringSetS("")
    libSingular.n_Write(n.ptr, parent(n).ptr, false)

src/number/n_Zp.jl

@@ -80,6 +80,11 @@ function show(io::IO, c::N_ZpField)
    print(io, "Finite Field of Characteristic ", characteristic(c))
 end
 
+function AbstractAlgebra.expressify(n::n_Zp; context = nothing)::Any
+  nn = rem(Int(n), characteristic(parent(x)), RoundNearest)
+  return AbstractAlgebra.expressify(nn, context = context)
+end
+
 function show(io::IO, n::n_Zp)
    libSingular.StringSetS("")
    libSingular.n_Write(n.ptr, parent(n).ptr, false)

src/poly/poly.jl

@@ -362,6 +362,12 @@ function show(io::IO, a::spoly)
    print(io, s)
 end
 
+# TODO: Remove this once we can properly expressify elements of type n_GF
+function show(io::IO, ::MIME"text/plain", a::spoly{n_GF})
+   s = libSingular.p_String(a.ptr, parent(a).ptr)
+   print(io, s)
+end
+
 show_minus_one(::Type{spoly{T}}) where T <: Nemo.RingElem = show_minus_one(T)
 
 needs_parentheses(x::spoly) = length(x) > 1

test/number/n_Q-test.jl

@@ -65,6 +65,7 @@ end
 
 @testset "n_Q.printing..." begin
    @test string(QQ(123)) == "123"
+   @test sprint(show, "text/plain", (QQ(123))) == "123"
 end
 
 @testset "n_Q.manipulation..." begin

test/number/n_Z-test.jl

@@ -37,6 +37,7 @@ end
 
 @testset "n_Z.printing..." begin
    @test string(ZZ(123)) == "123"
+   @test sprint(show, "text/plain", (ZZ(123))) == "123"
 end
 
 @testset "n_Z.manipulation..." begin

test/number/n_Zn-test.jl

@@ -40,6 +40,8 @@ end
    R = ResidueRing(ZZ, 5)
 
    @test string(R(3)) == "3"
+
+   @test sprint(show, "text/plain", (R(3))) == "3"
 end
 
 @testset "n_Zn.manipulation..." begin

test/number/n_Zp-test.jl

@@ -40,6 +40,8 @@ end
    R = Fp(5)
 
    @test string(R(3)) == "-2"
+
+   @test sprint(show, "text/plain", (R(3))) == "-2"
 end
 
 @testset "n_Zp.manipulation..." begin