Closed fingolfin closed 2 months ago
... to ensure that Singular is not lowercase. E.g. this
Singular
print(io, "Singular letterplace Ring ", s)
should be changed to something like this:
print(pretty(io), LowercaseOff(), "Singular letterplace Ring ", s)
or actually this (the "ring" should be lowercase):
print(pretty(io), LowercaseOff(), "Singular letterplace ring ", s)
Of course for this to work we need to import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent or something like that
import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent
... to ensure that
Singular
is not lowercase. E.g. thisshould be changed to something like this:
or actually this (the "ring" should be lowercase):
Of course for this to work we need to
import AbstractAlgebra: pretty, Lowercase, LowercaseOff, Indent, Dedent
or something like that