1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 18:25:30 +01:00

fix printing of GSymbol: No special (id) symbol

This commit is contained in:
kalmar 2017-01-23 11:30:07 +01:00
parent 3e4f7a36a2
commit 56b63058e3

View File

@ -10,7 +10,9 @@ export IdSymbol, change_pow
abstract GSymbol
function show(io::IO, s::GSymbol)
if s.pow == 0 || s.pow == 1
if s.pow == 0
print(io, "(id)")
elseif s.pow == 1
print(io, s.gen)
else
print(io, (s.gen)*"^$(s.pow)")