Ask Your Question
0

How can I change the character encoding to 7-bit?

asked 2016-08-05 22:51:57 -0600

bev gravatar image

Tired of seeing strange characters presumably representing some sort of box around areas of text.

edit retag flag offensive close merge delete

Comments

1

Could you please be more precise about the context ?

so that someone can try to reproduce your problem:

  • which version of Sage did you use ?
  • which OS ?
  • did you install Sage from the binaries, and which ones ?
  • did you compile Sage yourself ?
  • which notebook did you use (Sage notebook or jupyter notebook) ?
  • did you use the command line ?
  • where does the strange characters appear ?
  • ... ?
tmonteil gravatar imagetmonteil ( 2016-08-06 14:49:33 -0600 )edit

1 answer

Sort by » oldest newest most voted
0

answered 2016-08-09 14:52:05 -0600

I'm assuming you mean the UTF-8 banner that appears when launching the SageMath REPL (read-eval-print loop) in the command-line:

$ sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 7.2, Release Date: 2016-05-15                     │
│ Type "notebook()" for the browser-based notebook interface.        │
│ Type "help()" for help.                                            │
└────────────────────────────────────────────────────────────────────┘
sage:

An alternative is to launch Sage in "quiet" mode, without the banner:

$ sage -q
sage:

If you want the version number, use any of these:

$ sage -version
SageMath version 7.2, Release Date: 2016-05-15

$ sage -v
SageMath version 7.2, Release Date: 2016-05-15

$ sage -dumpversion
7.2

Note (how could one find that out by oneself?):

  • sage -h or sage -help will give you the most common flags you can use.
  • sage -advanced will give you a complete list, which includes -q.
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-08-05 22:51:57 -0600

Seen: 27 times

Last updated: Aug 09 '16