Skip to content

Commit

Permalink
Bugfix for Bugfix for printing of affine schemes
Browse files Browse the repository at this point in the history
  • Loading branch information
thofma committed Feb 27, 2024
1 parent 2a87512 commit 7aa000f
Showing 1 changed file with 22 additions and 10 deletions.
32 changes: 22 additions & 10 deletions src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl
Original file line number Diff line number Diff line change
Expand Up @@ -78,12 +78,18 @@ function _show(io::IO, X::AbsAffineScheme{<:Any, <:MPolyQuoLocRing{<:Any, <:Any,
join(io, gens(I), ", ")
if is_empty(denominators(S))
print(io, raw")")
elseif isone(length(denominators(S)))
print(io, raw") \ scheme(", first(denominators(S)), ")")
else
print(io, raw") \ scheme((")
join(io, denominators(S), ")*(")
print(io, "))")
AA = AbstractAlgebra
PP = AbstractAlgebra.PrettyPrinting
print(io, raw" \ ")
AA.show_obj(io,
MIME("text/plain"),
PP.canonicalize(Expr(:call,
:scheme,
Expr(:call, :*, PP.expressify.(denominators(S))...)
)
)
)
end
end

Expand All @@ -93,12 +99,18 @@ function _show(io::IO, X::AbsAffineScheme{<:Any, <:MPolyLocRing{<:Any, <:Any, <:
S = inverted_set(OO(X))
if is_empty(denominators(S))
# do nothing more
elseif isone(length(denominators(S)))
print(io, raw" \ scheme(", first(denominators(S)), ")")
else
print(io, raw" \ scheme((")
join(io, denominators(S), ")*(")
print(io, "))")
AA = AbstractAlgebra
PP = AbstractAlgebra.PrettyPrinting
print(io, raw" \ ")
AA.show_obj(io,
MIME("text/plain"),
PP.canonicalize(Expr(:call,
:scheme,
Expr(:call, :*, PP.expressify.(denominators(S))...)
)
)
)
end
end

Expand Down

0 comments on commit 7aa000f

Please sign in to comment.