Ask Your Question
0

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

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

ccanonc gravatar image

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

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 -0500

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 -0500

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 -0500

Seen: 120 times

Last updated: Aug 19 '10