Ask Your Question
0

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

asked 2010-08-19 08:49:52 -0600

ccanonc gravatar image

updated 2011-04-28 08:46:52 -0600

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?

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted
4

answered 2010-08-19 09:50:14 -0600

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.

edit flag offensive delete link more
2

answered 2010-08-19 09:51:27 -0600

Mike Hansen gravatar image

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

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

Stats

Asked: 2010-08-19 08:49:52 -0600

Seen: 129 times

Last updated: Aug 19 '10