First time here? Check out the FAQ!

Ask Your Question
0

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

asked 8 years ago

bev gravatar image

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

Preview: (hide)

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 ( 8 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 8 years ago

slelievre gravatar image

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.
Preview: (hide)
link

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: 8 years ago

Seen: 204 times

Last updated: Aug 09 '16