00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00020
00021 #include "stdinc.h"
00022
00023 #ifndef TOOLBOX
00024
00025 static int precision = -2;
00026
00027 int get_starlab_precision()
00028 {
00029 if (precision == -2) {
00030 char* s = getenv("STARLAB_PRECISION");
00031 if (s)
00032 precision = atoi(s);
00033 else
00034
00035
00036
00037
00038
00039
00040
00041
00042 precision = 18;
00043 }
00044
00045 return precision;
00046 }
00047
00048 void set_starlab_precision(ostream& o)
00049 {
00050 get_starlab_precision();
00051 if (precision > 0) o.precision(precision);
00052 }
00053
00054 #else
00055
00056 main(int argc, char** argv)
00057 {
00058 check_help();
00059 set_starlab_precision(cout);
00060
00061 real x = sqrt(2.0);
00062 cout << "x = " << x << endl;
00063 }
00064
00065 #endif