First time here? Check out the FAQ!

Ask Your Question
1

What is a common use-case for "./sage -min"?

asked 14 years ago

ccanonc gravatar image

updated 13 years ago

Kelvin Li gravatar image

Is the "./sage -min" option purely preference driven (for a person who simply prefers a clean namespace)? Is it commonly used?

Preview: (hide)

2 Answers

Sort by » oldest newest most voted
4

answered 14 years ago

William Stein gravatar image

I wrote "sage -min" specifically since David Harvey wanted it. I have never used it or heard of anybody using it.

Preview: (hide)
link
2

answered 14 years ago

Mike Hansen gravatar image

Yes, it is purely preference driven. My guess is that is not commonly used at all.

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

Stats

Asked: 14 years ago

Seen: 503 times

Last updated: Aug 19 '10