void PrintingContext::print (const char *name, dReal x)
{
    printIndent();
    fprintf (file,"%s = ",name);
    printReal (x);
    fprintf (file,",\n");
}
void PrintingContext::print (const char *name, const dReal *x, int n)
{
    printIndent();
    fprintf (file,"%s = {",name);
    for (int i=0; i<n; i++) {
        printReal (x[i]);
        if (i < n-1) fputc (',',file);
    }
    fprintf (file,"},\n");
}
void PrintingContext::printNum (const char *name, dReal x)
{
    printReal (x);
    fprintf (file,"\n");
}